Sciweavers

290 search results - page 12 / 58
» entcs 2006
Sort
View
ENTCS
2006
214views more  ENTCS 2006»
14 years 10 months ago
A Generalization of ACP Using Belnap's Logic
ACP is combined with Belnap's four-valued logic via conditional composition (if
Alban Ponse, Mark van der Zwaag
ENTCS
2006
139views more  ENTCS 2006»
14 years 10 months ago
Analytical Modeling for Operating System Schedulers on NUMA Systems
Rafael Chanin, Mônica Corrêa, Paulo Fe...
ENTCS
2006
104views more  ENTCS 2006»
14 years 10 months ago
A Verification Approach for GALS Integration of Synchronous Components
Frederic Doucet, Massimiliano Menarini, Ingolf H. ...
ENTCS
2006
96views more  ENTCS 2006»
14 years 10 months ago
Weighted Timed Automata: Model-Checking and Games
In this paper, we present weighted/priced timed automata, an extension of timed automaton with costs, and solve several interesting problems on that model. Key words: Weighted/pri...
Patricia Bouyer
ENTCS
2006
110views more  ENTCS 2006»
14 years 10 months ago
First Steps in Synthetic Computability Theory
Computability theory, which investigates computable functions and computable sets, lies at the foundation of computer science. Its classical presentations usually involve a fair a...
Andrej Bauer