3093 search results - page 451 / 619 » The Multi-perspective Process Explorer |
ICCAD
2005
IEEE
15 years 8 months ago
2005
IEEE
Technology mapping based on DAG-covering suffers from the problem of structural bias: the structure of the mapped netlist depends strongly on the subject graph. In this paper we ...
ICCAD
2003
IEEE
15 years 8 months ago
2003
IEEE
Modeling frequency-dependent nonlinear characteristics of complex analog blocks and subsystems is critical for enabling efficient verification of mixed-signal system designs. Rece...
ICCAD
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents an efficient method for verifying hazard freedom in timed asynchronous circuits. Timed circuits are a class of asynchronous circuits that utilize explicit tim...
IUI
2009
ACM
15 years 8 months ago
2009
ACM
We all encounter many documents on a daily basis that we do not have time to process in their entirety. Nevertheless, we lack good tools to rapidly skim and identify key informati...
CSCW
2010
ACM
15 years 8 months ago
2010
ACM
The success of Wikipedia and the relative high quality of its articles seem to contradict conventional wisdom. Recent studies have begun shedding light on the processes contributi...