Sciweavers

734 search results - page 25 / 147
» Narrowing the Narrowing Space
Sort
View
RSP
2003
IEEE
103views Control Systems» more  RSP 2003»
14 years 2 months ago
An Instruction Throughput Model of Superscalar Processors
With advances in semiconductor technology, processors are becoming larger and more complex. Future processor designers will face an enormous design space, and must evaluate more a...
Tarek M. Taha, D. Scott Wills
IFL
2004
Springer
14 years 2 months ago
A Virtual Machine for Functional Logic Computations
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P....
DAC
1996
ACM
14 years 1 months ago
Innovative Verification Strategy Reduces Design Cycle Time for High-End Sparc Processor
Superscalar processor developers are creatively leveraging best-in-class design verification tools to meet narrow market windows. Accelerated simulation is especially useful owing...
Val Popescu, Bill McNamara
USS
2008
13 years 11 months ago
Panic Passwords: Authenticating under Duress
Panic passwords allow a user to signal duress during authentication. We show that the well-known model of giving a user two passwords, a `regular' and a `panic' password...
Jeremy Clark, Urs Hengartner
AUTOMATICA
2006
86views more  AUTOMATICA 2006»
13 years 9 months ago
Averaging of nonsmooth systems using dither
It was shown by Zames and Shneydor and later by Mossaheb that a high-frequency dither signal of a quite arbitrary shape can be used to narrow the effective nonlinear sector of Lip...
Luigi Iannelli, Karl Henrik Johansson, Ulf T. J&ou...