Sciweavers

2650 search results - page 180 / 530
» Simulation and Control of Reactive Systems
Sort
View
PAM
2004
Springer
15 years 9 months ago
Measurements and Laboratory Simulations of the Upper DNS Hierarchy
Given that the global DNS system, especially at the higher root and top-levels, experiences significant query loads, we seek to answer the following questions: (1) How does the ch...
Duane Wessels, Marina Fomenkov, Nevil Brownlee, Ki...
RTSS
1995
IEEE
15 years 7 months ago
Managing Contention and Timing Constraints in a Real-Time Database System
Previous work in real-time database management systems (RT-DBMS) has primarily based on simulation. This paper discusses how current real-time technology has been applied to archi...
Matthew R. Lehr, Young-Kuk Kim, Sang Hyuk Son
CDC
2008
IEEE
15 years 5 months ago
A general symmetry-preserving observer for aided attitude heading reference systems
We generalize several recent works on nonlinear observers for aided attitude heading reference systems: we propose a symmetry-preserving nonlinear observer which merges the most co...
Philippe Martin, Erwan Salaün
DATE
2008
IEEE
130views Hardware» more  DATE 2008»
15 years 5 months ago
A Dual-Priority Real-Time Multiprocessor System on FPGA for Automotive Applications
This paper presents the implementation of a dualpriority scheduling algorithm for real-time embedded systems on a shared memory multiprocessor on FPGA. The dual-priority microkern...
Antonino Tumeo, Marco Branca, Lorenzo Camerini, Ma...
SODA
2010
ACM
160views Algorithms» more  SODA 2010»
16 years 1 months ago
Solving Simple Stochastic Tail Games
Stochastic games are a natural model for open reactive processes: one player represents the controller and his opponent represents a hostile environment. The evolution of the syste...
Hugo Gimbert, Florian Horn