13489 search results - page 204 / 2698 » Self-migration of operating systems |
174
click to vote
TCS
2008
15 years 6 months ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
153
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: An operational Air Surveillance System shall generate a stable and reliable air picture. In dense target situations the quality of available sensor data is reduced. System models...
173
click to vote
VLDB
1989
ACM
15 years 10 months ago
1989
ACM
: We describe the architecture of a relational databasesystem that is extensible by user-defined data types and operations, including relation operations. The central concept is to...
185
click to vote
ENTCS
2002
15 years 6 months ago
2002
Digital signal processors provide specialized SIMD (single instruction multiple data) operations designed to dramatically increase performance in embedded systems. While these ope...
164
click to vote
SCL
2010
15 years 5 months ago
2010
We show that control systems with an analytic semigroup and control and observation operators that are not too unbounded have a Hankel operator that belongs to the Schatten class ...