Sciweavers

150 search results - page 3 / 30
» Synthesis of Optimal Workflow Structure
Sort
View
101
Voted
DATE
2010
IEEE
163views Hardware» more  DATE 2010»
15 years 6 months ago
Optimizing equivalence checking for behavioral synthesis
Abstract—Behavioral synthesis is the compilation of an Electronic system-level (ESL) design into an RTL implementation. We present a suite of optimizations for equivalence checki...
Kecheng Hao, Fei Xie, Sandip Ray, Jin Yang
229
Voted
ICDT
2009
ACM
150views Database» more  ICDT 2009»
16 years 1 months ago
Optimizing user views for workflows
A technique called user views has recently been proposed to focus user attention on relevant information in response to provenance queries over workflow executions [1, 2]: Given u...
Olivier Biton, Susan B. Davidson, Sanjeev Khanna, ...
107
Voted
SIGMOD
2010
ACM
171views Database» more  SIGMOD 2010»
15 years 1 months ago
An optimal labeling scheme for workflow provenance using skeleton labels
We develop a compact and efficient reachability labeling scheme for answering provenance queries on workflow runs that conform to a given specification. Even though a workflow run...
Zhuowei Bao, Susan B. Davidson, Sanjeev Khanna, Su...
89
Voted
HICSS
1998
IEEE
108views Biometrics» more  HICSS 1998»
15 years 5 months ago
Workflow Optimization through Task Redesign in Business Information Processes
The academic and professional literature addressing business process reengineering points at inter-task information flow delays (handoffs) as a major source of processing errors a...
Rajiv M. Dewan, Abraham Seidmann, Zhiping D. Walte...
105
Voted
ICCAD
1995
IEEE
144views Hardware» more  ICCAD 1995»
15 years 4 months ago
Background memory management for dynamic data structure intensive processing systems
Abstract -- Telecommunication network management applications often require application-specific ICs that use large dynamically allocated stored data structures. Currently availab...
Gjalt G. de Jong, Bill Lin, Carl Verdonck, Sven Wu...