5451 search results - page 732 / 1091 » Typed Operational Semantics |
133
click to vote
VLSID
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper presents a novel custom-reconfigurable architecture, which is tailored to accomplish the electronic circuits associated with MEMS vibratory sensors. The paradigm of thi...
178
click to vote
HPCA
2004
IEEE
16 years 7 months ago
2004
IEEE
Many current programmable architectures designed to exploit data parallelism require computation to be structured to operate on sequentially accessed vectors or streams of data. A...
196
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
We describe the design and implementation of a higher-order tabled logic programming interpreter where some redundant and infinite computation is eliminated by memoizing sub-comput...
162
Voted
SIGMOD
2002
ACM
16 years 6 months ago
2002
ACM
Spatial indexing has been one of the active focus areas in recent database research. Several variants of Quadtree and R-tree indexes have been proposed in database literature. In ...
200
click to vote
ICIAP
2007
ACM
16 years 6 months ago
2007
ACM
Research in visual surveillance systems is shifting from using few stationary, passive cameras to employing large heterogeneous sensor networks. One promising type of sensor in pa...