Sciweavers

6434 search results - page 820 / 1287
» Model Transformations with Reference Models
Sort
View
JAVA
1999
Springer
15 years 10 months ago
A Programmer's Reduction Semantics for Classes and Mixins
While class-based object-oriented programming languages provide a flexible mechanism for re-using and managing related pieces of code, they typically lack linguistic facilities fo...
Matthew Flatt, Shriram Krishnamurthi, Matthias Fel...
IPPS
1998
IEEE
15 years 10 months ago
Hiding Communication Latency in Data Parallel Applications
Interprocessor communication times can be a significant fraction of the overall execution time required for data parallel applications. Large communication to computation ratios o...
Vivek Garg, David E. Schimmel
SIGADA
1998
Springer
15 years 10 months ago
Building Fault Tolerant Distributed Systems Using IP Multicast
Our institute has been developing the only publicly available implementation of the Ada 95 Distributed Systems Annex for several years in strong collaboration with Ada Core Techno...
Samuel Tardieu, Laurent Pautet
LICS
1997
IEEE
15 years 10 months ago
Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras
The partial real line is the continuous domain of compact real intervals ordered by reverse inclusion. The idea is that singleton intervals represent total real numbers, and that ...
Martín Hötzel Escardó, Thomas S...
149
Voted
SP
1997
IEEE
106views Security Privacy» more  SP 1997»
15 years 10 months ago
Secure Software Architectures
The computer industry is increasingly dependent on open architectural standards for their competitive success. This paper describes a new approach to secure system design in which...
Mark Moriconi, Xiaolei Qian, Robert A. Riemenschne...