5404 search results - page 484 / 1081 » Global Computing for Bioinformatics |
188
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
In work on multiprocessor real-time systems, task scheduling with self-suspensions is a relatively unexplored topic. In this paper, soft real-time sporadic task systems are consid...
223
click to vote
TARK
2009
Springer
16 years 1 months ago
2009
Springer
We study games in which the choices available to players are not fixed, and may change during the course of play. Specifically, we consider a model in which players may switch st...
171
Voted
WACV
2007
IEEE
16 years 1 months ago
2007
IEEE
We address the limited automatic scanning functionality of standard PTZ camera systems. We present an adaptive, scene-specific model using standard PTZ camera hardware. The adapt...
180
Voted
ISPD
2005
ACM
16 years 13 days ago
2005
ACM
During the ispd05 placement contest, we employed the forcedirected approach Kraftwerk for global placement complemented by the network-flow based final placer Domino. These powe...
156
click to vote
CONCUR
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...