Sciweavers

4074 search results - page 132 / 815
» Hardware Modelling and Simulation Using an Object-Oriented M...
Sort
View
SIGMETRICS
2008
ACM
161views Hardware» more  SIGMETRICS 2008»
15 years 2 months ago
Analysis of a gossip protocol in PRISM
Gossip protocols have been proposed as a robust and efficient method for disseminating information throughout dynamically changing networks. We present an analysis of a gossip pro...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
ASPDAC
2008
ACM
116views Hardware» more  ASPDAC 2008»
15 years 4 months ago
Faster projection based methods for circuit level verification
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates the verification of digital circuits us...
Chao Yan, Mark R. Greenstreet
120
Voted
FPGA
2004
ACM
174views FPGA» more  FPGA 2004»
15 years 8 months ago
A compiled accelerator for biological cell signaling simulations
The simulation of large systems of biochemical reactions is a key part of research into molecular signaling and information processing in biological cells. However, it can be impr...
John F. Keane, Christopher Bradley, Carl Ebeling
ISMS
2004
Springer
15 years 8 months ago
GiPSi: An Open Source/Open Architecture Software Development Framework for Surgical Simulation
In this paper we propose an open source/open architecture framework for developing organ level surgical simulations. Our goal is to facilitate shared development of reusable models...
Tolga Goktekin, Murat Cenk Cavusoglu, Frank Tendic...
122
Voted
PG
1999
IEEE
15 years 6 months ago
Modeling and Rendering Methods of Clouds
Recently, simulation of natural phenomena, such as water, smokes, fire, clouds, have been attempted in computer graphics. Clouds play an important role when generating images of o...
Tomoyuki Nishita, Yoshinori Dobashi