5562 search results - page 960 / 1113 » Implementing Parallel Cell-DEVS |
149
click to vote
AMAI
2004
Springer
15 years 11 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
162
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
Netcharts have been introduced recently by Mukund et al. in [17]. This new appealing approach to the specification of collections of message sequence charts (MSCs) benefits from ...
164
click to vote
DFG
2004
Springer
15 years 11 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
164
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time...
178
click to vote
EUROPAR
2004
Springer
15 years 11 months ago
2004
Springer
As the Grid moves towards adopting a service-oriented architecture built on Web services, coupling between processes will rely on secure, reliable, and transacted messages and be s...