2783 search results - page 406 / 557 » The Nature Of Near-Synonymic Relations |
118
click to vote
FOSSACS
2006
Springer
15 years 5 months ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
119
click to vote
FPL
2006
Springer
15 years 5 months ago
2006
Springer
Reconfigurable architectures are becoming increasingly popular with space related design engineers as they are inherently flexible to meet multiple requirements and offer signific...
125
click to vote
FSTTCS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We study the synthesis problem for external linear or branching specifications and distributed, synchronous architectures with arbitrary delays on processes. External mea...
137
click to vote
ECAI
2000
Springer
15 years 5 months ago
2000
Springer
The purpose of this paper is to provide a broad overview of the WITAS Unmanned Aerial Vehicle Project. The WITAS UAV project is an ambitious, long-term basic research project with ...
EUROPAR
2000
Springer
15 years 5 months ago
2000
Springer
This paper describes a toolset, PACE, that provides detailed predictive performance information throughout the implementation and execution stages of an application. It is structur...