246 search results - page 20 / 50 » A Proof System for Asynchronously Communicating Deterministi... |
ICALP
2005
Springer
14 years 1 months ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
DOCENG
2009
ACM
14 years 2 months ago
2009
ACM
Widgets are small and focused multimedia applications that can be found on desktop computers, mobile devices or even TV sets. Widgets rely on structured documents to describe thei...
PAAPP
2010
13 years 6 months ago
2010
Accurate, reproducible and comparable measurement of the overheads, communication times and progression behavior of blocking and nonblocking collective operations is a complicated...
HYBRID
2009
Springer
14 years 2 months ago
2009
Springer
This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant ...