1831 search results - page 224 / 367 » Time Constraints in Workflow Systems |
134
click to vote
RTCSA
2000
IEEE
15 years 9 months ago
2000
IEEE
A number of industrial applications advocate the use of time-triggered approaches for reasons of predictability, distribution, and particular constraints such as jitter or end-to-...
139
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Event-triggered control systems are systems in which the control signal is recomputed when the plant's output signal leaves a triggering-set. There has been recent interest in...
114
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—On-chip power density and temperature are rising exponentially with decreasing feature sizes. This alarming trend calls for temperature management at every level of syst...
144
click to vote
EGC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Monitoring systems are nowadays ubiquitous in complex environments, such as Grids. Their use is fundamental for performance evaluation, problem spotting, advanced debuggi...
150
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...