5838 search results - page 859 / 1168 » A File System for System Programming in Ubiquitous Computing |
145
Voted
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
This paper argues that basing the semantics of concurrent systems on the notions of state and state transitions is neither advisable nor necessary. The tendency to do this is deepl...
129
Voted
TIC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We present the design and implementation of the first complete framework for flexible and safe dynamic linking of native code. Our approach extends Typed Assembly Languag...
148
click to vote
WSC
1997
15 years 6 months ago
1997
We present an extension to an existing SPARC V8 instruction set simulator, SimICS, to support accurate profiling of branches and instruction cache misses. SimICS had previously su...
140
click to vote
AUTOMATICA
2005
15 years 4 months ago
2005
In this paper, an explicit model predictive controller for the attitude of a satellite is designed. Explicit solutions to constrained linear MPC problems can be computed by solvin...
173
click to vote
ANCS
2009
ACM
15 years 2 months ago
2009
ACM
In this paper, we propose an extensible Open-Architecture Services platform (OASis) for high-performance network processing. OASis embraces recent advances of open technologies, i...