3365 search results - page 517 / 673 » Digital System Design: Architectures, Methods and Tools |
187
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
We present a flexible architecture for trusted computing, called Terra, that allows applications with a wide range of security requirements to run simultaneously on commodity har...
157
click to vote
SIGCOMM
2009
ACM
16 years 24 days ago
2009
ACM
It is envisaged that services and applications will migrate to a cloud-computing paradigm where thin-clients on userdevices access, over the network, applications hosted in data c...
158
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
We have developed a function-level power estimation methodology for predicting the power dissipation of embedded software. For a given microprocessor core, we empirically build th...
159
click to vote
SIGSOFT
2004
ACM
15 years 11 months ago
2004
ACM
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...
185
click to vote
DEBU
2008
15 years 6 months ago
2008
In this paper, we describe the TIMBER XML database system implemented at University of Michigan. TIMBER was one of the first native XML database systems, designed from the ground ...