674 search results - page 104 / 135 » The computational complexity of the parallel knock-out probl... |
125
click to vote
EUROPAR
2007
Springer
15 years 7 months ago
2007
Springer
In Grid systems, nontrivial qualities of service have to be provided to users by the resource providers. However, resource management in a decentralized infrastructure is a complex...
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...
102
click to vote
EUROPAR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Program transformations are one of the most valuable compiler techniques to improve data locality. However, restructuring compilers have a hard time coping with data depe...
108
click to vote
ASAP
2004
IEEE
15 years 5 months ago
2004
IEEE
In this paper, we present a modular co-synthesis framework called CHARMED that solves the problem of hardware-software co-synthesis of periodic, multi-mode, distributed, embedded ...
PODC
2009
ACM
16 years 1 months ago
2009
ACM
d Abstract] Prosenjit Bose School of Computer Science Carleton University Ottawa, Canada jit@scs.carleton.ca Paz Carmi Dept. of Computer Science Ben-Gurion Univ. of the Negev Beer-...