7742 search results - page 1216 / 1549 » The Robustness of Level Sets |
181
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
— The high-level synthesis process involves three interdependent and NP-complete optimization problems: (i) the operation scheduling, (ii) the resource allocation, and (iii) the ...
180
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
The bandwidth and speed of network connections are continually increasing. The speed increase in network technology is set to soon outpace the speed increase in CMOS technology. T...
153
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
186
click to vote
DSRT
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
164
click to vote
EDOC
2008
IEEE
16 years 1 months ago
2008
IEEE
Many industries have been developing e-business standards to improve business-to-business interoperability on a mass scale. Most such standards are composed of business data model...