Sciweavers

3256 search results - page 237 / 652
» Integrated Environment for Embedded Control Systems Design
Sort
View
CODES
2008
IEEE
15 years 10 months ago
Static analysis of processor stall cycle aggregation
Processor Idle Cycle Aggregation (PICA) is a promising approach for low power execution of processors, in which small memory stalls are aggregated to create a large one, and the p...
Jongeun Lee, Aviral Shrivastava
RTCSA
1997
IEEE
15 years 8 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
CDC
2009
IEEE
121views Control Systems» more  CDC 2009»
15 years 2 months ago
Homogeneity in the bi-limit as a tool for observer and feedback design
Abstract-- We introduce an extension of the notion of homogeneous approximation to make it valid both at the origin and at infinity (homogeneity in the bi-limit). Exploiting this e...
Vincent Andrieu, Laurent Praly, Alessandro Astolfi
DATE
2006
IEEE
101views Hardware» more  DATE 2006»
15 years 10 months ago
Cooptimization of interface hardware and software for I/O controllers
The allocation of device variables on I/O registers affects the code size and performance of an I/O device driver. This work seeks the allocation with the minimal software or hard...
Kuan Jen Lin, Shih Hao Huang, Shan Chien Fang
MODELS
2009
Springer
15 years 10 months ago
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
Philippe Dhaussy, Pierre Yves Pillain, Stephen Cre...