2617 search results - page 387 / 524 » Adaptive local ratio |
CONCUR
2004
Springer
14 years 3 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
In a joint research project concerning the use and design of IT in public services, we are using a simple figure of on-going design-oriented interactions to highlight shifting foc...
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
s - For the on-line safe path planning of a mobile robot in unknown environments, the paper proposes a simple Hopfield Neural Network ( HNN ) planner. Without learning process, the...
IPPS
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper we present an adaptation of the Dual Priority Scheduling Algorithm to schedule both hard realtime periodic tasks and soft-aperiodic tasks in shared memory multiproce...
GRAPHITE
2003
ACM
14 years 2 months ago
2003
ACM
A point-based 3D surface modelling technique combined with a new point rendering technique is presented. Surfaces are modelled by specifying a set of unorganized points on the sur...