Sciweavers

9842 search results - page 556 / 1969
» Compositional timing analysis
Sort
View
DAC
2006
ACM
16 years 8 months ago
Charge recycling in MTCMOS circuits: concept and analysis
Designing an energy efficient power gating structure is an important and challenging task in Multi-Threshold CMOS (MTCMOS) circuit design. In order to achieve a very low power des...
Ehsan Pakbaznia, Farzan Fallah, Massoud Pedram
CSSE
2008
IEEE
16 years 1 months ago
Analysis of the Virtual Enterprise Partner Selection Based on Multi-agent System
: Today, virtual enterprise is regarded as the most competitive management model of enterprises that faces the resource of the globe. This paper proposed an instructor of remote ma...
Zunqi Yang, Hai Lin
ICSEA
2008
IEEE
16 years 1 months ago
Analysis of a Distributed e-Voting System Architecture against Quality of Service Requirements
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
AIMS
2008
Springer
16 years 1 months ago
Dynamic Consistency Analysis for Convergent Operators
It has been shown that sets of convergent operators with a shared fixed point can simulate autonomic control mechanisms, but many questions remain about this management technique....
Alva L. Couch, Marc Chiarini
ICNSC
2007
IEEE
16 years 1 months ago
Analysis of a Simple Feedback Scheme for Error Correction over a Lossy Network
Abstract— In time varying packet-switched networks, delivering data with high reliability using a limited amount of network resources is highly desirable. To capture the trade-of...
Oscar Flardh, Carlo Fischione, Karl Henrik Johanss...