7576 search results - page 1172 / 1516 » UNIX as an Application Program |
163
click to vote
APLAS
2006
ACM
16 years 20 days ago
2006
ACM
Abstract. The Scheme language report advocates language design as the composition of a small set of orthogonal constructs, instead of a large accumulation of features. In this pape...
187
click to vote
ASPLOS
2006
ACM
16 years 19 days ago
2006
ACM
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
206
click to vote
APPT
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Grid computing is becoming a mainstream technology for multiinstitutional distributed resources sharing and system integration. Normally, the programmer's productivi...
238
click to vote
ESOP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
162
click to vote
OOPSLA
2005
Springer
16 years 5 days ago
2005
Springer
Garbage collection yields numerous software engineering benefits, but its quantitative impact on performance remains elusive. One can compare the cost of conservative garbage col...