3907 search results - page 256 / 782 » Time, Knowledge, and Choice |
172
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...
165
click to vote
GRID
2007
Springer
16 years 25 days ago
2007
Springer
Application scheduling studies on large-scale shared resources have advocated the use of resource provisioning in the form of advance reservations for providing predictable and de...
189
click to vote
HPCC
2007
Springer
16 years 25 days ago
2007
Springer
Advance Reservations(AR) make it possible to guarantee the QoS of Grid applications by reserving a particular resource capability over a defined time interval on local resources. H...
167
click to vote
GRAPHITE
2006
ACM
16 years 19 days ago
2006
ACM
In the presented article we discuss and detail the general methodological approaches, the reconstruction strategies and the techniques that have been employed to achieve the 3D in...
187
click to vote
CODES
2005
IEEE
16 years 9 days ago
2005
IEEE
Instruction-set extensible processors allow an existing processor core to be extended with application-specific custom instructions. In this paper, we explore a novel application...