130 search results - page 1 / 26 » The Language Theory of Bounded Context-Switching |
LATIN
2010
Springer
15 years 7 months ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
105
click to vote
PLDI
2004
ACM
15 years 5 months ago
2004
ACM
+ Modern network processors employ multi-threading to allow concurrency amongst multiple packet processing tasks. We studied the properties of applications running on the network p...
112
Voted
ECRTS
2006
IEEE
15 years 6 months ago
2006
IEEE
In this article we provide a model for the dynamic behavior of media processing chains of tasks communicating via bounded buffers. The aim is to find the overall behavior of a cha...
121
click to vote
FM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
ICALP
2010
Springer
15 years 13 days ago
2010
Springer
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...