Sciweavers

4299 search results - page 381 / 860
» Concurrent Test Generation
Sort
View
VLDB
2004
ACM
203views Database» more  VLDB 2004»
15 years 10 months ago
PLACE: A Query Processor for Handling Real-time Spatio-temporal Data Streams
The emergence of location-aware services calls for new real-time spatio-temporal query processing algorithms that deal with large numbers of mobile objects and queries. In this de...
Mohamed F. Mokbel, Xiaopeng Xiong, Walid G. Aref, ...
119
Voted
DATE
2002
IEEE
94views Hardware» more  DATE 2002»
15 years 10 months ago
Problems Due to Open Faults in the Interconnections of Self-Checking Data-Paths
In this work, the problem of open faults affecting the interconnections of SC circuits composed by data-path and control is analyzed. In particular, it is shown that, in case open...
Michele Favalli, Cecilia Metra
FPL
2009
Springer
115views Hardware» more  FPL 2009»
15 years 9 months ago
Recursion in reconfigurable computing: A survey of implementation approaches
Reconfigurable systems are widely used nowadays to increase performance of computationally intensive applications. There exist a lot of synthesis tools that automatically generate...
Iouliia Skliarova, Valery Sklyarov
EUROMICRO
2000
IEEE
15 years 9 months ago
Behavioral Specification of a Circuit Using SyncCharts: A Case Study
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
Charles André, Marie-Agnès Peraldi-F...
125
Voted
DAC
1999
ACM
15 years 9 months ago
On ILP Formulations for Built-In Self-Testable Data Path Synthesis
In this paper, we present a new method to the built-in selftestable data path synthesis based on integer linear programming (ILP). Our method performs system register assignment, ...
Han Bin Kim, Dong Sam Ha, Takeshi Takahashi