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,...
"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...
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...
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...
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...