1355 search results - page 219 / 271 » Techniques for Formal Verification of Digital Systems: A Sys... |
TCAD
2008
13 years 9 months ago
2008
Functional correctness is a vital attribute of any hardware design. Unfortunately, due to extremely complex architectures, widespread components, such as microprocessors, are often...
MOBISYS
2008
ACM
14 years 8 months ago
2008
ACM
Automotive traffic monitoring using probe vehicles with Global Positioning System receivers promises significant improvements in cost, coverage, and accuracy. Current approaches, ...
SIGMOD
2006
ACM
14 years 9 months ago
2006
ACM
Testing of database applications is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption. The problem of database applicatio...
SACMAT
2003
ACM
14 years 2 months ago
2003
ACM
In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...
SIGMOD
2010
ACM
13 years 9 months ago
2010
ACM
Automated extraction of structured data from Web sources often leads to large heterogeneous knowledge bases (KB), with data and schema items numbering in the hundreds of thousands...