566 search results - page 67 / 114 » Array Abstractions from Proofs |
164
click to vote
SAMOS
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents a configurable base architecture tailorable for different applications. It allows simple and rapid way to evaluate and prototype large Multi-Processor System-on...
171
click to vote
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
119
click to vote
ROBIO
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— We present a strategy for resolving multiple hypotheses of a robot’s state during global localization. The strategy operates in two stages. In the first stage a uniq...
150
click to vote
FCT
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We investigate bottom-up and top-down deterministic automata on unranked trees. We show that for an appropriate definition of bottom-up deterministic automata it is poss...
114
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Proponents of aspect orientation have successfully seeded the impression that aspects—like objects—are so fundamental a notion that they should pervade all phases and...