790 search results - page 135 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
195
click to vote
POPL
2008
ACM
16 years 4 days ago
2008
ACM
Software transactions have received significant attention as a way to simplify shared-memory concurrent programming, but insufficient focus has been given to the precise meaning o...
106
click to vote
TOOLS
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
PPOPP
2005
ACM
15 years 5 months ago
2005
ACM
In this paper, we develop a new language construct to address one of the pitfalls of parallel programming: precise handling of events across parallel components. The construct, te...
114
click to vote
LCTRTS
2005
Springer
15 years 5 months ago
2005
Springer
Effective use of the memory hierarchy is critical for achieving high performance on embedded systems. We focus on the class of streaming applications, which is increasingly preval...
CD
2004
Springer
15 years 5 months ago
2004
Springer
Physical boundaries have caused software systems to become less monolithic and more distributed. The trend is progressing to a point where software systems will consist of numerous...