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

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

Article

Butler, M.J. and Morgan, C.C. (1995) Action Systems, Unbounded Nondeterminism, and Infinite Traces. Formal Aspects of Computing, 7, 37-53.

Debbage, M, Hill, M B and Nicole, D A (1995) An Intterface to a Reliable Packet Delivery Service for Parallel Systems.

Dunlop, A N, Hey, A J G, Nicole, D A and Pritchard, D J (1995) Performance Estimation for Parallel Performance Optimisation. Supercomputing, 11, 19-31.

Garratt, P. W. (1995) The Software Management Game. Simulation & Gaming, l26, (1), 105-109.

Gravell, A. M. and Pratten, C. H. (1995) Formal Methods and Open Systems. Software---concepts and tools, 16, 183-188.

Book

Al-Hashimi, B.M. (1995) The Art of SPICE Simulation: Analog and Digital: 1st, CRC Press, The Art of SPICE Simulation: Analog and Digital

Conference or Workshop Item

AL-Hashimi, B.M. (1995) Current mode filters: design, simulation and implementation. UNSPECIFIED IEE Colloquium on Digital and Analogue Filters and Filtering Systems, 61-5.

Al-Hashimi, B.M. (1995) Behavioral models of electronic filters. UNSPECIFIED IEE Colloquium on Analogue Simulation, 51-5.

Back, R.J.R. and Butler, M.J. (1995) Exploring Summation and Product Operators in the Refinement Calculus. In, Mathematics of Program Construction Springer-Verlag.

Dunlop, A, Hernandez, E, Naim, O, Hey, A J G and Nicole, D (1995) A Toolkit for Optimizing Parallel Performance. Proceedings of HPCN Europe '95: published in Lecture Notes in Computer Science Springer-Verlag, 548.

Gunn, S.R. and Nixon, M.S. (1995) Improving Snake Performance via a Dual Active Contour. Computer Analysis of Images and Patterns, Prague, Czech Republic, Springer Verlag, 600-605.

Monograph

Gravell, A. M. (1995) A First Order Refinement Calculus.

Gunn, S.R. and Nixon, M.S. (1995) A Dual Active Contour for Improved Snake Performance.

This list was generated on Wed Oct 1 08:42:28 2014 BST.