Sciweavers

481 search results - page 55 / 97
» Acceleration of behavioral simulation on simulation specific...
Sort
View
DAM
2002
125views more  DAM 2002»
14 years 11 months ago
Complexity of Langton's ant
The virtual ant introduced by Langton [Physica D 22 (1986) 120] has an interesting behavior, which has been studied in several contexts. Here we give a construction to calculate a...
Anahí Gajardo, Andrés Moreira, Eric ...
ROBOCUP
1998
Springer
101views Robotics» more  ROBOCUP 1998»
15 years 4 months ago
Evolving Team Darwin United
The RoboCup simulator competition is one of the most challenging international proving grounds for contemporary AI research. Exactly because of the high level of complexity and a l...
David Andre, Astro Teller
DAC
2008
ACM
16 years 25 days ago
Partial order reduction for scalable testing of systemC TLM designs
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
Sudipta Kundu, Malay K. Ganai, Rajesh Gupta
IPSN
2004
Springer
15 years 5 months ago
Modeling of sensor nets in Ptolemy II
This paper describes a modeling and simulation framework called VisualSense for wireless sensor networks that builds on and leverages Ptolemy II. This framework supports actor-ori...
Philip Baldwin, Sanjeev Kohli, Edward A. Lee, Xiao...
ICCAD
1996
IEEE
151views Hardware» more  ICCAD 1996»
15 years 4 months ago
Expected current distributions for CMOS circuits
The analysis of CMOS VLSI circuit switching current has become an increasingly important and difficult task from both a VLSI design and simulation software perspective. This paper...
Dennis J. Ciplickas, Ronald A. Rohrer