Sciweavers

4166 search results - page 509 / 834
» Automating the constraining process
Sort
View
GIS
2009
ACM
15 years 9 months ago
Multimedia traffic information in vehicular networks
In this paper we consider a novel multimedia application, in which drivers may query multimedia clips captured by smartphones mounted on other vehicles. These multimedia clips vis...
Ouri Wolfson, Bo Xu, Hyung Ju Cho
ICCAD
2000
IEEE
124views Hardware» more  ICCAD 2000»
15 years 9 months ago
A Methodology for Verifying Memory Access Protocols in Behavioral Synthesis
— Memory is one of the most important components to be optimized in the several phases of the synthesis process. ioral synthesis, a memory is viewed as an abstract construct whic...
Gernot Koch, Taewhan Kim, Reiner Genevriere
IUI
2000
ACM
15 years 9 months ago
Requirements elicitation for an intelligent software test environment for the physically challenged
This paper is about the elicitation of the requirements for an intelligent interface for a software test development environment that will accommodate the physically challenged (P...
Warren Moseley
RSP
1999
IEEE
160views Control Systems» more  RSP 1999»
15 years 9 months ago
Mixed Abstraction Level Hardware Synthesis from SDL for Rapid Prototyping
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
Oliver Bringmann, Wolfgang Rosenstiel, Annette Mut...
HIPC
1999
Springer
15 years 9 months ago
High Performance Data Mining
Abstract. Recent times have seen an explosive growth in the availability of various kinds of data. It has resulted in an unprecedented opportunity to develop automated data-driven ...
Vipin Kumar, Jaideep Srivastava