Sciweavers

2958 search results - page 235 / 592
» Extending and Implementing RASP
Sort
View
DSOM
1999
Springer
14 years 3 months ago
A Framework for the Integration of Legacy Devices into a Jini Management Federation
The administration of heterogeneous networks with many devices is a tedious and time-consuming task. Today’s approaches only provide static configuration files and make the add...
Gerd Aschemann, Svetlana Domnitcheva, Peer Hasselm...
FLOPS
1999
Springer
14 years 3 months ago
Using Types as Approximations for Type Checking Prolog Programs
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...
Christoph Beierle, Gregor Meyer
VL
1999
IEEE
102views Visual Languages» more  VL 1999»
14 years 3 months ago
Visual Music in a Visual Programming Language
Sonnet was designed as a visual language for implementing real-time processes. Early design and development of behavioral components has largely focused on the domain of music pro...
Fred L. Collopy, Robert M. Fuhrer, David H. Jameso...
HASE
1998
IEEE
14 years 3 months ago
Incremental Development of a High Integrity Compiler: Experience from an Industrial Development
We have developed and successfully applied a technique to build a high integrity compiler from Pasp, a Pascal-like language, to Asp, the target language for a high integrity proce...
Susan Stepney
ICCAD
1998
IEEE
80views Hardware» more  ICCAD 1998»
14 years 3 months ago
On the optimization power of retiming and resynthesis transformations
Retiming and resynthesis transformations can be used for optimizing the area, power, and delay of sequential circuits. Even though this technique has been known for more than a de...
Rajeev K. Ranjan, Vigyan Singhal, Fabio Somenzi, R...