223 search results - page 4 / 45 » Automated Implicit Computational Complexity Analysis (System... |
GI
2004
Springer
13 years 10 months ago
2004
Springer
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
ENTCS
2006
13 years 5 months ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
ISCOPE
1999
Springer
13 years 9 months ago
1999
Springer
SIFFEA is an automated system for parallel nite element method (PFEM) with unstructured meshes on distributed memory machines. It synthesizes mesh generator, mesh partitioner, line...
FLOPS
2010
Springer
14 years 7 days ago
2010
Springer
Recently, many techniques have been introduced that allow the (automated) classification of the runtime complexity of term rewrite systems (TRSs for short). In this paper we show ...
SCP
2000
13 years 5 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...