1363 search results - page 37 / 273 » On some Relations between Dynamical Systems and Transition S... |
125
Voted
ECRTS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents a general framework for analyzing and designing embedded systems with energy and timing requirements. A set of realistic assumptions is considered in the model...
107
Voted
ISCA
2012
IEEE
13 years 3 days ago
2012
IEEE
Chip multiprocessors enable continued performance scaling with increasingly many cores per chip. As the throughput of computation outpaces available memory bandwidth, however, the...
AUTOMATICA
2008
14 years 9 months ago
2008
This paper studies a general dynamic buffer management problem with one buffer inserted between two interacting components. The component to be controlled is assumed to have multi...
CORR
2006
Springer
14 years 9 months ago
2006
Springer
: This document gives an algebraic and two polygraphic translations of Petri nets, all three providing an easier way to describe reductions and to identify some of them. The first ...
DBPL
1997
Springer
15 years 1 months ago
1997
Springer
We examine the power of incremental evaluation systems that use an SQL-like language for maintaining recursively-de ned views. We show that recursive queries such as transitive clo...