4690 search results - page 668 / 938 » An operational semantics for Scheme |
218
click to vote
CGF
2007
15 years 7 months ago
2007
We present a method for animating deformable objects using a novel finite element discretization on convex polyhedra. Our finite element approach draws upon recently introduced ...
158
click to vote
INFORMS
2008
15 years 7 months ago
2008
Most traditional routing problems assume perfect operability of all arcs and nodes. However, when independent arc failure probabilities exist, a secondary objective must be presen...
228
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Mesh numbering is a critical issue in Finite Element Methods, as the computational cost of one analysis is highly dependent on the order of the nodes of the mesh. This pa...
205
click to vote
JCO
2006
15 years 7 months ago
2006
Abstract. We study efficient algorithms for establishing reliable connections with bandwidth guarantees in communication networks. In the normal mode of operation, each connection ...
212
click to vote
TDSC
2008
15 years 7 months ago
2008
Trustworthy computing modules like secure coprocessors (ScP) are already in extensive use today, albeit limited predominantly to scenarios where constraints on cost is not a seriou...