Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 2000
|Up a level|
Al-Hashim, B.M., Dudek, F. and Moniri, M. (2000) Current mode group delay equalisation using pole-zero mirroring techniques , pp. 257-63.
Al-Hashimi, B.M., Dudek, F. and Sun, Y. (2000) CMOS Design of Group Delay Equaliser , pp. 163-169.
Al-hashimi, Bashir and Nicolici, Nicola (2000) Low Power Testing of Digital ICs: Overview , pp. 3-4.
Butler, M. J. (2000) csp2B: A Practical Approach to Combining CSP and B Formal Aspects of Computing, 12, pp. 182-196.
Butler, M. J. and Meagher, M. M. R. (2000) Performing Algorithmic Refinement before Data Refinement in B At Proc. ZB2000: Formal Specification and Development in Z and B. , pp. 324-343.
Butler, Michael and Ferreira, Carla, (2000) A Process Compensation Language Grieskamp, W., Santen, T. and Stoddart, B. (eds.) At Integrated Formal Methods IFM2000. , p. 61.
Chen, J.L., Gunn, S.R., Nixon, M.S., Myers, R.P. and Gunn, R.N. (2000) A Supervised Method for PET Reference Region Extraction At Medical Image Understanding and Analysis. , pp. 179-182.
Chen, S., Gunn, S.R. and Harris, C.J. (2000) Decision feedback equalizer design using support vector machines IEE Proceedings Vision, Image and Signal Processing, 147, (3), pp. 213-219.
Christensen, S.W., Kandola, J.S., Femminella, O.P., Gunn, S.R., Reed, P.A.S. and Sinclair, I. (2000) Adaptive Numerical Modelling of Commercial Aluminium Plate Performance In, Starke, E.A., Sanders, T.H. and Cassada, W.A. (eds.) Mater. Sci. Forum. Aluminium Alloys: Their Physical and Mechanical Properties pp. 533-538.
Cirstea, Corina, (2000) An Algebra-Coalgebra Framework for System Specification Reichel, H. (ed.) At 3rd International Workshop on Coalgebraic Methods in Computer Science. , pp. 80-110.
Cirstea, Corina (2000) Integrating Observations and Computations in the Specification of State-Based, Dynamical Systems University of Oxford, Computing Laboratory, Doctoral Thesis .
Crowder, Richard M, Hall, Wendy, Health, Ian and Wills, Gary (2000) Industrial strength hypermedia : Design, Implementation and Application. International Journal of Computer Integrated Manufacturing, 13, (3), pp. 173-86.
Damper, R. I., Gunn, S. R. and Gore, M. O. (2000) Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants Applied Intelligence, 12, (1-2), pp. 43-62.
DeRoure, David, Moreau, Luc, Butler, Michael, Chown, Tim and Hartel, Pieter (2000) Study of Security in Multi-Agent Architectures Department of Electronics and Computer Science, University of Southampton
Dudek, F., Al-Hashimi, B.M. and Moniri, M. (2000) Current Mode Elliptic Filter Design Based on Symmertical Current Switching , pp. 163-77.
Fangohr, Hans, Price, Andrew R., Cox, Simon J., Groot, Peter A.J. de, Daniell, Geoffrey J. and Thomas, Ken S. (2000) Efficient Methods for Handling Long-Range Forces in Particle-Particle Simulations Journal of Computational Physics, 162, (2), pp. 372-384.
Gao, J.B., Gunn, S.R. and Kandola, J.S. (2000) A Variational Approach for Adapting Kernels in Support Vector Regression At Advances in Neural Information Processing Systems (NIPS13) Kernel Workshop.
Gao, J.B., Harris, C.J., Gunn, S.R. and Brown, M. (2000) The error bar estimation for soft classification with Gaussian process models At ICSC Second Int. Symp. Neural Computation, Germany.
Garratt, P. W. and Bennion, M. J. (2000) Adaptive Error Correction on a Data Link At Proc. Int. Conf. on Software Engineering Applied to Networking and Parallel/Distributed Computing, SNPD 2000. , pp. 418-425.
Glaser, H., Hartel, P. H. and Garratt, P. W. (2000) Programming by Numbers: A Programming Method for Complete Novices Computer Journal, 43, (4), pp. 252-265.
Gonciari, Paul T. and Al-Hashimi, Bashir M. (2000) Modified Isolation Rings for Parallel Test Access in Core Based SoC At IEE System on a Chip Workshop. , 10/1-10/4.
Gravell, Andrew M, (2000) Logical Refinement of Imperative Programs: generating code from verified conditions Gupta, Gopal and Ramakrishnan, I.V. (eds.) At Workshop on (Constraint) Logic Programming and Software Engineering LPSE2000. , pp. 2-16.
Gunn, S.R., (2000) Modelling with Support Vector Machines Albertos, P. and Sala, A. (eds.) At Lecture Notes on Iterative Identification and Control Design. , 289--321.
Hall, W., Hughes, G.V., Martinez, K., Weal, M.J. and Wills, G.B. (2000) Digitising the Turing Archive: A Pilot Study s.n.
Heath, Ian, Wills, Gary, Crowder, Richard, Hall, Wendy and Ballantyne, Jim (2000) Towards a new authoring methodology for large scale hypermedia applications Multimedia Tools and Applications, 12, (2/3), pp. 129-44.
Kandola, J.S. and Gunn, S.R. (2000) Assessing the Stability of Advanced Transparent Modelling Techniques At CRM Workshop on Combining and Selecting Models using Machine Learning Algorithms, Canada.
Maharatna, Koushik and Banerjee, Swapna (2000) CORDIC Based Array Architecture for Affine Transformation of Images At Int’l Conference on Communications, Computers and Devices (ICCD) 2000, India. , pp. 645-648.
Maharatna, Koushik, Grass, Eckhard and Jagdhold, Ulrich (2000) A Low-Power 64-point FFT/IFFT Architecture for Wireless Broadband Communication At 7th Int’l Conference on Mobile Multimedia Communication (MoMuC) 2000, Japan. , 2A-2-1-2A-2-4.
Maharatna, Koushik, Grass, Eckhard and Jagdhold, Ulrich (2000) A Low-Power 64-point FFT/IFFT Architecture for Wireless Broadband Communication At 5th International OFDM Workshop 2000, Germany. , 36-1-36-3.
Nicolici, N., Al-Hashimi, B.M., Brown, A.D. and Williams, A.C. (2000) BIST Hardware Synthesis for RTL Data Paths Based on Test Compatibility Classes IEEE Transactions on CAD, 19, (11), pp. 1375-1385.
Nicolici, N., Al-Hashimi, B.M. and Williams, A.C. (2000) Mimimising Power Dissipation During Test Application in Full Scan Sequential Circuits by Primary Input Freezing IEE Proceedings - Computers and Digital Techniques, 147, (5), pp. 313-322.
Nicolici, Nicola and Al-Hashimi, Bashir M (2000) Power Minimisation Techniques for Testing Low Power VLSI Circuits At IEE Postgraduate Research and Electronics and Photonics (PREP). , pp. 7-12.
Nicolici, Nicola and Al-Hashimi, Bashir M. (2000) Power Conscious Test Synthesis and Scheduling At IEEE International Test Conference (ITC). , pp. 662-671.
Nicolici, Nicola and Al-Hashimi, Bashir M. (2000) Scan Latch Partitioning into Multiple Scan Chains for Power Minimization in Full Scan Sequential Circuits At IEEE/ACM Design, Automation and Test in Europe (DATE). , pp. 715-722.
Papiani, Mark, Wason, Jasmin L. and Nicole, Denis A., Zaniolo, Carlo, Lockemann, Peter C., Scholl, Marc H. and Grust, TorstenTorsten Grust(eds.) (2000) An Architecture for Management of Large, Distributed, Scientific Data Using SQL/MED and XML Lecture Notes in Computer Science, 1777, pp. 447-461.
Schmitz, Marcus T. and Al-Hashimi, Bashir M. (2000) Energy Minimisation for Processor Cores using Variable Supply Voltages At IEE System on a Chip Workshop. , 10/1-10/4.
Schmitz, Marcus T. and Al-Hashimi, Bashir M. (2000) Low Power Process Assignment for Distributed Embedded Systems using Dynamic Voltage Scaling At IEE Hardware-Software Co-Design. , 7/1-7/4.
Shi, D., Gunn, S. R., Damper, R. I. and Shu, W. (2000) Recognition rule acquisition by an advanced extension matrix algorithm Engineering Intelligent Systems for Electrical Engineering and Communications, 8, (2), pp. 97-101.
Snook, Colin and Butler, Michael (2000) Verifying Dynamic Properties of UML Models by Translation to the B Language and Toolkit At UML 2000 Workshop, Dynamic Behaviour in UML Models: Semantic Questions.
Thomas, Ken, Briggs, J.(ed.) (2000) Ada User Journal Ada User Journal, 21, (2), pp. 143-152.
Wills, Gary Brian (2000) The Design and Evaluation of Industrial Hypermedia University of Southampton, Department of Electrical Engineering, Doctoral Thesis .
de Watteville, Alastair and Gilbert, Lester (2000) Information and Communication Technology, Heinemann