1406 search results - page 42 / 282 » Information Flow in Systems with Schedulers |
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
In the drive to improve patient safety, patients in modern intensive care units are closely monitored with the generation of very large volumes of data. Unless the data are further...
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
INFOCOM
2003
IEEE
14 years 28 days ago
2003
IEEE
— Third generation code-division multiple access (CDMA) systems propose to provide packet data service through a high speed shared channel with intelligent and fast scheduling at...
CC
2006
Springer
13 years 11 months ago
2006
Springer
This paper presents a new worklist algorithm that significantly speeds up a large class of flow-sensitive data-flow analyses, including typestate error checking and pointer analysi...
GLVLSI
2006
IEEE
14 years 1 months ago
2006
IEEE
Dynamic voltage scaling (DVS) for real-time systems has been extensively studied to save energy. Previous studies consider the probabilistic distributions of tasks’ execution ti...