4887 search results - page 882 / 978 » System Level Design Using C |
125
Voted
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
142
Voted
DAC
2005
ACM
16 years 3 months ago
2005
ACM
Power has become a critical concern for battery-driven computing systems, on which many applications that are run are interactive. System-level voltage scaling techniques, such as...
131
Voted
RTAS
2006
IEEE
15 years 8 months ago
2006
IEEE
Large-scale storage systems often hold data for multiple applications and users. A problem in such systems is isolating applications and users from each other to prevent their wor...
107
Voted
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
128
Voted
DIMVA
2009
15 years 3 months ago
2009
The use of dynamic access control policies for threat response adapts local response decisions to high level system constraints. However, security policies are often carefully tigh...