2632 search results - page 237 / 527 » Alternating Timed Automata |
143
click to vote
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
133
click to vote
ERSHOV
1989
Springer
15 years 8 months ago
1989
Springer
This paper reports two experiments with implementations of constructions from theoretical computer science. The first one deals with Kleene’s and Rogers’ second recursion the...
175
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
125
click to vote
HPCA
2005
IEEE
16 years 4 months ago
2005
IEEE
Due to the simulation time of the reference input set, architects often use alternative simulation techniques. Although these alternatives reduce the simulation time, what has not...
147
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
— Information extraction (IE) systems are trained to extract specific relations from text databases. Real-world applications often require that the output of multiple IE systems...