Sciweavers

4722 search results - page 567 / 945
» Encoding Program Executions
Sort
View
LCTRTS
2001
Springer
15 years 9 months ago
Embedded Control Systems Development with Giotto
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...
FCCM
2000
IEEE
133views VLSI» more  FCCM 2000»
15 years 9 months ago
Configuration Caching Management Techniques for Reconfigurable Computing
Although run-time reconfigurable systems have been shown to achieve very high performance, the speedups over traditional microprocessor systems are limited by the cost of configur...
Zhiyuan Li, Katherine Compton, Scott Hauck
129
Voted
ECOOP
1999
Springer
15 years 8 months ago
Synthesizing Objects
This paper argues that the current OO technology does not support reuse and configurability in an effective way. This problem can be addressed by augmenting OO analysis and design ...
Krzysztof Czarnecki, Ulrich W. Eisenecker
126
Voted
ECBS
1997
IEEE
118views Hardware» more  ECBS 1997»
15 years 8 months ago
A generic system for interactive real-time animation
We present a new approach to an interactive design and analysis environment for visual languages. The main components, i.e., editor, animator, and interpreter, are introduced. The...
Marita Dücker, Georg Lehrenfeld, Wolfgang M&u...
SIGADA
1998
Springer
15 years 8 months ago
The Rendezvous is Dead - Long Live the Protected Object
This paper outlines the short-comings of rendezvous and the advantages of protected objects as a means of synchronization in Ada 95. A common Ada benchmark suite, ACES, gives the ...
Dragan Macos, Frank Mueller