7421 search results - page 207 / 1485 » In search of dependable design |
152
click to vote
WSC
1997
15 years 8 months ago
1997
For complex systems, traditional methods of experiencebased design are ineffective: the design task must be supported by simulations. Conceptual design and system-level detailed d...
171
click to vote
ICSM
2007
IEEE
16 years 28 days ago
2007
IEEE
The build system forms an indispensable part of any software project. It needs to evolve in parallel with the source code in order to build, test and install the software. Unfortu...
149
click to vote
ICRA
2005
IEEE
16 years 7 days ago
2005
IEEE
— Many medical procedures involve the use of needles, but targeting accuracy can be limited due to obstacles in the needle’s path, shifts in target position caused by tissue de...
205
click to vote
RULEML
2005
Springer
16 years 3 days ago
2005
Springer
an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML . 45 Adrian Giurca and Gerd Wagner A Semantic Web Framework for Interleaving Policy Reasoning and External Servic...
156
click to vote
ISPAN
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper, we have presented the design and evaluation of a compiler system, called APE,for automatic parallelization of scientific and engineering applications on distributed...