Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 2006

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
[tool] Add To Shelf...
Group by: No Grouping | Authors/Creators | Item Type
Number of items: 99.

Guyon, I.M., Gunn, S.R., Nikravesh, M. and Zadeh, L. (eds.) (2006) Feature Extraction, Foundations and Applications, Springer

Saunders, C.J., Gunn, S.R., Grobelnik, M. and Shawe-Taylor, J. (eds.) (2006) Subspace, Latent Structure and Feature Selection techniques, Springer

Al-Hashimi, Bashir M. (ed.) (2006) System-on-Chip: Next Generation Electronics, IEE Press

Abrial, Jean-Raymond, Butler, Michael, Hallerstede, Stefan and Voisin, Laurent, (2006) An open extensible tool environment for Event-B Liu, Zhiming and He, Jifeng (eds.) At ICFEM 2006.

Baldan, P, Corradini, A, Heindel, T, König, B and Sobocinski, P, (2006) Processes for adhesive rewriting systems Aceto, L and Ingólfsdóttir, A (eds.) At Foundations of Software Science and Computation Structures, Austria. 25 - 31 Mar 2006. , pp. 202-216.

Ball, Elisabeth and Butler, Michael (2006) Using Decomposition to Model Multi-agent Interaction Protocols in Event-B At FM'06 Doctoral Symposium, Canada.

Boulain, PR, Parker, MB, Millard, DE and Wills, GB (2006) Weerkat: An extensible semantic Wiki At 8th Annual Conference on WWW Applications, South Africa. 06 - 08 Sep 2006.

Butler, Michael (2006) On the Verified-by-Construction Approach FACS FACTS

Butler, Michael, Jones, Cliff B., Romanovsky, Alexander and Troubitsyna, Elena (2006) Rigorous Development of Complex Fault-Tolerant Systems, Springer (Lecture Notes in Computer Science, 4157).

Cai, Yuan, Schmitz, Marcus, Al-Hashimi, Bashir M. and Reddy, Sudhakar M. (2006) Workload-Ahead-Driven Online Energy Minimization Techniques for Battery-Powered Embedded Systems with Time-Constraints ACM Transactions on Design Automation of Electronic Systems

Cai, Yuan, Schmitz, Marcus, Ejlali, Alireza, Al-Hashimi, Bashir and Reddy, Sudhakar (2006) Cache Size Selection for Performance, Energy and Reliability of Time-Constrained Systems At 11th Asia and South Pacific Design Automation Conference (ASP-DAC 2006), Japan.

Cirstea, Corina, Orejas, F.(ed.) (2006) An Institution of Modal Logics for Coalgebras Journal of Logic and Algebraic Programming, 67, (1-2), pp. 87-113. (doi:10.1016/j.jlap.2005.09.004).

Cirstea, Corina, Adámek, J and Milius, S(eds.) (2006) A modular approach to defining and characterising notions of simulation Information and Computation, 204, (4), pp. 469-502. (doi:10.1016/j.ic.2005.04.005).

Cirstea, Corina, (2006) Modularity in Coalgebra Adámek, J. and Milius, S. (eds.) At 8th International Workshop on Coalgebraic Methods in Computer Science. , pp. 3-26.

Collins, Matthew, Al-Hashimi, Bashir and Wilson, Peter (2006) On-chip timing measurement architecture with femtosecond resolution Electronics Letters, 42, (9), pp. 528-530.

