Sciweavers

2713 search results - page 75 / 543
» Parameterized Tree Systems
Sort
View
ASAP
1996
IEEE
90views Hardware» more  ASAP 1996»
15 years 5 months ago
Hierarchical Static Analysis Of Structured Systems Of Affine Recurrence Equations
The Alpha language, based on systems of affine recurrence equations over polyhedral domains, allows the expression of complex algorithms as hierarchical, parameterized structures ...
Florent de Dinechin, Sophie Robert
83
Voted
CDC
2008
IEEE
128views Control Systems» more  CDC 2008»
15 years 7 months ago
An LMI framework for analysis and design of multi-dimensional haptic systems
— This paper introduces a convenient framework based on passivity and Linear Matrix Inequalities (LMIs) for stability analysis and controller design for haptic systems involving ...
Gianni Bianchini, Marcello Orlandesi, Domenico Pra...
100
Voted
WCRE
1999
IEEE
15 years 5 months ago
Partial Redesign of Java Software Systems Based on Clone Analysis
Code duplication, plausibly caused by copying source code and slightly modifying it, is often observed in large systems. Clone detection and documentation have been investigated b...
Magdalena Balazinska, Ettore Merlo, Michel Dagenai...
103
Voted
CORR
2008
Springer
104views Education» more  CORR 2008»
15 years 26 days ago
Policies of System Level Pipeline Modeling
Pipelining is a well understood and often used implementation technique for increasing the performance of a hardware system. We develop several SystemC/C++ modeling techniques tha...
Edwin A. Harcourt
115
Voted
ETFA
2006
IEEE
15 years 6 months ago
Robust Fault Isolation Filter Design for Networked Control Systems
In this paper, the effect of network-induced delay introduced into the control loop is modelled as time-varying disturbance. Based on this model, a fault isolation filter (FIF) f...
Shanbin Li, Dominique Sauter, Christophe Aubrun