6939 search results - page 1090 / 1388 » Algorithm Engineering for Parallel Computation |
142
click to vote
ICCAD
2010
IEEE
15 years 2 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
137
click to vote
ISQED
2005
IEEE
15 years 10 months ago
2005
IEEE
Hierarchical approach greatly facilitates large-scale chip design by hiding distracting details in low-level objects. However, the lowlevel designs have to have a global view of h...
130
click to vote
ISPD
2005
ACM
15 years 10 months ago
2005
ACM
Research in floorplanning and block-packing has generated a variety of data structures to represent spatial configurations of circuit modules. Much of this work focuses on the g...
138
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
We consider a multiagent system whose task is to aid componentcentered design by collaborative designers in a supply chain. In the earlier work, collaborative design networks are ...
136
click to vote
IUI
2006
ACM
15 years 10 months ago
2006
ACM
Sketch interfaces provide more natural interaction than the traditional mouse and palette tool, but can be time consuming to build if they have to be built anew for each new domai...