Sciweavers

150 search results - page 3 / 30
» Synthesis of Optimal Workflow Structure
Sort
View
DATE
2010
IEEE
163views Hardware» more  DATE 2010»
14 years 19 days 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
ICDT
2009
ACM
150views Database» more  ICDT 2009»
14 years 8 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, ...
SIGMOD
2010
ACM
171views Database» more  SIGMOD 2010»
13 years 7 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...
HICSS
1998
IEEE
108views Biometrics» more  HICSS 1998»
13 years 11 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...
ICCAD
1995
IEEE
144views Hardware» more  ICCAD 1995»
13 years 11 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...