Sciweavers

1663 search results - page 152 / 333
» Validation and Verification of Simulation Models
Sort
View
ALGORITHMICA
2004
132views more  ALGORITHMICA 2004»
15 years 3 months ago
A General Model for Authenticated Data Structures
Query answers from on-line databases can easily be corrupted by hackers or malicious database publishers. Thus it is important to provide mechanisms which allow clients to trust th...
Charles U. Martel, Glen Nuckolls, Premkumar T. Dev...
148
Voted
MICCAI
2003
Springer
16 years 4 months ago
A Biomechanical Model of the Liver for Reality-Based Haptic Feedback
: Biomechanical model of soft tissue for remote probing based on observed experimental data is critical for developing a reality-based model for minimally invasive surgical trainin...
Tie Hu, Jaydev P. Desai
129
Voted
VLSID
2007
IEEE
108views VLSI» more  VLSID 2007»
16 years 4 months ago
Soft Error Rate Analysis for Combinational Logic Using An Accurate Electrical Masking Model
Accurate electrical masking modeling represents a significant challenge in soft error rate analysis for combinational logic circuits. In this paper, we use table lookup MOSFET mode...
Feng Wang 0004, Yuan Xie, R. Rajaraman, Balaji Vai...
142
Voted
EMSOFT
2007
Springer
15 years 10 months ago
Virtual execution of AADL models via a translation into synchronous programs
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, X...
BROADNETS
2005
IEEE
15 years 9 months ago
Performance analysis of the ieee 802.11e block ACK scheme in a noisy channel
— A Block ACK (BTA) scheme has been proposed in IEEE 802.11e to improve medium access control (MAC) layer performance. It is also a promising technique for next-generation high-s...
Tianji Li, Qiang Ni, Thierry Turletti, Yang Xiao