4539 search results - page 684 / 908 » Approaches to Compute Workflow Complexity |
197
click to vote
HYBRID
2003
Springer
16 years 13 days ago
2003
Springer
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...
197
click to vote
SAC
2010
ACM
16 years 10 days ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
185
click to vote
CLOUD
2010
ACM
16 years 9 days ago
2010
ACM
Large-scale, user-facing applications are increasingly moving from relational databases to distributed key/value stores for high-request-rate, low-latency workloads. Often, this m...
203
click to vote
ECRTS
2002
IEEE
16 years 5 days ago
2002
IEEE
In today’s technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity o...
190
click to vote
IEEEPACT
2002
IEEE
16 years 4 days ago
2002
IEEE
Memory dependence prediction allows out-of-order issue processors to achieve high degrees of instruction level parallelism by issuing load instructions at the earliest time withou...