Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 2002
|Up a level|
(2002) Low Power Systems-on-Chip Al-Hashimi, Bashir, Macii, Prof. E. and Roy, Prof. K. (eds.)
(2002) Scan Architecture for Shift and Capture Cycle Power Reduction Rosinger, Paul, Al-Hashimi, Bashir and Nicolici, Nicola (eds.) At International Symposium on Defect and Fault Tolerance in VLSI Systems, Canada.
Butler, M. J. (2002) On the Use of Data Refinement in the Development of Secure Communications Systems Formal Aspects of Computing, 14, (1), pp. 2-34.
Butler, Michael (2002) A System-based Approach to the Formal Development of Embedded Controllers for a Railway Design Automation for Embedded Systems, 6, pp. 355-366.
Butler, Michael and Falampin, Jerome (2002) An Approach to Modelling and Refining Timing Properties in B At Refinement of Critical Systems (RCS).
Butler, Michael, Ferreira, Carla, Henderson, Peter, Chessell, Mandy, Griffin, Catherine and Vines, David (2002) Extending the Concept of Transaction Compensation IBM Systems Journal, 47, pp. 743-758.
Chang, Chun-Ming, Al-Hashimi, B. M., Chen, H. P., Tu, S. H. and Wan, J. A. (2002) Current mode single resistance controlled oscillators using only grounded passive components Electronics Letters, 38, (19), pp. 1071-1072.
Christensen, S.W., Reed, P.A.S., Gunn, S.R. and Sinclair, I. (2002) Comparison of Modelling Techniques in the Analysis of Commercial Materials Data In, Meech, J.A., Veiga, M.M., Kawazoe, Y. and LeClair, S.R. (eds.) Intelligence in a Materials World. CRC Press pp. 49-58.
Cirstea, Corina, Jacobs, B. and Rutten, J.(eds.) (2002) A coalgebraic equational approach to specifying observational structures Theoretical Computer Science, 280, (1), pp. 35-68.
Cirstea, Corina, (2002) Institutionalising many-sorted coalgebraic modal logic Moss, L.S. (ed.) At 5th International Workshop on Coalgebraic Methods in Computer Science, France. 06 - 07 Apr 2003.
Cirstea, Corina, (2002) On specification logics for algebra-coalgebra structures: reconciling reachability and observability Nielsen, M. and Engberg, U. (eds.) At Foundations of Software Science and Computation Structures Conference, France. 10 - 12 Apr 2002. , pp. 82-97.
Doche, Marielle and Gravell, Andrew M, (2002) Extraction of Abstraction Invariants for Data Refinement Bert, Didier, Bowen, Jonathan P, Henson, Martin C and Robinson, Ken (eds.) At ZB 2002. , pp. 120-139.
Gao, J.B., Gunn, S.R., Harris, C.J. and Brown, M. (2002) A Probabilistic Framework for SVM Regression and Error Bar Estimation Machine Learning, 46, pp. 71-89.
Gao, J.B., Gunn, S.R. and Kandola, J.S., (2002) Adapting Kernels by Variational Approach in SVM McKay, B. and Slaney, J. (eds.) At 15th Australian Joint Conference on Artificial Intelligence, Australia. , pp. 395-406.
Garratt, P.W and Hosier, A (2002) ASHTALK:SOFTWARE ACHIEVING DELAY-FREE VOICE TRANSMISSION OVER A LOCAL AREA NETWORK. At Software Engineering,Artificial Intelligence,Networking and Parallel/distributed Computing. , pp. 287-294.
Gonciari, Paul Theo, Al-Hashimi, Bashir and Nicolici, Nicola (2002) Improving Compression Ratio, Area overhead, and Test Application Time in System-on-a-Chip Test Data Compression/Decompression At Proceedings Design, Automation, and Test in Europe (DATE). , pp. 604-611.
Gonciari, Paul Theo, Al-Hashimi, Bashir and Nicolici, Nicola (2002) Reducing Synchronization Overhead in Test Data Compression Environments At Proceedings IEEE European Test Workshop (ETW).
Gonciari, Paul Theo, Al-Hashimi, Bashir and Nicolici, Nicola (2002) Useless Memory Allocation: Problems and Solutions At Proceedings IEEE VLSI Test Symposium (VTS). , pp. 423-430.
Gonciari, Paul Theo, Al-Hashimi, Bashir and Nicolici, Nicola Nicolici (2002) Integrated Test Data Decompression and Core Wrapper Design for Low-Cost System-on-a-Chip Testing At Proceedings IEEE International Test Conference (ITC). , pp. 64-73.
Grange, S, Setchell, C, Campbell, N, Wills, G and Bunker, T (2002) Integrating Learning And Visualization Technologies In Orthopaedics:- Establishing The Virtual Orthopaedic European University At Surgetica 2002. 18 - 20 Sep 2002. , pp. 353-363.
Grass, Eckhard, Sarker, Bodhisatwa and Maharatna, Koushik (2002) Dual Mode Synchronous/Asynchronous CORDIC Processor At 8th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) 2002, United Kingdom. , pp. 76-83.
Gunn, R.N., Gunn, S.R., Turkheimer, F.E., Aston, J.A.D. and Cunningham, V.J. (2002) Positron emission tomography compartmental models: A basis pursuit strategy for kinetic modelling Journal of Cerebral Blood Flow and Metabolism, 22, (12), pp. 1425-1439.
Gunn, R.N., Gunn, S.R., Turkheimer, F.E., Aston, J.A.D. and Cunningham, V.J., (2002) Tracer kinetic modeling via basis pursuit Senda, M. (ed.) At Brain Imaging using PET.
Gunn, S.R. and Kandola, J.S. (2002) Structural Modelling with Sparse Kernels Machine Learning, 48, (1), pp. 137-163.
Henderson, Peter, Walters, Robert John and Crouch, Stephen, (2002) RICES: Reasoning about Information Consistency across Enterprise Solutions Henderson, Peter (ed.) At Systems Enginerring for Business Process Change: New Directions. , pp. 367-371.
Hennessy, Matthew, Merro, Massimo and Rathke, Julian (2002) Towards a behavioural theory of access and mobility control in distributed systems s.n.
Hennessy, Matthew and Rathke, Julian (2002) Typed behavioural equivalences for processes in the presence of subtyping, Elsevier (Electronic Notes in Theoretical Computer Science, 61).
Hiett, B.P., Beckett, D.H., Cox, S.J., Generowicz, J.M., Molinari, M and Thomas, K.S (2002) Application of Finite Element Methods to Photonic Crystal Modelling
Jeffrey, Alan and Rathke, Julian (2002) Contextual equivalence for higher-order pi-calculus revisited s.n.
Jeffrey, Alan and Rathke, Julian (2002) A fully abstract may testing semantics for concurrent objects s.n.
Jeffrey, Alan and Rathke, Julian (2002) A fully abstract may testing semantics for concurrent objects, IEEE Computer Society Press
Jeffrey, Alan and Rathke, Julian (2002) A theory of bisimulation for a fragment of concurrent ML with local names s.n.
Lee, K.K., Harris, C.J., Gunn, S.R. and Reed, P.A.S. (2002) Classification of Imbalanced Data with Transparent Kernels University of Southampton, Electronics and Computer Science, Doctoral Thesis .
Mikhailov, Leonid and Butler, Michael (2002) An Approach to Combining B and Alloy At ZB'2002.
Mikhailova, Anna, Doche, Marielle and Butler, Michael (2002) Contracts for Scenario-Based Testing of Object-Oriented Programs s.n.
Ng, Muan Yong and Butler, Michael, (2002) Tool Support for Visualizing CSP in UML George, Chris and Miao, HuaiKou (eds.) At International Conference on Formal Engineering Methods(ICFEM), China. 21 - 25 Oct 2002. , pp. 287-298.
Nicolici, Nicola and Al-Hashimi, Bashir (2002) Multiple Scan Chains for Power Minimization during Test Application in Sequential Circuits , pp. 721-733.
Nicolici, Nicola and Al-Hashimi, Bashir M (2002) Power-conscious test synthesis and scheduling IEEE Proceedings of Design and Test of Computers, 20, (4), pp. 48-55.
Owen, Tim, Rathke, Julian, Wakeman, Ian and Watson, Des (2002) Implementing Policies in Programs using Labelled Transition Systems At Cosener's House Multi-Service Networks Conference.
Owen, Tim, Rathke, Julian, Wakeman, Ian and Watson, Des (2002) A Model for Controlling Program Behaviour in Pervasive Networks At Fifth IEEE Workshop on Networked Appliances.
Poppleton, Michael and Banach, Richard, (2002) Controlling control systems: an application of evolving retrenchment Bert, Didier, Bowen, Jonathan P., Henson, Martin C. and Robinson, Ken (eds.) At ZB2002: Formal Specification and Development in Z and B, France. , pp. 42-61.
Power, G., Damper, R. I., Hall, W. and Wills, G. B. (2002) Realism and naturalness in a conversational multi-modal interface At ISCA Workshop on Interactive Dialogue in Mobile Environments, Germany. , CD-ROM.
Power, Guillermo, Wills, Gary and Hall, Wendy (2002) User Perception of Anthropomorphic Characters with Varying Levels of Interaction At HCI 2002, The 16th British HCI Group Annual Conference. 02 - 06 Sep 2002. , pp. 37-51.
Rosinger, P, Gonciari, P, Al-Hashimi, B.M and Nicolici, Nicola (2002) Analysing trade-offs in scan power and test data compression for Systems-on-a-chip
Rosinger, Paul, Al-Hashimi, Bashir and Nicolici, Nicola (2002) Low Power Mixed-Mode BIST Based on Mask Pattern Generation Using Dual LFSR Re-seeding At International Conference on computer Design.
Rosinger, Paul, Al-Hashimi, Bashir and Nicolici, Nicola (2002) Power Profile Manipulation: A New Approach for Reducing Test Application Time Under Power Constraints IEEE Transactions on Computer Aided Design of Integrated Circuits
Rossi, Daniele, Metra, Cecilia and Ricco', Bruno (2002) Fast and compact error correcting scheme for reliable multilevel flash memories At 2002 IEEE International Workshop on Memory Technology, Design and Testing (MTDT 2002), France. , pp. 221-225. (doi:10.1109/MTDT.2002.1029759).
Rossi, Daniele, Van Dijk, V.E.S., Kleihorst, Richard, Nieuwland, Andre' and Metra, Cecilia (2002) Coding scheme for low energy consumption fault tolerant bus At 8th IEEE International On-Line Testing Workshop, France. , pp. 8-12. (doi:10.1109/OLT.2002.1030176).
Sarker, Bodhisatwa, Grass, Eckhard and Maharatna, Koushik (2002) Asynchronous CORDIC processor implementation At 2nd Asynchronous Circuit Design Workshop (AciD) 2002.
Sassone, V. and Sobocinski, P. (2002) Deriving Bisimulation Congruences: A 2-Categorical Approach At 9th Int. Workshop on Expressiveness in Concurrency, EXPRESS 2002.. , 19 pp..
Schmitz, Marcus T, Al-Hashimi, Bashir M and Eles, Petru (2002) Energy-Efficient Mapping and Scheduling for DVS Enabled Distributed Embedded Systems At Design, Automation and Test Europe Conference (DATE2002), France. , pp. 514-521.
Schmitz, Marcus T, Al-Hashimi, Bashir M and Eles, Petru (2002) Synthesizing Energy-Efficient Embedded Systems with LOPOCOS Design Automation for Embedded Systems, 6, pp. 401-424.
Schmitz, Marcus T., Al-Hashimi, Bashir M. and Eles, Petru (2002) Energy-Efficient Mapping and Scheduling for DVS Enabled Distributed Embedded Systems
Schmitz, Marcus T., Al-Hashimi, Bashir M. and Eles, Petru (2002) Synthesising Energy-Efficient Embedded Systems with LOPOCOS
Shi, D., Gunn, S. R. and Damper, R. I. (2002) Handwritten Chinese character recognition using nonlinear active shape models and the Viterbi algorithm Pattern Recognition Letters, 23, (14), pp. 1853-1862.
Shi, D., Gunn, S.R. and Damper, R. I. (2002) An Active Radical Approach to Handwritten Chinese Character Recognition University of Southampton, Electronics and Computer Science : Faculty of Engineering and Applied Science, Doctoral Thesis .
Snelling, David, van den Berghe, Sven, von Laszewski, Gregor, Wieder, Philipp, Breuer, Dirk, MacLaren, Jon, Nicole, Denis and Hoppe, Hans-Christian, LaForenza, Domenico(ed.) (2002) A Unicore Globus Interoperability Layer Computing and Informatics, 21, (4), pp. 399-411.
Troya, Alfonso, Maharatna, Koushik, Krstic, Milos, Grass, Eckhard and Kraemer, Rolf (2002) OFDM synchronizer implementation for an IEEE 802.11(a) compliant modem At IASTED International Conference on Wireless and Optical Communication, 2002, Canada. , pp. 152-157.
Varea, Mauricio, Al-Hashimi, Bashir and Leuschel, Michael (2002) Finite and Infinite Model Checking of Dual Transition Petri Net Models At Second Workshop on Automated Verification of Critical Systems (AVOCS), United Kingdom. 15 - 16 Apr 2002. , pp. 265-269.
Varea, Mauricio, Al-Hashimi, Bashir M., Cortes, Luis A., Eles, Petru and Peng, Zebo (2002) Symbolic Model Checking of Dual Transition Petri Nets At International Symposium on Hardware/Software Codesign (CODES), United States. 06 - 08 May 2002. , pp. 43-48.
Walters, Robert John (2002) A Graphically based language for constructing, executing and analysing models of software systems. University of Southampton, Electronics and Computer Science, Doctoral Thesis .
Walters, Robert John (2002) A graphically based language for constructing, executing and analysing models of software systems. At 26 th Annual International Computer Software and Applications Conference, United Kingdom. 26 - 29 Aug 2002. , pp. 363-369.
Whalen, Michael, Schumann, Johann and Fischer, Bernd, (2002) AutoBayes/CC --- Combining Program Synthesis with Automatic Code Certification (System Description) Voronkov, Andrei (ed.) At 18th International Conference on Automated Deduction. 27 - 30 Jul 2002. , pp. 290-294.
Whalen, Michael, Schumann, Johann and Fischer, Bernd, (2002) Synthesizing Certified Code Eriksson, Lars-Henrik and Lindsay, Peter A. (eds.) At FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe. 22 - 24 Jul 2002. , pp. 431-450.
Wilcock, R and Al-Hashimi, B. M. (2002) Analogue Filter IP Cores for Design Reuse At IEE Conference on Analog Signal Processing, United Kingdom. , 2.1-2.6.
Wilcock, R. and Al-Hashimi, B. M. (2002) A New BIST Methodology for Fully-Balanced OTA-C Filters At IEEE International Symposium on Circuits and Systems.
Wills, Gary, Alani, Harith, Ashri, Ronald, Crowder, Richard, Kalfoglou, Yannis and Kim, Sanghee, (2002) Design Issues for Agent-based Resource Locator Systems Karagiannis, Dimitris and Reimer, Ulrich (eds.) At Practical Aspects of Knowledge Management. 02 - 03 Dec 2002. , pp. 156-168.
Wills, Gary, Kim, Sanghee and Ashri, Ronald (2002) Capability Management s.n.
Wills, Gary and O'Hara, Kieron (2002) Ontologies In, Grange, Simon, Rezajooi, Kia and Moore, Tim (eds.) Building a Digital World: ICT Skills for Healthcare Professionals. University of Southampton pp. 181-186.
Wills, Gary, Sim, Yee-Wai, Crowder, Richard and Hall, Wendy (2002) Open Hypermedia for Product Support International Journal of Systems Science, 33, (6), pp. 421-432.
Xie, Yan and Al Hashimi, Bashir (2002) Synthesis of switched-current Ladder Derived Group delay Equalizers At Proc. IEE Analog Signal Processing Symposium, United Kingdom. , 1/1- 6/1.