827 search results - page 106 / 166 » Patterns for Timed Property Specifications |
116
click to vote
JUCS
2008
15 years 3 months ago
2008
: The evaluation of interactive systems has been an active subject of research for many years. Many methods and tools have been proposed but most of them do not take architectural ...
140
click to vote
SC
2000
ACM
15 years 7 months ago
2000
ACM
This is a project for developing a distributed job execution environment for highly iterative jobs. An iterative job is one where the same binary code is run hundreds of times wit...
119
click to vote
CASES
2006
ACM
15 years 7 months ago
2006
ACM
We present a new technique for compiling run-time reconfigurable hardware designs. Run-time reconfigurable embedded systems can deliver promising benefits over implementations in ...
121
click to vote
WSC
2008
15 years 5 months ago
2008
Within the last months the semiconductor plant of Infineon in Dresden has converted to a pure manufacturer of logic products. With it, premises for production control have changed...
131
click to vote
DIALM
2010
ACM
15 years 4 months ago
2010
ACM
In this paper we introduce the regional consecutive leader election (RCLE) problem, which extends the classic leader election problem to the ever-changing environment of mobile ad-...