16725 search results - page 3310 / 3345 » Engineering Software Correctness |
FOSSACS
2003
Springer
14 years 3 months ago
2003
Springer
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...
EUROSYS
2010
ACM
14 years 3 months ago
2010
ACM
Targeting the operating system (OS) kernels, kernel rootkits pose a formidable threat to computer systems and their users. Recent efforts have made significant progress in blocki...
MSR
2010
ACM
14 years 3 months ago
2010
ACM
—Social network methods are frequently used to analyze networks derived from Open Source Project communication and collaboration data. Such studies typically discover patterns in...
PLDI
2010
ACM
14 years 3 months ago
2010
ACM
Many opportunities for easy, big-win, program optimizations are missed by compilers. This is especially true in highly layered Java applications. Often at the heart of these misse...
COOPIS
2002
IEEE
14 years 2 months ago
2002
IEEE
Abstract. The following paper describes recent work on NED-2, an intelligent information system for ecosystem management currently in development by the USDA Forest Service. Using ...