Sciweavers

1636 search results - page 169 / 328
» InfoPad - An Experiment in System Level Design and Integrati...
Sort
View
ARCS
2006
Springer
15 years 10 months ago
Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
Péter Domokos, István Majzik
IWMM
2009
Springer
125views Hardware» more  IWMM 2009»
16 years 1 months ago
Precise garbage collection for C
Magpie is a source-to-source transformation for C programs that enables precise garbage collection, where precise means that integers are not confused with pointers, and the liven...
Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt
ECML
1997
Springer
15 years 10 months ago
Ibots Learn Genuine Team Solutions
\Ibots" (Integrating roBOTS) is a computer experiment in group learning. It is designed to understand how to use reinforcement learning to program automatically a team of robo...
Cristina Versino, Luca Maria Gambardella
DICS
2006
15 years 10 months ago
Autonomic Computing for Virtual Laboratories
Virtual laboratories can be characterized by their long-lasting, large-scale computations, where a collection of heterogeneous tools is integrated into data processing pipelines. S...
Cesare Pautasso, Win Bausch, Gustavo Alonso
HT
1997
ACM
15 years 10 months ago
Workspaces: The HyperDisco Approach to Internet Distribution
Hypermedia concepts are currently being deployed in a variety of information systems such as the World Wide Web, software development environments, large engineering enterprises, ...
Uffe Kock Wiil, John J. Leggett