4770 search results - page 511 / 954 » Using System-on-a-Programmable-Chip Technology to Design Emb... |
181
click to vote
WOTUG
2007
15 years 8 months ago
2007
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
170
click to vote
PSYCHNOLOGY
2006
15 years 7 months ago
2006
Most of the Virtual Environments (VE) currently available in the field of psychological treatments are designed to solve a specific problem (acrophobia, flying phobia, claustropho...
200
click to vote
CIKM
2008
Springer
15 years 9 months ago
2008
Springer
We propose a new method to build persistent suffix trees for indexing the genomic data. Our algorithm DiGeST (Disk-Based Genomic Suffix Tree) improves significantly over previous ...
274
click to vote
IRCDL
2008
15 years 9 months ago
2008
In this paper we present a prototype system to enrich audiovisual contents with annotations, which exploits existing technologies for automatic extraction of metadata (such as OCR...
236
click to vote
HT
2004
ACM
16 years 29 days ago
2004
ACM
In this paper, we present a model-driven methodology and toolset for automatic generation of hypertext system repositories. Our code generator, called Bamboo, is based on a Contai...