4311 search results - page 12 / 863 » Code Generation for Distributed Systems |
67
Voted
CODES
1998
IEEE
15 years 4 months ago
1998
IEEE
2.1 Modal processes
SC
1990
ACM
15 years 3 months ago
1990
ACM
Loop distribution is an integral part of transforming a sequential program into a parallel one. It is used extensively in parallelization,vectorization, and memory management. For...
103
click to vote
RSP
2007
IEEE
15 years 6 months ago
2007
IEEE
Building Distributed Real-Time Embedded systems requires a stringent methodology, from early requirements capture to full implementation. However, there is a strong link between t...
93
Voted
PTS
1998
15 years 1 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
89
Voted
PDSE
1998
15 years 1 months ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...