Sciweavers

7112 search results - page 415 / 1423
» Power in normative systems
Sort
View
ICCAD
2010
IEEE
119views Hardware» more  ICCAD 2010»
15 years 4 months ago
Symbolic system level reliability analysis
Abstract--More and more embedded systems provide a multitude of services, implemented by a large number of networked hardware components. In early design phases, dimensioning such ...
Michael Glaß, Martin Lukasiewycz, Felix Reim...
ICSE
2009
IEEE-ACM
16 years 1 months ago
Using quantitative analysis to implement autonomic IT systems
The software underpinning today’s IT systems needs to adapt dynamically and predictably to rapid changes in system workload, environment and objectives. We describe a software f...
Radu Calinescu, Marta Z. Kwiatkowska
CDC
2008
IEEE
153views Control Systems» more  CDC 2008»
16 years 1 months ago
On cascades of bilinear systems and generating series of weighted Petri nets
— It has been established in the literature that the cascade interconnection of two bilinear systems does not in general produce another bilinear system. The goals of this paper ...
W. Steven Gray, Heber Herencia-Zapana, Luis August...
ISCAS
2008
IEEE
143views Hardware» more  ISCAS 2008»
16 years 1 months ago
A micropower front-end interface for differential-capacitive sensor systems
Abstract—This papers presents a front-end circuit for interfacing to differential capacitive sensors, including certain microelectromechanical systems (MEMS). The system combines...
Timothy G. Constandinou, Julius Georgiou, Chris To...
157
Voted
ISCC
2008
IEEE
110views Communications» more  ISCC 2008»
16 years 1 months ago
Model for polling in noisy multihop systems with application to PLC and AMR
The present paper presents a Markov Chain model of polling in noisy multi-hop systems typical of Power Line Communications (PLC) as well as of other systems. The model includes the...
Joseph M. Selga, Agustín Zaballos, Jaume Ab...