22358 search results - page 4004 / 4472 » Software Performance Engineering |
162
click to vote
SPW
2004
Springer
15 years 10 months ago
2004
Springer
Abstract Fabio Massacci1 and Nicola Zannone1 Department of Information and Communication Technology University of Trento - Italy {massacci,zannone} at dit.unitn.it The last years h...
160
click to vote
VISUALIZATION
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper describes the work of a team of researchers in computer graphics, geometric computing, and civil engineering to produce a visualization of the September 2001 attack on ...
136
click to vote
ITICSE
2003
ACM
15 years 10 months ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
153
click to vote
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
The Real-Time Specification for Java (RTSJ) allows a program to create real-time threads with hard real-time constraints. Real-time threads use region-based memory management to ...
167
click to vote
FATES
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...