Sciweavers

2670 search results - page 269 / 534
» Modeling systems with internal state using evolino
Sort
View
DAC
2000
ACM
16 years 7 months ago
Formal verification of iterative algorithms in microprocessors
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
Mark Aagaard, Robert B. Jones, Roope Kaivola, Kath...
IPPS
2007
IEEE
16 years 26 days ago
Adaptive Distributed Database Replication Through Colonies of Pogo Ants
We address the problem of optimizing the distribution of partially replicated databases over a computer network. Replication is used to increase data availability in the presence ...
Sarah Abdul-Wahid, Razvan Andonie, Joseph Lemley, ...
ECAL
1995
Springer
15 years 10 months ago
Elements of a Theory of Simulation
Arti cial Life and the more general area of Complex Systems does not have a uni ed theoretical framework although most theoretical work in these areas is based on simulation. This ...
Steen Rasmussen, Christopher L. Barrett
CDC
2009
IEEE
106views Control Systems» more  CDC 2009»
15 years 11 months ago
Gradient methods for iterative distributed control synthesis
— In this paper we present a gradient method to iteratively update local controllers of a distributed linear system driven by stochastic disturbances. The control objective is to...
Karl Martensson, Anders Rantzer
CIDU
2010
15 years 4 months ago
Complex Networks In Climate Science: Progress, Opportunities And Challenges
Networks have been used to describe and model a wide range of complex systems, both natural as well as man-made. One particularly interesting application in the earth sciences is t...
Karsten Steinhaeuser, Nitesh V. Chawla, Auroop R. ...