9267 search results - page 352 / 1854 » Expectation-Oriented Analysis and Design |
156
click to vote
ICRA
2005
IEEE
16 years 13 days ago
2005
IEEE
— Mechanisms utilizing rigid links and relatively small flexural joints are very suitable for fabrication at the meso scale. The Micromechanical Flying Insect (MFI) project at U...
193
click to vote
ILP
2003
Springer
16 years 1 days ago
2003
Springer
This work presents the application of theory revision to the design of distributed databases to automatically revise a heuristic-based algorithm (called analysis algorithm) through...
217
click to vote
PASTE
2010
ACM
15 years 10 months ago
2010
ACM
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API...
185
click to vote
CASCON
2006
15 years 8 months ago
2006
Coupling measures have important applications in software development and maintenance. They are used to reason about the structural complexity of software and have been shown to p...
192
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: The availability of the human genome sequence as well as the large number of physically accessible oligonucleotides, cDNA, and BAC clones across the entire genome has ...