Sciweavers

1010 search results - page 58 / 202
» A Database Approach to Distributed State Space Generation
Sort
View
IADT
1998
148views more  IADT 1998»
15 years 7 months ago
A Tool for Content-Based Image Retrieval in Object-Oriented Databases
Conventional image processing algorithms used to compare images are very timeconsuming, making them inappropriate for use in searching for an image in a huge collection of images ...
Caetano Traina Jr., Agma J. M. Traina, Rildo R. do...
ICPADS
2006
IEEE
16 years 1 days ago
Parallel Leap: Large-Scale Maximal Pattern Mining in a Distributed Environment
When computationally feasible, mining extremely large databases produces tremendously large numbers of frequent patterns. In many cases, it is impractical to mine those datasets d...
Mohammad El-Hajj, Osmar R. Zaïane
CORR
2010
Springer
208views Education» more  CORR 2010»
15 years 6 months ago
Bounded Model Checking of Multi-threaded Software using SMT solvers
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
Lucas Cordeiro, Bernd Fischer 0002
IPPS
2003
IEEE
15 years 11 months ago
An Executable Analytical Performance Evaluation Approach for Early Performance Prediction
Percolation has recently been proposed as a key component of an advanced program execution model for future generation high-end machines featuring adaptive data/code transformatio...
Adeline Jacquet, Vincent Janot, Clement Leung, Gua...
PTS
2008
100views Hardware» more  PTS 2008»
15 years 7 months ago
Model-Based Generation of Testbeds for Web Services
Abstract. A Web Service is commonly not an independent software entity, but plays a role in some business process. Hence, it depends on the services provided by external Web Servic...
Antonia Bertolino, Guglielmo De Angelis, Lars Fran...