Sciweavers

5964 search results - page 97 / 1193
» A theory of speculative computation
Sort
View
ISSS
2002
IEEE
103views Hardware» more  ISSS 2002»
15 years 9 months ago
A Symbolic Approach for the Combined Solution of Scheduling and Allocation
Scheduling is widely recognized as a very important step in highlevel synthesis. Nevertheless, it is usually done without taking into account the effects on the actual hardware im...
Luciano Lavagno, Mihai T. Lazarescu, Stefano Quer,...

Book
1709views
17 years 1 months ago
The Theory and Technique of Electronic Music
"This is a book about using electronic techniques to record, synthesize, process, and analyze musical sounds, a practice which came into its modern form in the years 1948-19...
Miller Puckette
IPPS
2003
IEEE
15 years 9 months ago
Towards a Theory of Bisimulation for a Fragment of Verilog
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
Li Yongjian, Jifeng He
CHI
2007
ACM
16 years 5 months ago
Tangible user interfaces in context and theory
Tangible User Interface (TUI) research has become increasingly widespread over the past 25 years. It is an essential component of Ubiquitous Computing and Augmented Reality resear...
Alan F. Blackwell, George W. Fitzmaurice, Lars Eri...
ECBS
2005
IEEE
101views Hardware» more  ECBS 2005»
15 years 10 months ago
Self-Managing Systems: A Control Theory Foundation
The high cost of operating large computing installations has motivated a broad interest in reducing the need for human intervention by making systems self-managing. This paper exp...
Yixin Diao, Joseph L. Hellerstein, Sujay S. Parekh...