Sciweavers

17288 search results - page 3237 / 3458
» Hybrid Optimizations: Which Optimization Algorithm to Use
Sort
View
ICRA
2007
IEEE
121views Robotics» more  ICRA 2007»
15 years 11 months ago
Models for the Design of a Tendon Driven Robot Eye
Eye motion strategies in animals and humans have v e2 h2 the goal of optimizing visual perception, therefore, the study of eye motions plays an important role in the design of huma...
Giorgio Cannata, Marco Maggiali
IPPS
2007
IEEE
15 years 11 months ago
Reifying Control of Multi-Owned Network Resources
Communication delay is a key source of uncertainty in distributed systems. Existing approaches to reduce this uncertainty focus on maintaining sufficient surplus bandwidth; appli...
Nadeem Jamali, Chen Liu
RTAS
2007
IEEE
15 years 10 months ago
Stochastic Metrics for Debugging the Timing Behaviour of Real-Time Systems
Stochastic analysis techniques for real-time systems model the execution time of tasks as random variables. These techniques constitute a very powerful tool to study the behaviour...
Joaquín Entrialgo, Javier García, Jo...
114
Voted
TPHOL
2007
IEEE
15 years 10 months ago
Separation Logic for Small-Step cminor
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
Andrew W. Appel, Sandrine Blazy
VTC
2007
IEEE
15 years 10 months ago
HSDPA Measurements for Indoor DAS
—The target of the paper is to study performance of HSDPA in indoor environment, and to provide guidelines for HSDPA coverage and capacity planning and antenna configurations se...
Tero Isotalo, Jukka Lempiäinen
« Prev « First page 3237 / 3458 Last » Next »