4359 search results - page 478 / 872 » Automated Pipeline Design |
135
click to vote
CADE
2001
Springer
16 years 7 months ago
2001
Springer
We present a tool deciding a fragment of set theory. It is designed to be easily accessible via the internet and intuitively usable by anyone who is working with sets to describe a...
167
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
We present a methodology for generating black-box timing models for full-custom transistor-level CMOS circuits. Our approach utilizes transistor-level ternary symbolic timing simu...
228
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
170
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
143
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— We present and evaluate the design of a new and comprehensive solution for automated worm detection and immunization. The system engages a peer-to-peer network of untrusted mac...