7580 search results - page 142 / 1516 » Prometheus design tool |
134
click to vote
ENTCS
2006
15 years 3 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...
116
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
We present a tool suite for building, simulating, and analyzing the results of hierarchical descriptions of the scheduling policy for modules sharing a bus in real-time applicatio...
129
click to vote
IPSN
2007
Springer
15 years 10 months ago
2007
Springer
This demonstration shows the programming development suite of the RETOS operating system for sensor networks, which provides a robust and multithreaded programming interface to ap...
139
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
130
click to vote
SSDBM
2003
IEEE
15 years 9 months ago
2003
IEEE
With increased demand for storage of scientific data comes a corresponding demand for efficient retrieval mechanisms necessary for analytical and reporting purposes. As is often...