123 search results - page 10 / 25 » Generative Instructional Engineering of Competence Developme... |
64
Voted
APSEC
1999
IEEE
15 years 1 months ago
1999
IEEE
Writingdevicedriversisoneofthemostdiculttasks to develop or port operating systems (OSs). A device driver need to be described according to the target device and OS. And, in the d...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
PLDI
2012
ACM
12 years 12 months ago
2012
ACM
While graphics processing units (GPUs) provide low-cost and efficient platforms for accelerating high performance computations, the tedious process of performance tuning required...
DSN
2008
IEEE
15 years 4 months ago
2008
IEEE
An important yet largely uncharted problem in malware defense is how to automate generation of infection signatures for detecting compromised systems, i.e., signatures that charac...
67
Voted
APSEC
2001
IEEE
15 years 1 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...