Sciweavers

12193 search results - page 20 / 2439
» It's not all about
Sort
View
BPM
2008
Springer
152views Business» more  BPM 2008»
13 years 8 months ago
Reasoning about Repairability of Workflows at Design Time
This paper describes an approach for reasoning about the repairability of workflows at design time. We propose a heuristic-based analysis of a workflow that aims at evaluating its ...
Gaston Tagni, Annette ten Teije, Frank van Harmele...
SAT
2005
Springer
129views Hardware» more  SAT 2005»
14 years 7 days ago
On Finding All Minimally Unsatisfiable Subformulas
Much attention has been given in recent years to the problem of finding Minimally Unsatisfiable Subformulas (MUSes) of Boolean formulas. In this paper, we present a new view of the...
Mark H. Liffiton, Karem A. Sakallah
DAC
2009
ACM
14 years 1 months ago
Clock skew optimization via wiresizing for timing sign-off covering all process corners
Manufacturing process variability impacts the performance of synchronous logic circuits by means of its effect on both clock network and functional block delays. Typically, varia...
Sari Onaissi, Khaled R. Heloue, Farid N. Najm
INFOCOM
1998
IEEE
13 years 11 months ago
Limited Wavelength Translation in All-Optical WDM Mesh Networks
We analyze limited wavelength translation in all-optical, wavelength division multiplexed (WDM) wraparound mesh networks, where upto W wavelengths, each of which can carry one circ...
Vishal Sharma, Emmanouel A. Varvarigos
COLT
2003
Springer
13 years 12 months ago
Learning All Subfunctions of a Function
Sublearning, a model for learning of subconcepts of a concept, is presented. Sublearning a class of total recursive functions informally means to learn all functions from that cla...
Sanjay Jain, Efim B. Kinber, Rolf Wiehagen