Sciweavers

5312 search results - page 800 / 1063
» Business Process Management Systems
Sort
View
CF
2009
ACM
16 years 1 months ago
Scheduling dynamic parallelism on accelerators
Resource management on accelerator based systems is complicated by the disjoint nature of the main CPU and accelerator, which involves separate memory hierarhcies, different degr...
Filip Blagojevic, Costin Iancu, Katherine A. Yelic...
ESAW
2009
Springer
16 years 1 months ago
Programming Organization-Aware Agents
Organizational notions such as roles, norms (e.g., obligations and permissions), and services are increasingly viewed as natural concepts to manage the complexity of software devel...
M. Birna van Riemsdijk, Koen V. Hindriks, Catholij...
FM
2009
Springer
104views Formal Methods» more  FM 2009»
16 years 1 months ago
A Metric Encoding for Bounded Model Checking
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
Matteo Pradella, Angelo Morzenti, Pierluigi San Pi...
DOLAP
2009
ACM
16 years 1 months ago
Query recommendations for OLAP discovery driven analysis
Recommending database queries is an emerging and promising field of investigation. This is of particular interest in the domain of OLAP systems where the user is left with the te...
Arnaud Giacometti, Patrick Marcel, Elsa Negre, Arn...
ICDE
2007
IEEE
121views Database» more  ICDE 2007»
16 years 25 days ago
dmFSQL: a Server for Data Mining
At present, we have proceeded to extend SQL into a new language called dmFSQL (data mining Fuzzy Structured Query Language) which can be used to solve real problems of Data Mining...
Ramón Alberto Carrasco, María Amparo...