4211 search results - page 352 / 843 » Types as Abstract Interpretations |
158
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— This paper describes the electronics and communication system of Odin, a novel heterogeneous modular robot made of links and joints. The electronics is divided into two...
149
click to vote
ADHOCNOW
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. In the presence of interference, two single hop links can interact in a number of different ways, exhibiting significantly different behavior. In this paper, we consid...
165
click to vote
ICPPW
2006
IEEE
16 years 24 days ago
2006
IEEE
In retargeting loop-based code for multimedia instruction set extensions, a critical issue is that vector data types of mixed precision within a loop body complicate the paralleli...
184
click to vote
ICLP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
161
click to vote
PPDP
2005
Springer
16 years 7 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...