Sciweavers

1040 search results - page 90 / 208
» Resource Usage Verification
Sort
View
FPL
1997
Springer
75views Hardware» more  FPL 1997»
15 years 7 months ago
Thermal monitoring on FPGAs using ring-oscillators
In this paper, a temperature-to-frequency transducer suitable for thermal monitoring on FPGAs is presented. The dependence between delay and temperature is used to produce a freque...
Eduardo I. Boemo, Sergio López-Buedo
CSE
2009
IEEE
15 years 29 days ago
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...
Michele Barletta, Silvio Ranise, Luca Viganò...
118
Voted
CORR
2010
Springer
91views Education» more  CORR 2010»
15 years 3 months ago
Verifiable Network-Performance Measurements
In the current Internet, there is no clean way for affected parties to react to poor forwarding performance: to detect and assess Service Level Agreement (SLA) violations by a con...
Katerina J. Argyraki, Petros Maniatis, Ankit Singl...
ICIP
2001
IEEE
16 years 4 months ago
Embedded multiple description coding for progressive image transmission over unreliable channels
A multiple description scalar quantization (MDSQ) based coding system can be regarded as a source coder (quantizer) followed by a channel coder, i.e. the combination of index and ...
Christine Guillemot, Stéphane Pateux, Thoma...
DAC
2003
ACM
16 years 4 months ago
Power grid reduction based on algebraic multigrid principles
With the scaling of technology, power grid noise is becoming increasingly significant for circuit performance. A typical power grid circuit contains millions of linear elements, m...
Haihua Su, Emrah Acar, Sani R. Nassif