Sciweavers

11022 search results - page 121 / 2205
» Programming Systems for Autonomy
Sort
View
ISPDC
2006
IEEE
15 years 10 months ago
Distributed, Real-Time Programming on Commodity POSIX Systems: A Preliminary Report
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...
Stefan D. Bruda, Petter Haggholm, Scott Stoddard
SAC
2003
ACM
15 years 10 months ago
TinyGALS: A Programming Model for Event-Driven Embedded Systems
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...
Elaine Cheong, Judith Liebman, Jie Liu, Feng Zhao
144
Voted
AUTOMATICA
2008
167views more  AUTOMATICA 2008»
15 years 5 months ago
Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
A wide variety of stability and performance questions about linear dynamical systems can be reformulated as convex optimization problems involving linear matrix inequalities (LMIs...
Erin M. Aylward, Pablo A. Parrilo, Jean-Jacques E....
ICRA
2007
IEEE
160views Robotics» more  ICRA 2007»
15 years 11 months ago
OOPS for Motion Planning: An Online, Open-source, Programming System
— The success of sampling-based motion planners has resulted in a plethora of methods for improving planning components, such as sampling and connection strategies, local planner...
Erion Plaku, Kostas E. Bekris, Lydia E. Kavraki
JLP
2008
129views more  JLP 2008»
15 years 4 months ago
Program and proof optimizations with type systems
We demonstrate a method for describing data-flow analyses based program optimizations as compositional type systems with a transformation component. Analysis results are presented...
Ando Saabas, Tarmo Uustalu