123 search results - page 25 / 25 » A new framework for static timing analysis, incremental timi... |
ICCAD
2003
IEEE
14 years 1 months ago
2003
IEEE
Ultra-deep submicron manufacturability impacts physical design (PD) through complex layout rules and large guardbands for process variability; this creates new requirements for ne...
BMCBI
2010
13 years 5 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
EMSOFT
2011
Springer
12 years 4 months ago
2011
Springer
As system integration becomes an increasingly important challenge for complex real-time systems, there has been a significant demand for supporting real-time systems in virtualiz...