7167 search results - page 204 / 1434 » A Technique for Invariant Generation |
193
click to vote
DATE
2005
IEEE
16 years 24 days ago
2005
IEEE
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...
185
click to vote
KBSE
2002
IEEE
16 years 3 days ago
2002
IEEE
Generating test inputs for a path in a function with integer and real parameters is an important but difficult problem. The problem becomes more difficult when pointers are pass...
198
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
The growing use of digital signal processors (DSPs) in embedded systems necessitates the use of optimizing compilers supporting special hardware features. Due to the irregular arc...
185
click to vote
ESTIMEDIA
2008
Springer
15 years 9 months ago
2008
Springer
This paper is concerned about multitasking embedded software development from the system specification to the final implementation including design space exploration(DSE). In the ...
146
click to vote
ARTMED
1999
15 years 6 months ago
1999
In this paper, we describe how user-adapted explanations about drug prescriptions can be generated from already existing data sources. We start by illustrating the two-step approa...