Sciweavers

3056 search results - page 549 / 612
» Compiling Embedded Languages
Sort
View
COBUILD
1998
Springer
15 years 2 months ago
The Timeless Way: Making Living Cooperative Buildings with Design Patterns
Interfaces to information systems, and the buildings in which such systems are embedded will typically be the result of the work of a large number of different disciplines, potenti...
Lyn Pemberton, Richard N. Griffiths
SIGGRAPH
1998
ACM
15 years 2 months ago
A Distributed 3D Graphics Library
We present Repo-3D, a general-purpose, object-oriented library for developing distributed, interactive 3D graphics applications across a range of heterogeneous workstations. Repo-...
Blair MacIntyre, Steven Feiner
ASPLOS
1996
ACM
15 years 2 months ago
Synchronization and Communication in the T3E Multiprocessor
This paper describes the synchronization and communication primitives of the Cray T3E multiprocessor, a shared memory system scalable to 2048 processors. We discuss what we have l...
Steven L. Scott
ICALP
1994
Springer
15 years 2 months ago
Liveness in Timed and Untimed Systems
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
Rainer Gawlick, Roberto Segala, Jørgen F. S...
EMSOFT
2006
Springer
15 years 1 months ago
Polychronous mode automata
Among related synchronous programming principles, the model of computation of the Polychrony workbench stands out by its capability to give high-level description of systems where...
Jean-Pierre Talpin, Christian Brunette, Thierry Ga...