828 search results - page 29 / 166 » Predictability by construction |
DATE
2010
IEEE
14 years 3 months ago
2010
IEEE
—We present a new language called Precision Timed C, for predictable and lightweight multithreading in C. PRET-C supports synchronous concurrency, preemption, and a high-level co...
SGAI
2007
Springer
14 years 4 months ago
2007
Springer
Novelty detection is a machine learning technique which identifies new or unknown information in large data sets. We present our current work on the construction of a new novelty...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract— Trajectory planning and optimization is a fundamental problem in articulated robotics. It is often viewed as a two phase problem of initial feasible path planning aroun...
COMPSAC
2008
IEEE
14 years 4 months ago
2008
IEEE
— In software testing and maintenance activities, the observed faults and bugs are reported in bug report managing systems (BRMS) for further analysis and repair. According to th...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
—Experimentation with mobile ad hoc network testbeds is preferred to simulations for performing high fidelity testing. But, at the same time, realistic experimentation with larg...