4716 search results - page 681 / 944 » Iterative-free program analysis |
144
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...
139
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Rather than upgrading a software system to the next version by installing a new binary, software systems could be updated "on-thefly" during their execution. We are devel...
147
click to vote
CDES
2006
15 years 6 months ago
2006
Digital signal processing (DSP) industry has been growing rapidly over the past few years; it remains the technology driver for the recovering semiconductor industry. Performance ...
175
click to vote
IASTEDSE
2004
15 years 6 months ago
2004
The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic aspects of systems. The UML statechart diagrams include many concepts that are not present ...
164
click to vote
IQ
2000
15 years 6 months ago
2000
: Current banking data management on loan approval processes has great room for improvements of information quality and prevention of data problems in general, but especially with ...