7557 search results - page 109 / 1512 » Modeling Timed Concurrent Systems |
171
click to vote
ICDE
2012
IEEE
13 years 4 months ago
2012
IEEE
— The web today is increasingly characterized by social and real-time signals, which we believe represent two frontiers in information retrieval. In this paper, we present Earlyb...
102
click to vote
FORMATS
2003
Springer
15 years 6 months ago
2003
Springer
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
120
click to vote
SAC
2010
ACM
15 years 3 months ago
2010
ACM
The control flow of common processors does not match the specific needs of reactive systems. Key issues for these systems are preemption and concurrency, combined with timing pred...
119
click to vote
PPOPP
1990
ACM
15 years 5 months ago
1990
ACM
Toprogrammassivelyconcurrent MIMDmachines, programmersneed tools for managingcomplexity. One important tool that has been used in the sequential programmingworld is hierarchies of...
139
click to vote
CL
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...