Sciweavers

11234 search results - page 236 / 2247
» A Microsurgery Simulation System
Sort
View
WSC
2004
15 years 7 months ago
Dependence Modeling for Stochastic Simulation
An important step in designing stochastic simulation is modeling the uncertainty in the input environment of the system being studied. Obtaining a reasonable representation of thi...
Bahar Biller, Soumyadip Ghosh
SCFBM
2008
129views more  SCFBM 2008»
15 years 5 months ago
Faunus: An object oriented framework for molecular simulation
Background: We present a C++ class library for Monte Carlo simulation of molecular systems, including proteins in solution. The design is generic and highly modular, enabling mult...
Mikael Lund, Martin Trulsson, Björn Persson
MEMOCODE
2010
IEEE
15 years 4 months ago
Monitoring temporal SystemC properties
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
Deian Tabakov, Moshe Y. Vardi
CDC
2010
IEEE
137views Control Systems» more  CDC 2010»
15 years 1 months ago
Left invertibility of output-quantized systems: An application to cryptography
ABSTRACT. In this paper a secure communication method is proposed, based on left invertibility of output-quantized dynamical systems. The sender uses an output-quantized linear sys...
Nevio Dubbini, Anna Carluccio, Antonio Bicchi
FGCS
2011
153views more  FGCS 2011»
15 years 1 months ago
Representing distributed systems using the Open Provenance Model
From the World Wide Web to supply chains and scientific simulations, distributed systems are a widely used and important approach to building computational systems. Tracking prov...
Paul T. Groth, Luc Moreau