461 search results - page 44 / 93 » Verifying parallel programs with dynamic communication struc... |
KI
2009
Springer
14 years 1 months ago
2009
Springer
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...
EDO
2006
Springer
14 years 6 days ago
2006
Springer
In this paper we present Damon, a decentralized wide-area runtime aspect middleware built on top of a structured peer-topeer (p2p) substrate and a dynamic Aspect Oriented Programm...
SIGARCH
2010
13 years 3 months ago
2010
We describe a programming framework for high performance clusters with various hardware accelerators. In this framework, users can utilize the available heterogeneous resources pr...
MIDDLEWARE
2007
Springer
14 years 2 months ago
2007
Springer
Developing applications for sensor networks is a challenging task. Most programming systems narrowly focus on programming issues while ignoring that programming represents only a ...