Sciweavers

1099 search results - page 82 / 220
» A Parallel Programming Style and Its Algebra of Programs
Sort
View
HOTSWUP
2009
ACM
14 years 7 months ago
Migrating Protocols in Multi-Threaded Message-Passing Systems
Dynamic software update is a technique by which a running program can be updated with new code and data without interrupting its execution. Often we will want to preserve properti...
Austin Anderson, Julian Rathke
ICFP
2001
ACM
15 years 9 months ago
Developing a Stage Lighting System from Scratch
Lula is a system for computer-assisted stage lighting design and control. Whereas other systems for the same purpose are usually the results of long chains of incremental improvem...
Michael Sperber
62
Voted
ZUM
1992
Springer
15 years 1 months ago
Specification in Fresco
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...
Alan Wills
FGCS
2000
96views more  FGCS 2000»
14 years 9 months ago
Logicflow execution model for parallel databases
The LOGFLOW parallel Prolog system is similar to the recent parallel database systems concerning its dataflow execution model and its capability of running on othing architectures...
Péter Kacsuk, Norbert Podhorszki
ICS
1999
Tsinghua U.
15 years 2 months ago
An experimental evaluation of tiling and shackling for memory hierarchy management
On modern computers, the performance of programs is often limited by memory latency rather than by processor cycle time. To reduce the impact of memory latency, the restructuring ...
Induprakas Kodukula, Keshav Pingali, Robert Cox, D...