1179 search results - page 148 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
163
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— This article presents a control architecture for controlling the locomotion of an amphibious snake/lamprey robot capable of swimming and serpentine locomotion. The control arch...
128
click to vote
NECO
2008
15 years 4 months ago
2008
We consider a formal model of stimulus encoding with a circuit consisting of a bank of filters and an ensemble of integrate-and-fire neurons. Such models arise in olfactory system...
137
click to vote
ASMTA
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we consider a multi-server queue with a near general arrival process (represented as an arbitrary state-dependent Coxian distribution), a near general state-dependent...
126
click to vote
SOFTWARE
2002
15 years 4 months ago
2002
certain kinds of abstraction that modern operating systems generally include and seek a design that maps directly onto the features that modern hardware implementations provide; ve...
144
click to vote
SIGMETRICS
2010
ACM
15 years 9 months ago
2010
ACM
We present S, the first system to provide transparent, lowoverhead application record-replay and the ability to go live from replayed execution. S i...