Sciweavers

7124 search results - page 8 / 1425
» Programming Languages and Operating Systems
Sort
View
ASPLOS
2006
ACM
14 years 4 months ago
A: an assertion language for distributed systems
Operator mistakes have been identified as a significant source of unavailability in Internet services. In this paper, we propose a new language, A , for service engineers to writ...
Andrew Tjang, Fábio Oliveira, Richard P. Ma...
POS
1998
Springer
14 years 3 months ago
Persistent Operating System Support for Persistent CORBA Objects
The Object Management Group (OMG) have defined mechanisms to support the persistence of CORBA objects with both the now deprecated Persistent Object Service (POS) and the new Pers...
Adrian O'Lenskie, Alan Dearle, David Hulse
COMPSAC
2009
IEEE
14 years 2 months ago
Cartesian Programming: The TransLucid Programming Language
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...
John Plaice, Blanca Mancilla
PADL
2009
Springer
14 years 11 months ago
Operational Semantics for Declarative Networking
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...
Juan A. Navarro, Andrey Rybalchenko
ASPLOS
2012
ACM
12 years 6 months ago
Chameleon: operating system support for dynamic processors
The rise of multi-core processors has shifted performance efforts towards parallel programs. However, single-threaded code, whether from legacy programs or ones difficult to para...
Sankaralingam Panneerselvam, Michael M. Swift