243 search results - page 47 / 49 » Hardware Software Co-Design of a Java Virtual Machine |
86
Voted
CHARME
2003
Springer
15 years 2 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
112
Voted
VEE
2006
ACM
15 years 3 months ago
2006
ACM
Software Dynamic Translation (SDT) systems have been used for program instrumentation, dynamic optimization, security policy enforcement, intrusion detection, and many other uses....
POPL
1999
ACM
15 years 1 months ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...
SIGCOMM
2010
ACM
14 years 9 months ago
2010
ACM
Computing history has shown that open, multi-layer hardware and software stacks encourage innovation and bring costs down. Only recently this trend is meeting the networking world...
115
click to vote
ISCA
1997
IEEE
15 years 1 months ago
1997
IEEE
Recent technological advances have produced network interfaces that provide users with very low-latency access to the memory of remote machines. We examine the impact of such netw...