4418 search results - page 718 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
158
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
This paper presents a novel compiler for Esterel, a concurrent synchronous imperative language. It generates fast, small object code by compiling away concurrency, producing a sin...
177
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Using on-chip interconnection networks in place of ad-hoc global wiring structures the top level wires on a chip and facilitates modular design. With this approach, system modules...
167
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...
151
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
The idea of smart shelves or tables equipped with RFID technology has been around for some time now. There already are commercial products available, especially for retailing. All...
155
click to vote
WIAMIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Computer vision systems for human-computer interaction have tended towards more precise forms of interface that require complex vision tasks such as segmentation, tracking, object...