12115 search results - page 2154 / 2423 » Bisimulation of Dynamical Systems |
168
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
183
click to vote
HRI
2007
ACM
15 years 10 months ago
2007
ACM
Efforts are underway to make it possible for a single operator to effectively control multiple robots. In these high workload situations, many questions arise including how many r...
187
click to vote
ICCD
2007
IEEE
15 years 10 months ago
2007
IEEE
A core mapping method for reconfigurable network-on-chip (NoC) architectures is presented in this paper. In most of the existing methods, mapping is carried out based on the traff...
167
click to vote
GLVLSI
2009
IEEE
15 years 10 months ago
2009
IEEE
To address the increasing demand for reliability in on-chip networks, we proposed a novel Reliability Aware Virtual channel (RAVC) NoC router micro-architecture that enables both ...
183
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we describe the OnEQL system, a query engine that implements optimization techniques and evaluation strategies to speed up the evaluation time of querying a...