222 search results - page 9 / 45 » On the Refinement of Atomic Actions |
ISMB
1997
13 years 10 months ago
1997
The structural comparison of proteins has become increasingly important as a means to identify protein motifs and fold families. In this paper we present a new algorithm for the c...
SPIN
2004
Springer
14 years 1 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
WWW
2010
ACM
2010
ACM
Atomate it! end-user context-sensitive automation using heterogeneous information sources on the web
14 years 3 months ago
The transition of personal information management (PIM) tools off the desktop to the Web presents an opportunity to augment these tools with capabilities provided by the wealth o...
MEMOCODE
2010
IEEE
13 years 6 months ago
2010
IEEE
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...
JLP
2006
13 years 8 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...