Sciweavers

10899 search results - page 582 / 2180
» The GP Programming System
Sort
View
ERLANG
2004
ACM
16 years 18 days ago
Monitoring and state transparency of distributed systems
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...
Martin J. Logan
KBSE
2003
IEEE
16 years 13 days ago
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
Peter Bunus, Peter Fritzson
FM
2003
Springer
107views Formal Methods» more  FM 2003»
16 years 11 days ago
Verifying Emulation of Legacy Mission Computer Systems
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
Colin J. Fidge
PG
2002
IEEE
16 years 2 days ago
Lworld: An Animation System Based on Rewriting
Lworld is a computer graphics animation system based on L-systems, a parallel rewriting technique used primarily in computer graphics for plant modeling. Because rulebased program...
Hansrudi Noser
IWMM
1992
Springer
85views Hardware» more  IWMM 1992»
15 years 11 months ago
An Implementation of an Applicative File System
A purely functional le system has been built on top of pure Scheme. It provides persistent structures and massive storage expected of le systems, without explicit side-e ects like ...
Brian C. Heck, David S. Wise