16725 search results - page 590 / 3345 » Engineering Software Correctness |
178
click to vote
EMSOFT
2008
Springer
15 years 9 months ago
2008
Springer
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
187
click to vote
DAC
2004
ACM
16 years 18 days ago
2004
ACM
As the technology migrates into the deep submicron manufacturing (DSM) era, the critical dimension of the circuits is getting smaller than the lithographic wavelength. The unavoid...
218
click to vote
CSEE
2001
Springer
15 years 11 months ago
2001
Springer
Process in software engineering is a growing concern for many software development organizations. The need for well-educated software engineers is bringing new software engineerin...
197
click to vote
GECCO
2005
Springer
16 years 20 days ago
2005
Springer
Previous research demonstrated that Evolvable Hardware (EH) techniques can be employed to suppress Thermoacoustic (TA) instability in a computer simulated combustion chamber. Thou...
240
click to vote
EMSOFT
2011
Springer
14 years 6 months ago
2011
Springer
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...