Sciweavers

5054 search results - page 441 / 1011
» simulation 2008
Sort
View
FM
2008
Springer
127views Formal Methods» more  FM 2008»
15 years 8 months ago
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...
Olivier Ponsini, Wendelin Serwe
PEWASUN
2008
ACM
15 years 8 months ago
Source traffic modeling in wireless sensor networks for target tracking
Researches around wireless sensor network (WSN) were very prolific recently. However, traffic modeling related WSN research was poorly less. In this paper, source traffic dynamics...
Qinghua Wang, Tingting Zhang
AAAI
2008
15 years 8 months ago
Bimodal Spatial Reasoning with Continuous Motion
Symbolic AI systems typically have difficulty reasoning about motion in continuous environments, such as determining whether a cornering car will clear a close obstacle. Bimodal s...
Samuel Wintermute, John E. Laird
GECCO
2008
Springer
261views Optimization» more  GECCO 2008»
15 years 8 months ago
SSNNS -: a suite of tools to explore spiking neural networks
We are interested in engineering smart machines that enable backtracking of emergent behaviors. Our SSNNS simulator consists of hand-picked tools to explore spiking neural network...
Heike Sichtig, J. David Schaffer, Craig B. Laramee
GLOBECOM
2008
IEEE
15 years 7 months ago
A Distributed Directional-to-Directional MAC Protocol for Asynchronous Ad Hoc Networks
— The use of directional antennae in ad hoc networks has received growing attention in recent years. However, most existing directional MAC protocols assume interchangeable direc...
Emad Shihab, Lin Cai, Jianping Pan