2520 search results - page 377 / 504 » Model-checking behavioral programs |
IPPS
2003
IEEE
14 years 3 months ago
2003
IEEE
The characteristics of irregular algorithms make a parallel implementation difficult, especially for PC clusters or clusters of SMPs. These characteristics may include an unpredi...
DBPL
2003
Springer
14 years 3 months ago
2003
Springer
Over the last fifteen years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challeng...
GPCE
2003
Springer
14 years 3 months ago
2003
Springer
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...
ICCS
2003
Springer
14 years 3 months ago
2003
Springer
As computer systems grow in size and complexity, tool support is needed to facilitate the efficient mapping of large-scale applications onto these systems. To help achieve this ma...
CODES
2002
IEEE
14 years 3 months ago
2002
IEEE
In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase exec...