1760 search results - page 218 / 352 » Program Analysis Using Weighted Pushdown Systems |
119
click to vote
JCS
2006
15 years 2 months ago
2006
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems release sensitive information as part of their in...
114
click to vote
CGO
2007
IEEE
15 years 8 months ago
2007
IEEE
General-purpose operating systems, such as Linux, are increasingly being used in embedded systems. Computational resources are usually limited, and embedded processors often have ...
108
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
This project describes the electricity demand and energy consumption management system and its application to Southern Peru smelter. It is composted of an hourly demand-forecastin...
117
click to vote
PODS
2005
ACM
16 years 2 months ago
2005
ACM
We consider query optimization techniques for data intensive P2P applications. We show how to adapt an old technique from deductive databases, namely Query-Sub-Query (QSQ), to a s...
116
click to vote
ICCAD
2008
IEEE
15 years 11 months ago
2008
IEEE
— Leveraging the power of scratchpad memories (SPMs) available in most embedded systems today is crucial to extract maximum performance from application programs. While regular a...