249 search results - page 22 / 50 » A Framework of Numerical Basket Analysis |
162
Voted
ICDE
2002
IEEE
15 years 11 months ago
2002
IEEE
Overlapping and multi-version techniques are two popular frameworks that transform an ephemeral index into a multiple logical-tree structure in order to support versioning databas...
WOSP
2000
ACM
15 years 2 months ago
2000
ACM
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...
100
click to vote
MOC
2011
14 years 4 months ago
2011
The simplest pair of spaces P1/P0 is made inf-sup stable for the mixed form of the Darcy equation. The key ingredient is enhance the finite element spaces inside a PetrovGalerkin ...
ICFP
2007
ACM
15 years 10 months ago
2007
ACM
The analysis and verification of higher-order programs raises the issue of control-flow analysis for higher-order languages. The problem of constructing an accurate call graph for...
IJRR
2010
14 years 8 months ago
2010
We introduce a detailed numerical simulation and analysis framework to extend the principles of passive dynamic walking to quadrupedal locomotion. Non-linear limit cycle methods a...