Sciweavers

3056 search results - page 523 / 612
» Compiling Embedded Languages
Sort
View
VLSID
2003
IEEE
253views VLSI» more  VLSID 2003»
16 years 5 months ago
High Level Synthesis from Sim-nML Processor Models
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...
Souvik Basu, Rajat Moona
138
Voted
CHI
2002
ACM
16 years 5 months ago
Informing automatic generation of remote control interfaces with human designs
Embedded processors are making it possible for common appliances, such as cable boxes, microwaves and fax machines, to provide even more functionality. Unfortunately, as these app...
Jeffrey Nichols
SIGMOD
2004
ACM
128views Database» more  SIGMOD 2004»
16 years 4 months ago
A TeXQuery-Based XML Full-Text Search Engine
We demonstrate an XML full-text search engine that implements the TeXQuery language. TeXQuery is a powerful fulltext search extension to XQuery that provides a rich set of fully c...
Chavdar Botev, Jayavel Shanmugasundaram, Sihem Ame...
PERCOM
2009
ACM
15 years 11 months ago
Opening Pervasive Computing to the Masses Using the SEAP Middleware
— The increasing availability of sensing devices has made the possibility of context-aware pervasive computing applications real. However, constructing this software requires ext...
Seth Holloway, Drew Stovall, Jorge Lara-Garduno, C...
HYBRID
2009
Springer
15 years 11 months ago
Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
Patrick Martin, Magnus Egerstedt