1888 search results - page 65 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
123
click to vote
LPAR
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...
138
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...
136
click to vote
ISORC
2002
IEEE
15 years 8 months ago
2002
IEEE
— This paper describes IKE 2, which is distributed object computing middleware that supports the creation of interoperable realtime distributed applications. These applications a...
143
click to vote
TCAD
2008
15 years 3 months ago
2008
Abstract--For modern embedded systems in the realm of highthroughput multimedia, imaging, and signal processing, the complexity of embedded applications has reached a point where t...
148
click to vote
JSA
2002
15 years 2 months ago
2002
This paper examines some models of FSMs that can be implemented in dynamically and statically reconfigurable FPGAs. They enable circuits for the FSMs to be constructed in such a wa...