Sciweavers

4902 search results - page 211 / 981
» Multi-agent Systems Methodology
Sort
View
DAC
1999
ACM
16 years 6 months ago
Cycle-Accurate Simulation of Energy Consumption in Embedded Systems
This paper presents a methodology for cycle-accurate simulation of energy dissipation in embedded systems. The ARM Ltd. 1 instruction-level cycle-accurate simulator is extended wi...
Tajana Simunic, Luca Benini, Giovanni De Micheli
86
Voted
ITC
2003
IEEE
115views Hardware» more  ITC 2003»
15 years 10 months ago
Towards Structural Testing of Superconductor Electronics
Many of the semiconductor technologies are already facing limitations while new-generation data and telecommunication systems are implemented. Although in its infancy, superconduc...
Arun A. Joseph, Hans G. Kerkhoff
SIGMETRICS
2002
ACM
142views Hardware» more  SIGMETRICS 2002»
15 years 4 months ago
Exact aggregate solutions for M/G/1-type Markov processes
We introduce a new methodology for the exact analysis of M/G/1-type Markov processes. The methodology uses basic, well-known results for Markov chains by exploiting the structure ...
Alma Riska, Evgenia Smirni
SMC
2007
IEEE
15 years 11 months ago
Network security project management: a security policy-based approach
— Managing security projects is a delicate activity due to the evolution of attacks. In this paper, we develop a new methodology for estimating security effort based on algebraic...
Jihène Krichène, Noureddine Boudriga
CRYPTO
2012
Springer
215views Cryptology» more  CRYPTO 2012»
13 years 7 months ago
New Proof Methods for Attribute-Based Encryption: Achieving Full Security through Selective Techniques
We develop a new methodology for utilizing the prior techniques to prove selective security for functional encryption systems as a direct ingredient in devising proofs of full sec...
Allison B. Lewko, Brent Waters