1522 search results - page 180 / 305 » Practical Exception Specifications |
233
Voted
ICDE
2006
IEEE
16 years 3 months ago
2006
IEEE
To effectively support today's global economy, database systems need to manage data in multiple languages simultaneously. While current database systems do support the storag...
193
click to vote
ICDE
2005
IEEE
16 years 3 months ago
2005
IEEE
Releasing person-specific data in its most specific state poses a threat to individual privacy. This paper presents a practical and efficient algorithm for determining a generaliz...
104
Voted
DAC
2009
ACM
16 years 2 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
DAC
2008
ACM
16 years 2 months ago
2008
ACM
A key problem that arises in System-on-a-Chip (SOC) designs of today is the Chip-level Clock Tree Synthesis (CCTS). CCTS is done by merging all the clock trees belonging to differ...
DAC
2004
ACM
16 years 2 months ago
2004
ACM
Coverage analysis is used to monitor the quality of the verification process. Reports provided by coverage tools help users identify areas in the design that have not been adequat...