1704 search results - page 124 / 341 » Design of a Concurrent and Distributed Language |
141
click to vote
REX
1991
15 years 6 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
174
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
101
Voted
ECLIPSE
2006
ACM
15 years 9 months ago
2006
ACM
This paper describes a state-of-the-art environment for distributed Extreme Programming that results from combining the Sangam editor, developed at NCSU and the Facetop user inter...
146
click to vote
FDL
2003
IEEE
15 years 8 months ago
2003
IEEE
SystemC-Plus from the ODETTE project provides the ability to simulate and synthesise object-oriented specifications into hardware. The current ODETTE compiler translates each obj...
122
click to vote
COOPIS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper describes the design and performance of a new asynchronous method handling (AMH) mechanism that allows CORBA servers to process client requests asynchronously. AMH deco...