Sciweavers

3 search results - page 1 / 1
» Correctness Ensuring Process Configuration: An Approach Base...
Sort
View
BPM
2010
Springer
191views Business» more  BPM 2010»
13 years 5 months ago
Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis
Abstract. A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is sub...
Wil M. P. van der Aalst, Niels Lohmann, Marcello L...
DDECS
2009
IEEE
202views Hardware» more  DDECS 2009»
13 years 11 months ago
Asynchronous two-level logic of reduced cost
— We propose a novel synthesis method of a dual-rail asynchronous two-level logic of reduced cost. It is based on a model that operates under so called modified weak constraints....
Igor Lemberski, Petr Fiser
ICCAD
2007
IEEE
131views Hardware» more  ICCAD 2007»
14 years 1 months ago
Low-overhead design technique for calibration of maximum frequency at multiple operating points
— Determination of maximum operating frequencies (Fmax) during manufacturing test at different operating voltages is required to: (a) to ensure that, for a Dynamic Voltage and Fr...
Somnath Paul, Sivasubramaniam Krishnamurthy, Hamid...