Sciweavers

9267 search results - page 222 / 1854
» Expectation-Oriented Analysis and Design
Sort
View
FASE
2001
Springer
15 years 10 months ago
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
Natasha Sharygina, James C. Browne, Robert P. Kurs...
180
Voted
ASAP
2000
IEEE
184views Hardware» more  ASAP 2000»
15 years 10 months ago
Tradeoff Analysis and Architecture Design of a Hybrid Hardware/Software Sorter
Sorting long sequences of keys is a problem that occurs in many different applications. For embedded systems, a uniprocessor software solution is often not applicable due to the l...
Marcus Bednara, Oliver Beyer, Jürgen Teich, R...
GLVLSI
2000
IEEE
83views VLSI» more  GLVLSI 2000»
15 years 10 months ago
Design and analysis of efficient application-specific on-line page replacement techniques
Virgil Andronache, Edwin Hsing-Mean Sha, Nelson L....
AOSE
2000
Springer
15 years 10 months ago
Organizational Abstractions for the Analysis and Design of Multi-agent Systems
Franco Zambonelli, Nicholas R. Jennings, Michael W...