6530 search results - page 495 / 1306 » Application Integration |
200
click to vote
DAC
2011
ACM
14 years 6 months ago
2011
ACM
Stochastic device noise has become a significant challenge for high-precision analog/RF circuits, and it is particularly difficult to correctly include both white noise and flic...
184
click to vote
SI3D
2009
ACM
16 years 1 months ago
2009
ACM
We present an extension of recently developed Loop and Schaefer’s approximation of Catmull-Clark surfaces (ACC) for surfaces with creases and corners which are essential for mos...
154
click to vote
ICECCS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...
175
click to vote
BPM
2003
Springer
16 years 4 days ago
2003
Springer
Process programming is regarded as a critical approach in many cooperative process related areas including software engineering, workflow management, business process management, e...
156
click to vote
WOSP
2000
ACM
15 years 11 months ago
2000
ACM
This contribution presents a model for process improvement in the area of performance engineering, which is called performance engineering maturity model. The use of this model al...