8838 search results - page 1670 / 1768 » Generalizing Domain Theory |
DAC
2011
ACM
12 years 10 months ago
2011
ACM
Technology scaling allows the integration of billions of transistors on the same die but CAD tools struggle in keeping up with the increasing design complexity. Design productivit...
DGO
2011
12 years 10 months ago
2011
We consider open government (OG) within the context of egovernment and its broader implications for the future of public administration. We argue that the current US Administratio...
EMSOFT
2011
Springer
12 years 10 months ago
2011
Springer
As system integration becomes an increasingly important challenge for complex real-time systems, there has been a significant demand for supporting real-time systems in virtualiz...
IACR
2011
12 years 9 months ago
2011
In the area of privacy-preserving data mining, a differentially private mechanism intuitively encourages people to share their data truthfully because they are at little risk of ...
POPL
2012
ACM
12 years 5 months ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...