1675 search results - page 271 / 335 » A Structured Approach to Parallel Programming: Methodology a... |
154
Voted
ICCAD
2004
IEEE
16 years 1 months ago
2004
IEEE
— Cycle-accurate functional descriptions (CAFDs) are being widely adopted in integrated circuit (IC) design flows. Power estimation can potentially benefit from the inherent in...
147
Voted
ICCD
2003
IEEE
16 years 1 months ago
2003
IEEE
There is a growing interest in the use of speculative multithreading to speed up the execution of a program. In speculative multithreading model, threads are extracted from a sequ...
159
Voted
ESANN
2004
15 years 6 months ago
2004
This paper is based on a new way for determining the regularization trade-off in least squares support vector machines (LS-SVMs) via a mechanism of additive regularization which ha...
144
Voted
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
235
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...