Sciweavers

7430 search results - page 888 / 1486
» Programming Applications in CIFF
Sort
View
DAC
2005
ACM
15 years 9 months ago
Modular domain-specific implementation and exploration framework for embedded software platforms
This paper focuses on designing network processing software for embedded processors. Our design flow CRACC represents an efficient path to implementation based on a modular applic...
Christian Sauer, Matthias Gries, Sören Sonnta...
BCSHCI
2007
15 years 9 months ago
HCI 2.0?: usability meets web 2.0
The web has already dramatically changed society, but the web itself is changing. Web2.0 sites mean that users have become the producers of content and the designers of each other...
Alan J. Dix, Laura Cowen
IJCAI
2007
15 years 9 months ago
Reinforcement Learning of Local Shape in the Game of Go
We explore an application to the game of Go of a reinforcement learning approach based on a linear evaluation function and large numbers of binary features. This strategy has prov...
David Silver, Richard S. Sutton, Martin Mülle...
CDES
2006
118views Hardware» more  CDES 2006»
15 years 9 months ago
New DSP Benchmark based on Selectable Mode Vocoder (SMV)
Digital signal processing (DSP) industry has been growing rapidly over the past few years; it remains the technology driver for the recovering semiconductor industry. Performance ...
Erh-Wen Hu, Cyril Ku, Andrew Russo, Bogong Su, Jia...
FORTE
2003
15 years 9 months ago
Generation of All Counter-Examples for Push-Down Systems
We present a new, on-the-fly algorithm that given a push-down model representing a sequential program with (recursive) procedure calls and an extended finite-state automaton repr...
Samik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott ...