Sciweavers

1004 search results - page 115 / 201
» Safe Constraint Queries
Sort
View
SCP
2008
144views more  SCP 2008»
13 years 8 months ago
Implicit ownership types for memory management
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...
Tian Zhao, Jason Baker, James Hunt, James Noble, J...
ICRA
2010
IEEE
143views Robotics» more  ICRA 2010»
13 years 7 months ago
Optimal Feedback Control for anthropomorphic manipulators
— We study target reaching tasks of redundant anthropomorphic manipulators under the premise of minimal energy consumption and compliance during motion. We formulate this motor c...
Djordje Mitrovic, Sho Nagashima, Stefan Klanke, Ta...
WCET
2010
13 years 6 months ago
WCET Analysis of a Parallel 3D Multigrid Solver Executed on the MERASA Multi-Core
To meet performance requirements as well as constraints on cost and power consumption, future embedded systems will be designed with multi-core processors. However, the question o...
Christine Rochange, Armelle Bonenfant, Pascal Sain...
FAST
2009
13 years 6 months ago
Minuet: Rethinking Concurrency Control in Storage Area Networks
Clustered applications in storage area networks (SANs), widely adopted in enterprise datacenters, have traditionally relied on distributed locking protocols to coordinate concurre...
Andrey Ermolinskiy, Daekyeong Moon, Byung-Gon Chun...
HOLOMAS
2011
Springer
12 years 8 months ago
Dynamic Trajectory Replanning for Unmanned Aircrafts Supporting Tactical Missions in Urban Environments
In the last decade we witnessed an increased demand for employment of unmanned aerial vehicles (UAV) in practise. For instance, there is a growing need to provide surveillance task...
Lukás Chrpa, Peter Novák