1792 search results - page 116 / 359 » e-Participation and Decision Analysis |
ICCD
2007
IEEE
15 years 3 months ago
2007
IEEE
While Speculative Multithreading (SM) on a Chip Multiprocessor (CMP) has the ability to speed-up hard-toparallelize applications, the power inefficiency of aggressive speculation ...
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
Chaining can reduce the number of iterations required for symbolic state-space generation and model-checking, especially in Petri nets and similar asynchronous systems, but require...
129
click to vote
DAC
1994
ACM
15 years 2 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
109
click to vote
CAV
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
BILDMED
2009
15 years 10 days ago
2009
We present an approach based on self organizing maps to segment renal arteries from 2D PC Cine MR images to measure blood velocity and flow. Such information are important in gradi...