4386 search results - page 661 / 878 » A Tamper-Resistant Programming Language System |
159
Voted
ASE
2005
15 years 3 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...
145
Voted
GPCE
2005
Springer
15 years 9 months 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...
135
Voted
ASPLOS
2006
ACM
15 years 9 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...
123
click to vote
OOPSLA
2004
Springer
15 years 9 months 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...
126
Voted
IWMM
2010
Springer
15 years 7 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 ...