Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 2002
|Up a level|
Butler, M. J. (2002) On the Use of Data Refinement in the Development of Secure Communications Systems. Formal Aspects of Computing, 14, (1), 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, 355-366.
Butler, Michael and Falampin, Jerome (2002) An Approach to Modelling and Refining Timing Properties in B. In, 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, 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), 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, 49-58.
Cirstea, Corina, Jacobs, B. and Rutten, J. (eds.) (2002) A coalgebraic equational approach to specifying observational structures. Theoretical Computer Science, 280, (1), 35-68.
Cirstea, Corina (2002) Institutionalising many-sorted coalgebraic modal logic. In, 5th International Workshop on Coalgebraic Methods in Computer Science, Grenoble, France, 06 - 07 Apr 2003. Elsevier.
Cirstea, Corina (2002) On specification logics for algebra-coalgebra structures: reconciling reachability and observability. In, Foundations of Software Science and Computation Structures Conference, Grenoble, France, 10 - 12 Apr 2002. Springer, 82-97.
Doche, Marielle and Gravell, Andrew M (2002) Extraction of Abstraction Invariants for Data Refinement. In, ZB 2002, Grenoble, Springer, 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, 71-89.
Gao, J.B., Gunn, S.R. and Kandola, J.S. (2002) Adapting Kernels by Variational Approach in SVM. In, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, Springer, 395-406.
Garratt, P.W and Hosier, A (2002) ASHTALK:SOFTWARE ACHIEVING DELAY-FREE VOICE TRANSMISSION OVER A LOCAL AREA NETWORK. Software Engineering,Artificial Intelligence,Networking and Parallel/distributed Computing, Madrid, , 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. Proceedings Design, Automation, and Test in Europe (DATE) IEEE Computer Society Press, 604-611.
Gonciari, Paul Theo, Al-Hashimi, Bashir and Nicolici, Nicola (2002) Reducing Synchronization Overhead in Test Data Compression Environments. Proceedings IEEE European Test Workshop (ETW) IEEE Computer Society Press.
Gonciari, Paul Theo, Al-Hashimi, Bashir and Nicolici, Nicola (2002) Useless Memory Allocation: Problems and Solutions. Proceedings IEEE VLSI Test Symposium (VTS) IEEE Computer Society Press, 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. Proceedings IEEE International Test Conference (ITC) , 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. Surgetica 2002, Grenoble, 18 - 20 Sep 2002. , 353-363.
Grass, Eckhard, Sarker, Bodhisatwa and Maharatna, Koushik (2002) Dual Mode Synchronous/Asynchronous CORDIC Processor. In, 8th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) 2002, Manchester, UK, IEEE, 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), 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. Brain Imaging using PET Academic Press.
Gunn, S.R. and Kandola, J.S. (2002) Structural Modelling with Sparse Kernels. Machine Learning, 48, (1), 137-163.
Henderson, Peter, Walters, Robert John and Crouch, Stephen (2002) RICES: Reasoning about Information Consistency across Enterprise Solutions. Systems Enginerring for Business Process Change: New Directions Springer, 367-371.
Hennessy, Matthew, Merro, Massimo and Rathke, Julian (2002) Towards a behavioural theory of access and mobility control in distributed systems.
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. UNSPECIFIED IEE.
Jeffrey, Alan and Rathke, Julian (2002) Contextual equivalence for higher-order pi-calculus revisited.
Jeffrey, Alan and Rathke, Julian (2002) A fully abstract may testing semantics for concurrent objects.
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.
Lee, K.K. (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. In, ZB'2002
Mikhailova, Anna, Doche, Marielle and Butler, Michael (2002) Contracts for Scenario-Based Testing of Object-Oriented Programs.
Ng, Muan Yong and Butler, Michael (2002) Tool Support for Visualizing CSP in UML. International Conference on Formal Engineering Methods(ICFEM), Shanghai, China, 21 - 25 Oct 2002. Springer Verlag, 287-298.
Nicolici, Nicola and Al-Hashimi, Bashir M (2002) Power-conscious test synthesis and scheduling. IEEE Proceedings of Design and Test of Computers, 20, (4), 48-55.
Nicolici, Nicola and Al-Hashimi, Bashir (2002) Multiple Scan Chains for Power Minimization during Test Application in Sequential Circuits. UNSPECIFIED IEEE Computer Society, IEEE Transactions on Computers, 721-733.
Owen, Tim, Rathke, Julian, Wakeman, Ian and Watson, Des (2002) Implementing Policies in Programs using Labelled Transition Systems. In, 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. In, Fifth IEEE Workshop on Networked Appliances, Liverpool,
Poppleton, Michael and Banach, Richard (2002) Controlling control systems: an application of evolving retrenchment. ZB2002: Formal Specification and Development in Z and B, Grenoble, France, Springer-Verlag Lecture Notes in Computer Science, 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, Kloster Irsee, Germany, , CD-ROM.
Power, Guillermo, Wills, Gary and Hall, Wendy (2002) User Perception of Anthropomorphic Characters with Varying Levels of Interaction. HCI 2002, The 16th British HCI Group Annual Conference, London, 02 - 06 Sep 2002. Springer, 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. UNSPECIFIED IEE Proceedings: Computers and Digital Techniques.
Rosinger, Paul, Al-Hashimi, Bashir and Nicolici, Nicola (2002) Low Power Mixed-Mode BIST Based on Mask Pattern Generation Using Dual LFSR Re-seeding. International Conference on computer Design, Freiburg,
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. In, 2002 IEEE International Workshop on Memory Technology, Design and Testing (MTDT 2002), Isle of Bendor , FR, , 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. In, 8th IEEE International On-Line Testing Workshop, Isle of Bendor , FR, , 8-12. (doi:10.1109/OLT.2002.1030176).
Sarker, Bodhisatwa, Grass, Eckhard and Maharatna, Koushik (2002) Asynchronous CORDIC processor implementation. In, 2nd Asynchronous Circuit Design Workshop (AciD) 2002
Sassone, V. and Sobocinski, P. (2002) Deriving Bisimulation Congruences: A 2-Categorical Approach. In, 9th Int. Workshop on Expressiveness in Concurrency, EXPRESS 2002. Elsevier, 19 pp..
Schmitz, Marcus T, Al-Hashimi, Bashir M and Eles, Petru (2002) Energy-Efficient Mapping and Scheduling for DVS Enabled Distributed Embedded Systems. In, Design, Automation and Test Europe Conference (DATE2002), Paris, France, IEEE, 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, 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. Design Automation of Embedded Systems (DAES)
Shi, D. (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 .
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), 1853-1862.
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), 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. In, IASTED International Conference on Wireless and Optical Communication, 2002, Banff, Canada, IASTED, 152-157.
Varea, Mauricio, Al-Hashimi, Bashir and Leuschel, Michael (2002) Finite and Infinite Model Checking of Dual Transition Petri Net Models. In, Second Workshop on Automated Verification of Critical Systems (AVOCS), Birmingham, UK, 15 - 16 Apr 2002. , 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. In, International Symposium on Hardware/Software Codesign (CODES), Estes Park, Colorado, USA, 06 - 08 May 2002. , 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. 26 th Annual International Computer Software and Applications Conference, Oxford, England, 26 - 29 Aug 2002. , 363-369.
Whalen, Michael, Schumann, Johann and Fischer, Bernd (2002) AutoBayes/CC --- Combining Program Synthesis with Automatic Code Certification (System Description). In, 18th International Conference on Automated Deduction, Copenhagen, 27 - 30 Jul 2002. Springer Verlag, 290-294.
Whalen, Michael, Schumann, Johann and Fischer, Bernd (2002) Synthesizing Certified Code. In, FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, 22 - 24 Jul 2002. Springer Verlag, 431-450.
Wilcock, R and Al-Hashimi, B. M. (2002) Analogue Filter IP Cores for Design Reuse. In, IEE Conference on Analog Signal Processing, Oxford, UK, , 2.1-2.6.
Wilcock, R. and Al-Hashimi, B. M. (2002) A New BIST Methodology for Fully-Balanced OTA-C Filters. In, IEEE International Symposium on Circuits and Systems, Phoenix, Arizona,
Wills, Gary, Alani, Harith, Ashri, Ronald, Crowder, Richard, Kalfoglou, Yannis and Kim, Sanghee (2002) Design Issues for Agent-based Resource Locator Systems. Practical Aspects of Knowledge Management, Vienna, 02 - 03 Dec 2002. Springer, 156-168.
Wills, Gary, Kim, Sanghee and Ashri, Ronald (2002) Capability Management.
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, 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), 421-432.
Xie, Yan and Al Hashimi, Bashir (2002) Synthesis of switched-current Ladder Derived Group delay Equalizers. In, Proc. IEE Analog Signal Processing Symposium, Oxford, UK, , 1/1- 6/1.