Sciweavers

3565 search results - page 291 / 713
» Modeling a system controller for timing analysis
Sort
View
SAS
2009
Springer
281views Formal Methods» more  SAS 2009»
16 years 5 months ago
A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination
The Java programming language requires that out-of-bounds array accesses produce runtime exceptions. In general, this requires a dynamic bounds check each time an array element is...
David Niedzielski, Jeffery von Ronne, Andreas Gamp...
CDC
2010
IEEE
117views Control Systems» more  CDC 2010»
14 years 11 months ago
Feed forward initialization of hysteretic systems
Abstract-- The paper analyzes a strategy to force stepconvergent dynamical hysteretic systems to a well-defined output value using only feed forward. Due to the multi-valued input-...
Patrick J. van Bree, C. M. M. van Lierop, P. P. J....
ATAL
2009
Springer
15 years 11 months ago
Graph-based methods for the analysis of large-scale multiagent systems
Multiagent systems are often characterized by complex, and sometimes unpredictable interactions amongst their autonomous components. While these systems can provide robust and sca...
Wilbur Peng, William Krueger, Alexander Grushin, P...
HICSS
2007
IEEE
100views Biometrics» more  HICSS 2007»
15 years 10 months ago
Performance Analysis of a Middleware Demultiplexing Pattern
A key enabler of the recently adopted, assemblycentric development approach for distributed real-time software systems is QoS-enabled middleware, which provides reusable building ...
U. Praphamontripong, Swapna S. Gokhale, Aniruddha ...
RTSS
2005
IEEE
15 years 10 months ago
Multi-Granularity Resource Reservations
Resource reservation has been recently supported by many real-time operating systems to provide applications with guaranteed and timely access to system resources. Typically, rese...
Saowanee Saewong, Ragunathan Rajkumar