Sciweavers

5472 search results - page 792 / 1095
» Stochastic Mechanism Design
Sort
View
VLSID
2003
IEEE
110views VLSI» more  VLSID 2003»
16 years 7 months ago
A New Reactive Processor with Architectural Support for Control Dominated Embedded Systems
Control dominated embedded systems have to be designed for fast reaction to asynchronous external events occurring in the environment. Such systems must be able to perform signal ...
Partha S. Roop, Zoran A. Salcic, Morteza Biglari-A...
HPCA
2005
IEEE
16 years 7 months ago
Scatter-Add in Data Parallel Architectures
Many important applications exhibit large amounts of data parallelism, and modern computer systems are designed to take advantage of it. While much of the computation in the multi...
Jung Ho Ahn, Mattan Erez, William J. Dally
CHI
2004
ACM
16 years 7 months ago
Multiblending: displaying overlapping windows simultaneously without the drawbacks of alpha blending
Alpha blending allows the simultaneous display of overlapping windows--such as palette windows in visual workspaces. Although alpha blending has been used in some applications, su...
Patrick Baudisch, Carl Gutwin
POPL
2008
ACM
16 years 7 months ago
Formal verification of translation validators: a case study on instruction scheduling optimizations
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
Jean-Baptiste Tristan, Xavier Leroy
RECOMB
2006
Springer
16 years 7 months ago
De Novo Signaling Pathway Predictions Based on Protein-Protein Interaction, Targeted Therapy and Protein Microarray Analysis
Abstract. Mapping intra-cellular signaling networks is a critical step in developing an understanding of and treatments for many devastating diseases. The predominant ways of disco...
Derek A. Ruths, Jen-Te Tseng, Luay Nakhleh, Prahla...