1305 search results - page 15 / 261 » The design context of concurrent computation systems |
EDO
2000
Springer
15 years 1 months ago
2000
Springer
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...
GG
2008
Springer
14 years 10 months ago
2008
Springer
Parallel and sequential independence are central concepts in the concurrency theory of the double pushout (dpo) approach to graph rewriting. However, so far those same notions were...
75
Voted
ICCS
2003
Springer
15 years 2 months ago
2003
Springer
Engineering design optimization using concurrent integrated experiment and simulation is a Dynamic Data Driven Application System (DDDAS) wherein remote experiment and simulation c...
FAC
2000
14 years 9 months ago
2000
Typically, program design involves constructing a program P that implements a given specification S; that is, the set P of executions of P is a subset of the set S of executions s...
RTCSA
2008
IEEE
15 years 3 months ago
2008
IEEE
Control systems are typically designed assuming an ideal behavior of the computing infrastructure where controllers execute. In practice, however, in highly loaded computing syste...