Sciweavers

6274 search results - page 323 / 1255
» Proofs, Programs, Processes
Sort
View
ASAP
1997
IEEE
144views Hardware» more  ASAP 1997»
15 years 11 months ago
Automatic data mapping of signal processing applications
This paper presents a technique to map automatically a complete digital signal processing (DSP) application onto a parallel machine with distributed memory. Unlike other applicati...
Corinne Ancourt, Denis Barthou, Christophe Guettie...
ASWEC
2004
IEEE
15 years 10 months ago
Knowledge Management in Software Engineering - Describing the Process
The management of knowledge and experience are key means by which systematic software development and process improvement occur. Within the domain of Software Engineering (SE), qu...
James Ward, Aybüke Aurum
BPM
2008
Springer
155views Business» more  BPM 2008»
15 years 8 months ago
The Refined Process Structure Tree
Abstract. We consider workflow graphs as a model for the control flow of a business process model and study the problem of workflow graph parsing, i.e., finding the structure of a ...
Jussi Vanhatalo, Hagen Völzer, Jana Koehler
DGO
2006
113views Education» more  DGO 2006»
15 years 8 months ago
Progress in language processing technology for electronic rulemaking
In this project, we are developing new text processing tools that help people perform advanced analysis of large collections of text commentary. This problem is increasingly faced...
Stuart W. Shulman, Eduard H. Hovy, Jamie Callan, S...
SBBD
2003
101views Database» more  SBBD 2003»
15 years 8 months ago
Cherry Picking: A Semantic Query Processing Strategy for the Evaluation of Expensive Predicates
A common requirement of many scientific applications is the ability to process queries involving expensive predicates corresponding to user programs. Optimizing such queries is ha...
Fabio Porto, Eduardo Sany Laber, Patrick Valduriez