1682 search results - page 128 / 337 » Techniques for Automating Distributed Real-Time Applications... |
120
click to vote
TELSYS
2002
15 years 2 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
261
click to vote
FM
1997
Springer
15 years 7 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
124
Voted
SIGGRAPH
1997
ACM
15 years 7 months ago
1997
ACM
This paper describes the integration of the Berkeley Architectural Walkthrough Program with the National Institute of Standards and Technology’s CFAST fire simulator. The integ...
130
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Performance and workload modeling has numerous uses at every stage of the high-end computing lifecycle: design, integration, procurement, installation and tuning. Despite the trem...
140
click to vote
GCC
2007
Springer
15 years 9 months ago
2007
Springer
The Message Passing Interface (MPI) is a standard in parallel computing, and can also be used as a highperformance programming model for Grid application development. How to execu...