2251 search results - page 69 / 451 » Specification and Implementation Problems for C |
161
click to vote
ICST
2009
IEEE
15 years 1 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...
130
Voted
JAMIA
2010
14 years 10 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 ...
134
Voted
ICWE
2005
Springer
15 years 9 months ago
2005
Springer
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
133
click to vote
ICCAD
1994
IEEE
15 years 7 months ago
1994
IEEE
Application Specific Instruction-Set Processors (ASIPs) offer designers the ability for high-speed data and control processing with the added flexibility needed for late design sp...
110
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
In this article, we describe the application of an enhanced genetic algorithm to the problem of hardware-software codesign. Starting from a source code written in a high-level lan...