Collins, Matthew and Al-Hashimi, Bashir M. (2006) On-Chip Time Measurement Architecture with Femtosecond Timing Resolution At 11th IEEE European Test Symposium (ETS'06), United Kingdom. 21 - 25 May 2006.

Collins, Matthew and Al-Hashimi, Bashir M. (2006) On-Chip Time Measurement Architecture with Femtosecond Timing Resolution At 11th IEEE European Test Symposium (ETS'06), United Kingdom. 21 - 25 May 2006.

DILILLO, L., ROSINGER, P., AL-HASHIMI, B. M. and GIRARD, P. (2006) Minimizing Test Power in SRAM through Reduction of Pre-charge Activity At DATE - Design Automation and Test in Europe, Germany. 06 - 10 Mar 2006.

Danos, V, Krivine, J and Sobocinski, P, (2006) General reversibility Amadio, R and Phillips, I (eds.) At 13th International Workshop on Expressiveness in Concurrency, Express '06, Germany.

Denney, Ewen, Fischer, Bernd and Schumann, Johann (2006) An Empirical Evaluation of Automated Theorem Provers in Software Certification International Journal on Artificial Intelligence Tools, 15, (1), pp. 81-107.

Dhanjal, Charanpal, Gunn, Steve R. and Shawe-Taylor, John (2006) Sparse Feature Extraction using Generalised Partial Least Squares At IEEE International Workshop on Machine Learning for Signal Processing. , pp. 27-32.

Dilillo, Luigi, Hashimi, B. M., Rosinger, Paul and Girard, Patrick (2006) Leakage Read Fault in Nanoscale SRAM: Analysis, Test and Diagnosis At International Design and Test Workshop. 19 - 20 Nov 2006.

Dilillo, Luigi, Rosinger, Paul, Al-Hashimi, Bashir M. and Girard, Patrick (2006) Reducing Power Dissipation in SRAM during Test Journal of Low Power Electronics

Ejlali, Ali, Al-Hashimi, Bashir M., Schmitz, Marcus, Rosinger, Paul and Miremadi, Seyed G. (2006) Combined Time and Information Redundancy for SEU-Tolerance in Energy-Efficient Real-Time Systems IEEE Transactions on Very Large Scale Integration (VLSI) Systems

El-Maleh, Aiman, Khursheed, Syed Saqib and M. Sait, Sadiq (2006) Efficient Static Compaction Techniques for Sequential Circuits Based on Reverse-Order Restoration and Test Relaxation IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 25, (11)

Evans, Neil and Butler, Michael (2006) Incremental Construction of Large Specifications: Case Study and Techniques s.n.

Evans, Neil and Butler, Michael, (2006) A Proposal for Records in Event-B Nipkow, Tobias, Misra, Jayadev and Sekerinski, Emil (eds.) At Formal Methods 2006, Canada. , pp. 221-235.

Fraga, Eric S, Wills, Gary, Fairweather, Michael and Perris, Tony (2006) “Smart Models” - a framework for adaptive multi-scale modelling At 16th European Symposium on Computer Aided Process Engineering and 9th International Symposium on Process Systems Engineering, Germany. 09 - 13 Jul 2006.

Garrido, Jose-Soler, Piachocki, Robert, Maharatna, Koushik and McNamara, Darren (2006) Analogue MIMO detection on the basis of belief propagation At IEEE Mid-West Symposium on Circuits and Systems (MWSCAS) 2006.

Garrido, Jose-Soler, Piachocki, Robert, Maharatna, Koushik and McNamara, Darren (2006) MIMO detection in analogue VLSI At IEEE International Symposium on Circuits and Systems (ISCAS) 2006, Greece. , pp. 4895-4898.

Gilbert, Lester, Sitthisak, Onjira, Sim, Yee Wai, Wang, Chu and Wills, Gary (2006) From collaborative virtual research environment to teaching and learning At TENcompetence Workshop: Learning Networks for Lifelong Competence Development, Bulgaria. 30 - 31 Mar 2006.

Grange, S, Wang, C, Gilbert, L, Sim, YW, Millard, DE, Hall, W, Gardner, E and Wills, GB (2006)

Error parsing XML in render_xhtml_field: :1: parser error : xmlParseEntityRef: no name
<fragment>A Web/Grid Services Approach for Integration of Virtual Clinical & Res
At Integrated Health Records “Practice and Technologies”.

Grange, Simon (2006) A Virtual University Infrastructure For Orthopaedic Surgical Training With Integrated Simulation University of Exeter, United Kingdom, Engineering, Mathematics and Computing, Doctoral Thesis .

Gravell, Andrew M (2006) Verification Conditions are Code Acta Informatica, 43, pp. 431-477.

Guo, B., Gunn, S. R., Damper, R. I. and Nelson, J. D. B. (2006) Band selection for hyperspectral image classification using mutual information IEEE Geoscience and Remote Sensing Letters, 3, (4), pp. 522-526.

Islam, A.H.M.R., Shafik, Rishad Ahmed and Ali, Shawkat (2006) Comparative Performance of Non-linear Distortion Effects in OFDM-RoF Link At IEEE-TENCON2006, Hong Kong. 14 - 17 Nov 2006.

Islam, A.H.M.R., Shafik, Rishad Ahmed, Hassan, Mohammad Imrul and Song, Ju Bin (2006) Next Generation Converged Connectivity Model for Rural Business Opportunities in Developing Countries At 2nd IEEE ComSoc Joint International Conference on Optical Internet and Next-generation Network (COIN-NGNCON 2006). , pp. 272-274.

Islam, A.H.M.R., Shafik, Rishad Ahmed, Hassan, Mohammad Imrul and Song, Ju Bin (2006) Next Generation Rural Wireless Connectivity Model For Developing Countries At 12th IEEE Asia Pacific Conference on Communications (APCC2006). 31 Aug - 01 Sep 2006.

Islam, A.H.M.R., Shafik, Rishad Ahmed, Rahman, Mohammad Shahriar and Song, Ju Bin (2006) On The Non-linear Distortion Effects in an OFDM-RoF Link At 2nd IEEE International Conference on Emerging Technologies (IEEE-ICET2006), Pakistan. 13 - 14 Nov 2006. , pp. 20-26.

Islam, Abu Hena Razibul, Shafik, Rishad Ahmed and Song, J.B. (2006) ACPR Performance of OFDM Systems Journal of Kyung-Hee Devan Design Centre, 14, (1), pp. 61-65.

Lack, Stephen and Sobocinski, Pawel (2006) Toposes are adhesive At International Conference on Graph Transformation (ICGT '06), Brazil. 17 - 23 Sep 2006. , pp. 184-198.

Leavens, Gary T., Abrial, Jean-Raymond, Batory, Don, Butler, Michael, Coglio, Alessandro, Fisler, Kathi, Hehner, Eric, Jones, Cliff B., Miller, Dale, Peyton-Jones, Simon, Sitaraman, Murali, Smith, Douglas R. and Stump, Aaron (2006) Roadmap for Enhanced Languages and Methods to Aid Verification At Generative Programming and Component Engineering, 5th International. 22 - 26 Oct 2006.

Leeke, Selwyn and Maharatna, Koushik (2006) A low-power geometric mapping co-processor for high-speed graphics application At IEEE International Symposium on Circuits and Systems (ISCAS) 2006, Greece. , pp. 3193-3196.

Leuschel, Michael, Butler, Michael, Spermann, Corinna and Turner, Edd (2006) Symmetry Reduction for B by Permutation Flooding At B2007, France.

Lo Presti, Stéphane, Butler, Michael, Leuschel, Michael and Booth, Chris (2006) Holistic Trust Design of E-Services In, Song, Ronggong (eds.) Trust in E-services: Technologies, Practices and Challenges.

Longpradit, Panchit, Bailey, Christopher, Hall, Wendy and Wills, Gary (2006) Personalised Navigation System with Multidimensional Linkbases At Adaptive Hypermedia and Adaptive Web-Based Systems 2006. 21 - 23 Jun 2006.

Maharatna, Koushik (2006) A low-power 128-pt FFT for wireless personal area network At International Conference on Electronic and Photonic Materials, Devices and Systems (EPMDS) 2006, India. , pp. 11-14.

Maharatna, Koushik, Troya, Alfonso, Kristic, Milos and Grass, Eckhard (2006) On the Implementation of a Low-Power IEEE 802.11a Compliant Viterbi Decoder At 19th VLSI Design Conference 2006, India.

Makola, D, Sim, YW, Wang, C, Gilbert, L, Grange, SAW and Wills, GB (2006) A Service-Oriented Architecture for a Collaborative Orthopaedic Research Environment. At 8th Annual Conference on WWW Applications, South Africa. 06 - 08 Sep 2006.

Maneewatthana, Thanyalak, Wills, Gary and Hall, Wendy (2006) Adaptation in Adaptable Personal Information Environment At Adaptive Hypermedia and Adaptive Web-Based Systems. 20 - 23 Jun 2006.

Matthew, Jimson, Maharatna, Koushik and Pradhan, Dhiraj (2006) Exploration of Power Optimal Implementation Technique of 128-Pt FFT/IFFT for WPAN using Pseudo-Parallel Datapath Structure At 10th IEEE International Conference on Communication Systems (ICCS) 2006, Singapore.

Merrett, G. V., Harris, N. R., Al-Hashimi, B. M. and White, N. M. (2006) Rule Managed Reporting in Energy Controlled Wireless Sensor Networks At Eurosensors XX, Sweden. 17 - 20 Sep 2006. , pp. 402-403.

Merrett, Geoff V., Harris, Nick R., Al-Hashimi, Bashir M. and White, Neil M. (2006) Energy Controlled Reporting for Industrial Monitoring Wireless Sensor Networks At IEEE Sensors 2006. 22 - 25 Oct 2006. , pp. 892-895.

Merrett, Geoff V., Weddell, Alex S., Harris, Nick R., White, Neil M. and Al-Hashimi, Bashir M. (2006) The Unified Framework for Sensor Networks: A Systems Approach University of Southampton

Metra, Cecilia, Omana, Martin, Rossi, Daniele and Cazeaux, Jose Manuel (2006) Path (min) delay faults and their impact on self-checking circuits’ operation At 12th IEEE International On-Line Testing Symposium, 2006. IOLTS 2006, Italy. , pp. 17-22. (doi:10.1109/IOLTS.2006.47).

Metra, Cecilia, Rossi, Daniele, Omana, Martin and Cazeaux, Jose' Manuel (2006) Can clock faults be detected through functional test? At 2006 IEEE Design & Diagnostics in Electronic Circuits and Systems, Czech Republic. 18 - 21 Apr 2006. , pp. 168-171. (doi:10.1109/DDECS.2006.1649606).

Miles-Board, T, Carr, L, Wills, G, Power, G, Bailey, C, Hall, W, Stenning, M and Grange, S (2006) Extending the role of a healthcare digital library environment to support orthopaedic research Health Informatics Journal, 12, (2), pp. 93-105.

Millard, David, Bailey, Christopher, Davis, Hugh, Gilbert, Lester, Howard, Yvonne and Wills, Gary (2006) The e-Learning Assessment Landscape At International Conference on Advanced Learning Technologies (ICALT) 2006, Netherlands. 05 - 07 Jul 2006.

Millard, David, Doody, Karl, Davis, Hugh, Howard, Yvonne, Gilbert, Lester, Tao, Feng and Will, Gary (2006) (Semantic Web) Services for e-Learning At 2nd International ELeGI Conference on Advanced Technology for Enhanced Learning.

Millard, David, Howard, Yvonne, Chennupati, Swapna, Davis, Hugh, Jam, Ehtesham-Rasheed, Gilbert, Lester and Wills, Gary (2006) Design Patterns for Wrapping Similar Legacy Systems with Common Service Interfaces At European Conference on Web Services (ECOWS) 2006, Switzerland. 04 - 06 Dec 2006.

Millard, David E., Howard, Yvonne, Jam, Ehtesham-Rasheed, Chennupati, Swapna, Davis, Hugh C., Gilbert, Lester and Wills, Gary B. (2006) FREMA method for describing Web Services in a Service Oriented Architecture. s.n.

Nelson, J. D. B., Damper, R. I., Gunn, S. R. and Guo, B. (2006) Signal theory for SVM kernel parameter estimation At IEEE International Workshop on Machine Learning for Signal Processing. , pp. 149-154.

Nguyen, Nicholas and Rathke, Julian (2006) Typed Static Analysis for Concurrent, Policy-Based, Resource Access Control At PASSWORD workshop, ECOOP.

Omana, Martin, Cazeaux, Jose Manuel, Rossi, Daniele and Metra, Cecilia (2006) Low-cost and highly reliable detector for transient and crosstalk faults affecting FPGA interconnects At Design, Automation and Test in Europe (DATE '06). Proceedings, Germany. 06 - 10 Mar 2006. , pp. 170-175. (doi:10.1109/DATE.2006.244061).

Parker, MB, Moleshe, V, De la Harpe, R and Wills, GB (2006) An evaluation of Information quality frameworks for the World Wide Web At 8th Annual Conference on WWW Applications.

Parker, Marlon, Stofberg, Cornell, De la Harpe, Retha, Venter, Isabella and Wills, Gary (2006) DATA QUALITY: HOW THE FLOW OF DATA INFLUENCES DATA QUALITY IN A SMALL TO MEDIUM MEDICAL PRACTICE At Community informatics for developing countries: Understanding and organising for a participatory future information society, South Africa. 31 Aug - 02 Sep 2006.

Paventhan, A, Takeda, Kenji, Cox, Simon J and Nicole, Denis A, (2006) Leveraging Windows Workflow Foundation for Scientific Workflows in Wind Tunnel Applications Barga, Roger S. and Zhou, Xiaofang (eds.) In Proceedings of the 22nd International Conference on Data Engineering Workshops (ICDEW'06). IEEE Computer Society., pp. 65-74.

Paventhan, Arumugam, Takeda, Kenji, Cox, Simon J. and Nicole, Denis A., Alexandrov, Vassil N., van Albada, G. Dick, Sloot, Peter M. A. and Dongarra, Jack J(eds.) (2006) Workflows for Wind Tunnel Grid Applications Lecture Notes in Computer Science, 3993, pp. 928-935. (doi:10.1007/11758532_124).

Pearce, C.B., Gunn, S.R., Ahmed, A. and Johnson, C.D. (2006) Machine Learning Can Improve Prediction of Severity in Acute Pancreatitis using Admission Values of APACHE II Score and C-Reactive Protein Pancreatology, 6, pp. 123-131.

Poppleton, Michael and Groves, Lindsay (2006) Formal perspectives on software evolution: from refinement to retrenchment In, Madhavji, Nadim, Fernandez-Ramil, Juan and Perry, Dewayne (eds.) Software Evolution and Feedback: Theory and Practice. John Wiley pp. 313-338.

Razali, R. and Garratt, P.W. (2006) Measuring the Comprehensibility of a UML-B Model and a B Model Enformatika Transactions onEngineering Computing and Technology, Vol 16, pp. 338-343.

Razali, Rozilawati and Garratt, Paul W (2006) Measuring the Comprehensibility of a UML-B model and a B model At International Conference on Computer and Information Science and Engineering (CISE 2006), Italy. 24 - 26 Nov 2006. , pp. 338-343.

Rezazadeh, Abdolbaghi (2006) Formal Patterns for Web-based Systems Design University of Southampton, School of Electronics and Computer Science, Doctoral Thesis .

Ripon, Shamim and Butler, Michael (2006) Relating Semantic Models of Compensating CSP s.n.

Rossi, Daniele, Cazeaux, Jose' Manuel, Metra, Cecilia and Lombardi, Fabrizio (2006) A novel dual-walled CNT bus architecture with reduced cross-coupling features At Sixth IEEE Conference on Nanotechnology (IEEE-NANO 2006), United States. 17 - 20 Jun 2006. , pp. 258-261. (doi:10.1109/NANO.2006.247623).

Rossi, Daniele, Omana, Martin, Metra, Cecilia and Pagni, Andrea (2006) Checker no-harm alarm robustness At 12th IEEE International On-Line Testing Symposium (IOLTS 2006), Italy. 10 - 12 Jul 2006. , pp. 275-280. (doi:10.1109/IOLTS.2006.16).

Rossi, Daniele, Steiner, Carlo and Metra, Cecilia (2006) Analysis of the impact of bus implemented EDCs on on-chip SSN At Design, Automation and Test in Europe (DATE '06). Proceedings. Volume 1, Germany. 06 - 10 Mar 2006. , pp. 59-64. (doi:10.1109/DATE.2006.243982).

Sadrzadeh, Mehrnoosh and Cirstea, Corina, (2006) Relating Algebraic and Coalgebraic Logics of Knowledge and Update van der Hoek, Wiebe, Wooldridge, Michael and Bonanno, Giacomo (eds.) At Logic and the Foundations of Game and Decision Theory. 13 - 16 Jul 2006.

Shafik, Rishad Ahmed, Rahman, Mohammad Shahriar, Adnan, Nasib Ahmed and Islam, Mohammad Sajedul (2006) On the Lempel-Ziv-Welch Coded Speech Transmission and Markov Chain Detection At 2nd IEEE International Conference on Emerging Technologies (IEEE-ICET2006), Pakistan. 13 - 14 Nov 2006. , pp. 183-187.

Shafik, Rishad Ahmed, Rahman, Mohammad Shahriar and Islam, AHM Razibul (2006) On the Extended Relationships Among EVM, BER and SNR as Performance Metrics At 4th International Conference on Electrical and Computer Engineering, Bangladesh. , pp. 408-411.

Shafik, Rishad Ahmed, Rahman, Mohammad Shahriar, Islam, Abu Hena Mohhamad Razibul and Ashraf, Nabil Shovon (2006) On the error vector magnitude as a performance metric and comparative analysis At 2nd IEEE International Conference on Emerging Technologies (IEEE-ICET2006), Pakistan. 13 - 14 Nov 2006. , pp. 27-31.

Sim, Y W, Crowder, R M and Wills, G B (2006) Expert Finding by Capturing Organisational Knowledge from Legacy Documents At IEEE International Conference on Computer & Communication Engineering (ICCCE '06), Malaysia. 09 - 11 May 2006.

Snook, Colin and Butler, Michael (2006) UML-B: Formal modelling and design aided by UML ACM Transactions on Software Engineering and Methodology, 15, (1), pp. 92-122.

Turner, Edd and Butler, Michael (2006) Symmetry Reduction in the ProB Model Checker At FM2006 Doctoral Symposium, Canada. 21 - 27 Aug 2006.

Walters, Robert J, Millard, David E, Bernnett, Philip, Argles, David, Crouch, Stephen, Gilbert, Lester and Wills, Gary (2006) Teaching the Grid: Learning Distributed Computing with the M-grid Framework At ED-MEDIA 2006--World Conference on Educational Multimedia, Hypermedia & Telecommunications, United States. 26 - 30 Jun 2006. , pp. 3857-3864.

Watkins, E. Rowland and Nicole, Denis A., Zhou, Xiaofang, Li, Jianzhong, Shen, Heng Tao, Kitsuregawa, Masaru and Zhang, Yanchun(eds.) (2006) Named Graphs as a Mechanism for Reasoning about Provenance Lecture Notes in Computer Science, 3841, pp. 943-948.

White, SA, Carr, LA, Davis, HC, Hooper, CJ, Griffith, TP and Wills, GB (2006) ANNANN – Next Steps for Scaffolding Learning About Programs At The 6th IEEE International Conference on Advanced Learning Technologies (ICALT 2006), Netherlands. 05 - 07 Jul 2006.

Wills, Gary, Davis, Hugh, Chennupati, Swapna, Gilbert, Lester, Howard, Yvonne, Jam, Ehtesham-Rasheed, Jeyes, Steve, Millard, David, Sherratt, Robert and Willingham, Gavin (2006) R2Q2: Rendering and Reponses Processing for QTIv2 Question Types At 10th International CAA Conference, United Kingdom. 04 - 05 Jul 2006.

Wilson, Peter R, Al Hashimi, Bashir, Brown, Andrew D and Zwolinski, Mark (2006) A Masters Course in System on Chip At European Workshop on Microelectronics Education. , pp. 11-14.

Wong, Sylvia C, Crowder, Richard M, Shadbolt, Nigel R and Wills, Gary B, (2006) Knowledge Management for a Large Service-Oriented Corporation Reimer, Ulrich and Karagiannis, Dimitris (eds.) At Practical Aspects of Knowledge Management (PAKM), Austria. 30 Nov - 01 Dec 2006. , pp. 326-337. (doi:10.1007/11944935_29).

Wong, Sylvia C, Crowder, Richard M and Wills, Gary B (2006) On a Service-Oriented Approach for an Engineering Knowledge Desktop At 15th International World Wide Web Conference (WWW2006), United Kingdom. 23 - 26 May 2006.

Wong, Sylvia C, Crowder, Richard M, Wills, Gary B and Shadbolt, Nigel R, (2006) Knowledge Engineering - From Front-line Support to Preliminary Design Brailsford, David F (ed.) At ACM Symposium on Document Engineering (DocEng), Netherlands. 10 - 13 Oct 2006. , pp. 44-52.

Wu, Dong, Al-Hashimi, Bashir M. and Schmitz, Marcus T. (2006) Improving Routing Efficiency for Network-on-Chip through Contention-Aware Input Selection At 11th Asia and South Pacific Design Automation Conference (ASP-DAC 2006), Japan.

Wuertemberger, Armin, Rosinger, Paul, Al-Hashimi, Bashir and Chakrabarty, Krishnendu (2006) Cost Model-Driven Test Resource Partitioning for SoCs IEE Electronics Letters

Yadav, Divakar and Butler, Michael (2006) Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems using Event B In, Rigorous Development of Complex Fault-Tolerant Systems. Lecture Notes in Computer Science, Springer , 2006 pp. 343-363.

Zadorozhnii, V.I., Vasilev, A.N., Reshetnyak, V.Yu., Thomas, K.S. and Sluckin, T.J (2006) Nematic director response in ferronematic cells. EUROPHYSICS LETTERS, 73, (3), pp. 408-414.

Zain Ali, Noohul Basheer, Zwolinski, Mark, Al-Hashimi, Bashir M and Harrod, Peter (2006) Dynamic Voltage Scaling Aware Delay Fault Testing At European Test Symposium. 21 - 25 May 2006.

Zhang, Zhuo, M. Reddy, Sudhakar, Pomeranz, Irith, Rajski, Janusz and M. Al-Hashimi, Bashir (2006) Enhancing Delay Fault Coverage through Low Power Segmented Scan 11th IEEE European Test Symposium, Southampton, UK, 21-24 May 2006

Zhiyuan, He, Peng, Zebo, Eles, Petru, Rosinger, Paul and Al-Hashimi, Bashir M. (2006) Thermal-aware SoC test scheduling with test set partitioning and interleaving At ”, International Symposium on Defect and Fault Tolerance in VLSI System. 03 - 04 Oct 2006.

This list was generated on Fri Mar 24 10:09:57 2017 GMT.