461 search results - page 35 / 93 » Simulating the universe |
TWC
2008
14 years 9 months ago
2008
3GPP 43.318 specifies the Generic Access Network (GAN) for interworking between Wireless Local Area Network (WLAN) and Universal Mobile Telecommunications System (UMTS) core netwo...
FMSD
2010
14 years 8 months ago
2010
Abstract Modeling and Simulation Aided Verification of Analog/MixedSignal Circuits S. Little and C. Myers (University of Utah, USA) Monday, July 14, 14:00-17:00 4 14:00-14:40 fSpic...
58
Voted
WSC
2001
14 years 11 months ago
2001
A car-following and lane-changing microsimulation model of a two-lane road section has been written in SLX (Simulation Language with eXtensibility) as part of an extensive researc...
77
Voted
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—We investigate the reliability of radio channel simulators in capturing the important properties of radio channels throughout a well-specified environment. Indoor envir...
TACAS
2005
Springer
15 years 3 months ago
2005
Springer
SAT-based Predicate Abstraction for ANSI-C Edmund Clarke1 Daniel Kroening2 Natasha Sharygina1,3 Karen Yorav4 1 Carnegie Mellon University, School of Computer Science 2 ETH Zuerich,...