Sciweavers

14670 search results - page 2522 / 2934
» Designing interaction, not interfaces
Sort
View
ISCA
1995
IEEE
110views Hardware» more  ISCA 1995»
15 years 10 months ago
Instruction Cache Fetch Policies for Speculative Execution
Current trends in processor design are pointing to deeper and wider pipelines and superscalar architectures. The efficient use of these resources requires speculative execution, ...
Dennis Lee, Jean-Loup Baer, Brad Calder, Dirk Grun...
SIGGRAPH
1995
ACM
15 years 10 months ago
Motion signal processing
Techniques from the image and signal processing domain can be successfully applied to designing, modifying, and adapting animated motion. For this purpose, we introduce multiresol...
Armin Bruderlin, Lance Williams
TYPES
1995
Springer
15 years 10 months ago
A Natural Deduction Approach to Dynamic Logic
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
Furio Honsell, Marino Miculan
178
Voted
INFOCOM
1991
IEEE
15 years 10 months ago
A Neural Network Approach to Routing in Multihop Radio Networks
Although the issues of routing and scheduling in packet radio networks are highly interdependent, few studies have addressed their interactions. In this paper, we address the prob...
Jeffrey E. Wieselthier, Craig M. Barnhart, Anthony...
CBSE
2010
Springer
15 years 10 months ago
Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
Gwenaël Delaval, Éric Rutten
« Prev « First page 2522 / 2934 Last » Next »