Sciweavers

2624 search results - page 48 / 525
» The 2LIP model and its implementations
Sort
View
PDP
2009
IEEE
14 years 4 months ago
A Parallel Implementation of the 2D Wavelet Transform Using CUDA
There is a multicore platform that is currently concentrating an enormous attention due to its tremendous potential in terms of sustained performance: the NVIDIA Tesla boards. The...
Joaquín Franco, Gregorio Bernabé, Ju...
ISPA
2005
Springer
14 years 3 months ago
OWL2Jess: A Transformational Implementation of the OWL Semantics
The wide scale usage of OWL for the formalization of real-world ontologies is currently influenced by important limitations which concern both its expressivity and the efficiency ...
Jing Mei, Elena Paslaru Bontas, Zuoquan Lin
ISASSCI
2001
13 years 11 months ago
Metadata Driven Data Transformation
The bottleneck of a data warehouse implementation is the ETL (extraction, transformation, and load) process, which carries out the initial population of the data warehouse and its...
Petr Aubrecht, Zdenek Kouba
BPM
2007
Springer
165views Business» more  BPM 2007»
14 years 1 months ago
Modeling Requirements for Value Configuration Design
Breadth and depth complexity are key challenges in achieving business process fusion as the enabler for value configuration design. The PARM framework is proposed as the requiremen...
Eng Chew, Igor Hawryszkiewycz, Michael Soanes
ENTCS
2006
112views more  ENTCS 2006»
13 years 9 months ago
Model Checking Linear Programs with Arrays
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...
Alessandro Armando, Massimo Benerecetti, Jacopo Ma...