Sciweavers

1421 search results - page 150 / 285
» Satisfying KBO Constraints
Sort
View
CSFW
2007
IEEE
16 years 1 months ago
The Insecurity Problem: Tackling Unbounded Data
In this paper we focus on tackling the insecurity problem of security protocols in the presence of an unbounded number of data such as nonces or session keys. First, we pinpoint f...
Sibylle B. Fröschle
IESS
2007
Springer
156views Hardware» more  IESS 2007»
16 years 1 months ago
Automatic Data Path Generation from C code for Custom Processors
The stringent performance constraints and short time to market of modern digital systems require automatic methods for design of high performance applicationspecific architectures...
Jelena Trajkovic, Daniel Gajski
CODES
2006
IEEE
16 years 1 months ago
Hardware based frequency/voltage control of voltage frequency island systems
The ability to do fine grain power management via local voltage selection has shown much promise via the use of Voltage/ Frequency Islands (VFIs). VFI-based designs combine the a...
Puru Choudhary, Diana Marculescu
191
Voted
GLOBECOM
2006
IEEE
16 years 1 months ago
Hierarchical Iterative Algorithm for a Coupled Constrained OSNR Nash Game
— This paper develops a hierarchical iterative OSNR algorithm based on a game theory framework. A Nash game is formulated between channels with channel utility related to maximiz...
Lacra Pavel
189
Voted
INFOCOM
2005
IEEE
16 years 21 days ago
A calculus approach to minimum energy transmission policies with quality of service guarantees
— We consider a queueing system with controllable service rate; for example, a transmitter whose rate can be controlled by varying the transmission power. For such a system we ob...
Murtaza Zafer, Eytan Modiano