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»
15 years 9 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»
15 years 9 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»
15 years 12 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»
15 years 10 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
15 years 10 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...