1471 search results - page 67 / 295 » Composing concurrency control |
SEFM
2007
IEEE
15 years 4 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
102
click to vote
HPCA
1998
IEEE
15 years 2 months ago
1998
IEEE
The performance of a concurrent multithreaded architectural model, called superthreading 15 , is studied in this paper. It tries to integrate optimizing compilation techniques and...
DFT
1997
IEEE
15 years 2 months ago
1997
IEEE
Abstract— Error control is a major concern in many computer systems, particularly those deployed in critical applications. Experience shows that most malfunctions during system o...
IJCAI
2001
14 years 11 months ago
2001
Recently tremendous advances have been made in the performance of AI planning systems. However increased performance is only one of the prerequisites for bringing planning into th...
127
click to vote
ISPE
2003
14 years 11 months ago
2003
: Software agent technology has matured enough to produce intelligent agents, which can be used to control a large number of concurrent engineering tasks. Multi-agent systems are c...