3921 search results - page 636 / 785 » Transforming Models with ATL |
118
Voted
ECRTS
2007
IEEE
15 years 7 months ago
2007
IEEE
Uniprocessor schedulability theory made great strides, in part, due to the simplicity of composing the delay of a job from the execution times of higher-priority jobs that preempt...
124
Voted
RTCSA
2007
IEEE
15 years 7 months ago
2007
IEEE
RFID middleware systems collect and filter RFID streaming data gathered continuously by numerous readers to process requests from applications. These requests are called continuou...
111
click to vote
SIGMETRICS
2006
ACM
15 years 6 months ago
2006
ACM
Network calculus is a min-plus system theory which facilitates the efficient derivation of performance bounds for networks of queues. It has successfully been applied to provide e...
114
click to vote
ISCA
2005
IEEE
15 years 6 months ago
2005
IEEE
Scaling feature size improves processor performance but increases each device’s susceptibility to defects (i.e., hard errors). As a result, fabrication technology must improve s...
119
click to vote
EUROCRYPT
2004
Springer
15 years 6 months ago
2004
Springer
Informally, an obfuscator O is an efficient, probabilistic “compiler” that transforms a program P into a new program O(P) with the same functionality as P, but such that O(P)...