171 search results - page 16 / 35 » Efficient algorithms for interface timing verification |
136
Voted
JMLR
2010
14 years 8 months ago
2010
The FastInf C++ library is designed to perform memory and time efficient approximate inference in large-scale discrete undirected graphical models. The focus of the library is pro...
136
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
118
click to vote
DAC
2007
ACM
16 years 2 months ago
2007
ACM
The ability to account for the growing impacts of multiple process variations in modern technologies is becoming an integral part of nanometer VLSI design. Under the context of ti...
102
click to vote
ALGORITHMICA
2002
15 years 1 months ago
2002
The implementation of an algorithm is faced with the issues efficiency, flexibility, and ease-of-use. In this paper, we suggest a design concept that greatly increases the flexibi...
DAC
2006
ACM
16 years 2 months ago
2006
ACM
Simulation and verification using electronic design automation (EDA) tools are key steps in the design process for communication and signal processing systems. The synchronous dat...