Sciweavers

4074 search results - page 104 / 815
» Hardware Modelling and Simulation Using an Object-Oriented M...
Sort
View
FPL
2008
Springer
111views Hardware» more  FPL 2008»
14 years 11 months ago
Sampling from the exponential distribution using independent Bernoulli variates
The exponential distribution is a key distribution in many event-driven Monte-Carlo simulations, where it is used to model the time between random events in the system. This paper...
David B. Thomas, Wayne Luk
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
15 years 4 months ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer
CGF
2004
98views more  CGF 2004»
14 years 9 months ago
Synthesizing Sound from Turbulent Field using Sound Textures for Interactive Fluid Simulation
Sound is an indispensable element for the simulation of a realistic virtual environment. Therefore, there has been much recent research focused on the simulation of realistic soun...
Yoshinori Dobashi, Tsuyoshi Yamamoto, Tomoyuki Nis...
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
15 years 6 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening
ICES
2010
Springer
277views Hardware» more  ICES 2010»
14 years 7 months ago
An Efficient, High-Throughput Adaptive NoC Router for Large Scale Spiking Neural Network Hardware Implementations
Recently, a reconfigurable and biologically inspired paradigm based on network-on-chip (NoC) and spiking neural networks (SNNs) has been proposed as a new method of realising an ef...
Snaider Carrillo, Jim Harkin, Liam McDaid, Sandeep...