404 search results - page 39 / 81 » A Compiler and Runtime Infrastructure for Automatic Program ... |
129
click to vote
WIESS
2000
15 years 3 months ago
2000
A software system can be called a safe-system with respect to memory, when it supports only strong-typing and it does not allow for the manual disposal of dynamic memory [2]. The ...
126
Voted
ISORC
2009
IEEE
15 years 9 months ago
2009
IEEE
Java is one of the most popular programming languages for the development of portable workstation and server applications available today. Because of its clean design and typesafe...
114
Voted
COORDINATION
2010
Springer
15 years 17 days ago
2010
Springer
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...
106
Voted
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Upgrading the software of long-lived, highly-available distributed systems is difficult. It is not possible to upgrade all the nodes in a system at once, since some nodes...
110
Voted
JUCS
2006
15 years 2 months ago
2006
Abstract: Most modern computer applications should run on heterogeneous platforms and, moreover, objects and respective code should be easily interchangeable between distinct platf...