Sciweavers

3725 search results - page 320 / 745
» DLP System Description
Sort
View
DATE
2009
IEEE
171views Hardware» more  DATE 2009»
16 years 1 months ago
Automatic generation of streaming datapaths for arbitrary fixed permutations
Abstract—This paper presents a technique to perform arbitrary fixed permutations on streaming data. We describe a parameterized architecture that takes as input n data points st...
Peter A. Milder, James C. Hoe, Markus Püschel
ICMCS
2007
IEEE
141views Multimedia» more  ICMCS 2007»
16 years 1 months ago
Scene Recognition with Camera Phones for Tourist Information Access
Camera phones present new opportunities and challenges for mobile informationassociation and retrieval. The visual input in the real environment is a new and rich interaction moda...
Joo-Hwee Lim, Yiqun Li, Yilun You, Jean-Pierre Che...
ATVA
2007
Springer
226views Hardware» more  ATVA 2007»
16 years 28 days ago
Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
David Walter, Scott Little, Chris J. Myers
MTSR
2007
Springer
16 years 27 days ago
Creating and Querying an Integrated Ontology for Molecular and Phenotypic Cereals Data
In this paper we describe the development of an ontology of molecular and phenotypic cereals data, realized by integrating existing public web databases with the database developed...
Sonia Bergamaschi, Antonio Sala 0002
MSS
2005
IEEE
149views Hardware» more  MSS 2005»
16 years 10 days ago
Communicating Quality of Service Requirements to an Object-Based Storage Device
Obtaining consistent bandwidth with predictable latency from disk-based storage systems has proven difficult due to the storage system’s inability to understand Quality of Serv...
Kevin KleinOsowski, Thomas Ruwart, David J. Lilja