Sciweavers

3 search results - page 1 / 1
» Correctness Ensuring Process Configuration: An Approach Base...
Sort
View
BPM
2010
Springer
191views Business» more  BPM 2010»
15 years 4 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...
161
Voted
DDECS
2009
IEEE
202views Hardware» more  DDECS 2009»
15 years 10 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
118
Voted
ICCAD
2007
IEEE
131views Hardware» more  ICCAD 2007»
16 years 8 days 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...