10870 search results - page 1988 / 2174 » Model Checking Programs |
109
click to vote
ISORC
2006
IEEE
15 years 7 months ago
2006
IEEE
Convenience, reliability, and effectiveness of automatic memory management have long been established in modern systems and programming languages such as Java. The timeliness req...
127
click to vote
NCA
2006
IEEE
15 years 7 months ago
2006
IEEE
Geant4 is a very large, highly accurate toolkit for Monte Carlo simulation of particle-matter interaction. It has been applied to high-energy physics, cosmic ray modeling, radiati...
109
Voted
ADBIS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Traditionally, the investment funds market exploits analysis and design concepts based on the procedural programming approach. We propose a set of analysis patterns which...
ACMSE
2006
ACM
15 years 7 months ago
2006
ACM
This paper presents the preliminary findings of the Electronic Portfolio Student Perspective Instrument (EPSPI) developed to ascertain student attitudes and intended uses of ePort...
107
Voted
ECLIPSE
2006
ACM
15 years 7 months ago
2006
ACM
Producing usable documentation has always been a tedious task, and even communicating important knowledge about a system among collaborators is difficult. This paper describes an ...