Sciweavers

11215 search results - page 328 / 2243
» Skeleton - Easy Simulation System
Sort
View
TCC
2005
Springer
118views Cryptology» more  TCC 2005»
16 years 3 days ago
On the Relationships Between Notions of Simulation-Based Security
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
Anupam Datta, Ralf Küsters, John C. Mitchell,...
EUROPAR
2004
Springer
16 years 12 hour ago
A Parallel PSPG Finite Element Method for Direct Simulation of Incompressible Flow
Abstract. We describe a consistent splitting approach to the pressurestabilized Petrov-Galerkin finite element method for incompressible flow. The splitting leads to (almost) exp...
Jörg Stiller, Karel Frana, Roger Grundmann, U...
HPDC
2003
IEEE
15 years 12 months ago
Trace-Based Simulations of Processor Co-Allocation Policies in Multiclusters
In systems consisting of multiple clusters of processors which employ space sharing for scheduling jobs, such as our Distributed ASCI1 Supercomputer (DAS), coallocation, i.e., the...
Anca I. D. Bucur, Dick H. J. Epema
VR
2002
IEEE
125views Virtual Reality» more  VR 2002»
15 years 11 months ago
Real-Time Haptic and Visual Simulation of Bone Dissection
—Bone dissection is an important component of many surgical procedures. In this paper, we discuss a haptic and visual implementation of a bone cutting burr, that it is being deve...
Marco Agus, Andrea Giachetti, Enrico Gobbetti, Gia...
IFIP
2000
Springer
15 years 10 months ago
A New Approach to Software Integration Frameworks for Multi-physics Simulation Codes
Existing software integration frameworks typically require large manual rewrites of existing codes, or specific tailoring of codes written to be used in the framework. The result i...
Eric de Sturler, Jay Hoeflinger, Laxmikant V. Kal&...