3307 search results - page 355 / 662 » The meaning of concurrent programs |
155
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We consider the minimum-time reachability problem in concurrent two-player timed automaton game structures. We show how to compute the minimum time needed by a player to ...
178
click to vote
PVM
2007
Springer
16 years 28 days ago
2007
Springer
Many existing clusters use inexpensive Gigabit Ethernet and often have multiple interfaces cards to improve bandwidth and enhance fault tolerance. We investigate the use of Concurr...
143
click to vote
COMPSAC
2005
IEEE
16 years 13 days ago
2005
IEEE
Parallel changes are a basic fact of modern software development. Where previously we looked at prima facie interference, here we investigate a less direct form that we call seman...
173
click to vote
PDP
2005
IEEE
16 years 12 days ago
2005
IEEE
Boolean Equation Systems (BESs) allow to represent various problems encountered in the area of propositional logic programming and verification of concurrent systems. Several seq...
221
Voted
ICCS
2004
Springer
16 years 6 days ago
2004
Springer
The Data Driven Design Optimization Methodology (DDDOM) is a Dynamic Data Driven Application System (DDDAS) developed for engineering design optimization. The DDDOM synergizes expe...