10718 search results - page 293 / 2144 » On the Circuit Implementation Problem |
215
Voted
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
171
click to vote
JAMIA
2010
15 years 1 months ago
2010
Objective Lack of dose adjustment for renally cleared drugs in the presence of poor renal function is a common problem in the hospital setting. The absence of a clinical decision ...
157
click to vote
CLUSTER
2006
IEEE
16 years 21 days ago
2006
IEEE
In this work we present a parallel algorithm for the solution of a least squares problem with structured matrices. This problem arises in many applications mainly related to digit...
154
Voted
IWMM
1998
Springer
15 years 11 months ago
1998
Springer
We show that for 8 real and varied C and C++ programs, several conventional dynamic storage allocators provide nearzero fragmentation, once we account for overheads due to impleme...
135
click to vote
FLAIRS
2010
15 years 9 months ago
2010
Most researchers agree that there is a continuum between well-definedness and ill-definedness. However, positioning a specific problem within this continuum is not always easy. To...