553 search results - page 34 / 111 » A General Theory of Additive State Space Abstractions |
CORR
2002
Springer
13 years 8 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
GLOBECOM
2010
IEEE
13 years 6 months ago
2010
IEEE
In this paper, we propose a novel Space-Time Shift Keying (STSK) modulation scheme for MIMO communication systems, where the concept of spatial modulation is extended to include bo...
DATE
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper we address the problem of designing very high throughput finite state machines (FSMs). The presence of loops in sequential circuits prevents a straightforward and g...
IWMM
2007
Springer
14 years 2 months ago
2007
Springer
This article presents a heap space analysis for (sequential) Java bytecode. The analysis generates heap space cost relations which define at compile-time the heap consumption of ...
GIS
2007
ACM
14 years 2 months ago
2007
ACM
In this paper, we present a technique that generalizes 3D building groups of virtual 3D city models according to a cell structure that is derived from infrastructure networks. In ...