1377 search results - page 141 / 276 » Flit-Reservation Flow Control |
105
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
151
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
— We present a robust strategy for docking a mobile robot in close proximity with an upright surface using optical flow field divergence. Unlike previous approaches, we achieve...
146
click to vote
ISER
2004
Springer
15 years 9 months ago
2004
Springer
We present our complete study involving comparisons of three spatio-temporal used in the estimation of optical flow for continuous mobile robot navigation. Previous comparisons of...
131
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper describes an implementation language and synthesis system for automatically generating latency insensitive synchronous digital designs. These designs decouple behaviora...
133
click to vote
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
Several programming constructs have recently been proposed with the purpose of enabling the programmer to encode declassifying information flows within a program that complies wi...