2620 search results - page 104 / 524 » Efficient Hardware Voxelization |
142
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...
145
click to vote
ASPDAC
2006
ACM
15 years 8 months ago
2006
ACM
- We propose a framework to unify the process of false paths and multi-cycle paths in static timing analysis (STA). We use subgraphs attached with timing constraints to represent f...
155
click to vote
EURODAC
1995
IEEE
15 years 8 months ago
1995
IEEE
With VHDL models increasing their size, it becomes more important to assure the quality of these descriptions in order to improve simulation performances, to make project maintain...
142
click to vote
ASPDAC
2008
ACM
15 years 6 months ago
2008
ACM
Abstract-- We address performance maximization of independent task sets under energy constraint on chip multi-processor (CMP) architectures that support multiple voltage/frequency ...
MSS
2010
IEEE
15 years 2 months ago
2010
IEEE
Axioms of monotonicity, efficiency and continuity are shown to characterize the relative majority rule when there are only two alternatives. The absolute majority rule and the rel...