8009 search results - page 382 / 1602 » cans 2005 |
179
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
Based on a timing yield model, a statistical static timing analysis technique is proposed. This technique preserves existing methodology by selecting a “device file setting” ...
148
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
We discuss a new synthesis flow, which offers the ability to do easy delay testing almost free in terms of its impact on speed and area as compared to corresponding implementation...
207
click to vote
SOSP
2005
ACM
16 years 3 months ago
2005
ACM
We propose a primitive, called Pioneer, as a first step towards verifiable code execution on untrusted legacy hosts. Pioneer does not require any hardware support such as secure...
179
click to vote
ICDAR
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a new framework for in-depth analysis of the performance of layout analysis methods. Contrary to existing approaches aimed at evaluation or benchmarking, the p...
137
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototy...