Sciweavers

279 search results - page 17 / 56
» The Rise and Rise of Citation Analysis
Sort
View
IEICET
2010
82views more  IEICET 2010»
14 years 8 months ago
Prediction of Self-Heating in Short Intra-Block Wires
This paper predicts self-heating effect in a short intrablock wire will arise as a design issue with technology scaling. The short intra-block wires are close to the substrate an...
Kenichi Shinkai, Masanori Hashimoto, Takao Onoye
TCBB
2010
137views more  TCBB 2010»
14 years 8 months ago
Alignments of RNA Structures
— We describe a theoretical unifying framework to express comparison of RNA structures, which we call alignment hierarchy. This framework relies on the definition of common supe...
Guillaume Blin, Alain Denise, Serge Dulucq, Claire...
SOFSEM
2010
Springer
14 years 8 months ago
Forcing Monotonicity in Parameterized Verification: From Multisets to Words
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
Parosh Aziz Abdulla
ICUMT
2009
14 years 7 months ago
Towards real implementations of dynamic robust routing exploiting path diversity
In this paper we compare the performance of tree different dynamic traffic engineering algorithms exploiting path diversity in the Internet, TEXCP, TRUMP and MIRTO. We passed throu...
Luca Muscariello, Diego Perino, Bruno Nardelli
EUROCRYPT
2009
Springer
15 years 10 months ago
A Unified Framework for the Analysis of Side-Channel Key Recovery Attacks
The fair evaluation and comparison of side-channel attacks and countermeasures has been a long standing open question, limiting further developments in the field. Motivated by this...
François-Xavier Standaert, Moti Yung, Tal M...