4386 search results - page 661 / 878 » A Tamper-Resistant Programming Language System |
228
click to vote
ASE
2005
15 years 7 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
194
click to vote
GPCE
2005
Springer
16 years 16 days ago
2005
Springer
Successful software systems must be prepared to evolve or they will die. Although object-oriented software systems are built to last, over time they degrade as much as any legacy s...
204
Voted
ASPLOS
2006
ACM
16 years 1 months ago
2006
ACM
Virtualization is increasingly being used to address server management and administration issues like flexible resource allocation, service isolation and workload migration. In a...
194
click to vote
OOPSLA
2004
Springer
16 years 11 days ago
2004
Springer
Generics offer significant software engineering benefits since they provide code reuse without compromising type safety. Thus generics will be added to the Java language in the...
174
click to vote
IWMM
2010
Springer
15 years 11 months ago
2010
Springer
Concurrent and incremental collectors require barriers to ensure correct synchronisation between mutator and collector. The overheads imposed by particular barriers on particular ...