2116 search results - page 7 / 424 » On Probabilistic Alternating Simulations |
ISCAS
2007
IEEE
14 years 3 months ago
2007
IEEE
- This paper aims at discussing the implementation of simulation systems for SNN based on analog computation cores (neuromimetic ICs). Such systems are an alternative to completely...
PTS
2010
13 years 7 months ago
2010
We propose a symbolic framework called guarded labeled assignment systems or GLASs and show how GLASs can be used as a foundation for symbolic analysis of various aspects of forma...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
This paper presents the task specifications for designing a novel Insertable Robotic Effectors Platform (IREP) with integrated stereo vision and surgical intervention tools for Sin...
FECS
2010
13 years 7 months ago
2010
In this paper, we present a method to help teach computer architecture (or computer organization) by developing an in class system where the students, themselves, compile high-leve...
WSC
2008
13 years 11 months ago
2008
Parallel and distributed simulation facilitates the construction of a simulation application (i.e., federation in HLA terminology) with a number of simulation components (federate...