Sciweavers

1081 search results - page 56 / 217
» CODES: An Integrated Approach to Composable Modeling and Sim...
Sort
View
ICMCS
1999
IEEE
106views Multimedia» more  ICMCS 1999»
14 years 1 months ago
Integrating Support for Collaboration-Unaware VRML Models into Cooperative Applications
This paper presents design and architecture of the distributed virtual reality service (dvr) which allows collaboration-unaware VRML animations and simulations to be integrated in...
Werner Geyer, Martin Mauve
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 1 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
VTC
2008
IEEE
159views Communications» more  VTC 2008»
14 years 3 months ago
Symbol Error Probability of Distributed-Alamouti Scheme in Wireless Relay Networks
—In this paper, we analyze the maximum likelihood decoding performance of non-regenerative cooperation employing Alamouti scheme. Specifically, we derive two closed-form express...
Trung Q. Duong, Dac-Binh Ha, Hoai-An Tran, Nguyen-...
ICCAD
2000
IEEE
169views Hardware» more  ICCAD 2000»
14 years 1 months ago
Transistor-Level Timing Analysis Using Embedded Simulation
A high accuracy system for transistor-level static timing analysis is presented. Accurate static timing verification requires that individual gate and interconnect delays be accu...
Pawan Kulshreshtha, Robert Palermo, Mohammad Morta...
SC
2009
ACM
14 years 1 months ago
Plasma fusion code coupling using scalable I/O services and scientific workflows
In order to understand the complex physics of mother nature, physicist often use many approximations to understand one area of physics and then write a simulation to reduce these ...
Norbert Podhorszki, Scott Klasky, Qing Liu, Cipria...