3256 search results - page 294 / 652 » Applications of Formal Methods to System Design and Verifica... |
220
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
308
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...
187
click to vote
EUROSYS
2006
ACM
16 years 3 months ago
2006
ACM
The database tier of dynamic content servers at large Internet sites is typically hosted on centralized and expensive hardware. Recently, research prototypes have proposed using d...
127
click to vote
DATE
2005
IEEE
16 years 7 days ago
2005
IEEE
UML is gaining increased attention as a system design language, as indicated by current standardization activities such as the SysML initiative and the UML for SoC Forum. Moreover...
212
click to vote
GI
2007
Springer
16 years 23 days ago
2007
Springer
: An new object oriented development suite for data fusion is presented. It is shown how the various issues in the data fusion development like design, implementation, simulation a...