Sciweavers

1580 search results - page 174 / 316
» CoTeSys - Cognition for Technical Systems
Sort
View
ECRTS
2002
IEEE
15 years 11 months ago
Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models
In today’s technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity o...
Raimund Kirner, Roland Lang, Gerald Freiberger, Pe...
ICALP
2010
Springer
15 years 11 months ago
Automata for Coalgebras: An Approach Using Predicate Liftings
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...
Gaëlle Fontaine, Raul Andres Leal, Yde Venema
SSD
2001
Springer
145views Database» more  SSD 2001»
15 years 11 months ago
Continuous Queries within an Architecture for Querying XML-Represented Moving Objects
The development of spatiotemporal database systems is primarily motivated by applications tracking and presenting mobile objects. Another important trend is the visualization and p...
Thomas Brinkhoff, Jürgen Weitkämper
EH
2000
IEEE
81views Hardware» more  EH 2000»
15 years 11 months ago
Toward Self-Repairing and Self-Replicating Hardware: The Embryonics Approach
The growth and operation of all living beings are directed by the interpretation, in each of their cells, of a chemical program, the DNA string or genome. This process is the sour...
Daniel Mange, Moshe Sipper, André Stauffer,...
HOTOS
1999
IEEE
15 years 10 months ago
A Case for Buffer Servers
Faster networks and cheaper storage have brought us to a point where I/O caching servers have an important role in the design of scalable, high-performance file systems. These int...
Darrell C. Anderson, Ken Yocum, Jeffrey S. Chase