1271 search results - page 20 / 255 » On Simulation-Checking with Sequential Systems |
ACSD
2010
IEEE
13 years 5 months ago
2010
IEEE
Digital components play a central role in the design of complex embedded systems. These components are interconnected with other, possibly analog, devices and the physical environm...
CJ
2010
13 years 5 months ago
2010
A concurrent object is an object that can be concurrently accessed by several processes. Sequential consistency is a consistency criterion for such objects. Informally, it states ...
AAAI
2007
13 years 10 months ago
2007
We present in this paper a hybrid planning system which combines constraint satisfaction techniques and planning heuristics to produce optimal sequential plans. It integrates its ...
CONCUR
1994
Springer
13 years 11 months ago
1994
Springer
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
PDP
2002
IEEE
14 years 17 days ago
2002
IEEE
In this paper we present an algorithm that can be used to implement sequential, causal, or cache consistency in distributed shared memory (DSM) systems. For this purpose it has a ...