Sciweavers

7429 search results - page 43 / 1486
» Embedded System Update
Sort
View
RTAS
2010
IEEE
14 years 8 months ago
Scalable Scheduling Policy Design for Open Soft Real-Time Systems
Robert Glaubius, Terry Tidwell, Braden Sidoti, Dav...
RTAS
2009
IEEE
15 years 4 months ago
CSL: A Language to Specify and Re-specify Mobile Sensor Network Behaviors
—The Collaborative Sensing Language (CSL) is a high-level feedback control language for mobile sensor networks (MSN). It specifies MSN controllers to accomplish network objectiv...
Joshua Love, Jerry Jariyasunant, Eloi Pereira, Mar...
KES
1998
Springer
15 years 2 months ago
Intelligent control with the growing competitive linear local mapping neural network for robotic hand-eye coordination
Several intelligent features are embedded in the Growing Competitive Linear Local Mapping Neural Network. They result in an adaptive, fast-learning, very efficient control scheme, ...
Andrei Cimponeriu, Hubert Kihl
CAV
2010
Springer
157views Hardware» more  CAV 2010»
15 years 1 months ago
Local Verification of Global Invariants in Concurrent Programs
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
Ernie Cohen, Michal Moskal, Wolfram Schulte, Steph...
RIVF
2003
14 years 11 months ago
A Based-On Agent Framework For Home Networking
— Home networking is the collection of elements that process, manage, transport and store information, enabling the connection and integration of multiple computing, control, mon...
Si Hoàng Do, Marc Bui, Paul Kopff