9698 search results - page 1540 / 1940 » models 2010 |
209
click to vote
WOSP
2010
ACM
16 years 11 hour ago
2010
ACM
The architecture of a software system has a significant impact on its quality of service (QoS) as measured by several performance metrics such as execution time, availability, th...
185
click to vote
FASE
2010
Springer
15 years 11 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
225
click to vote
HAIS
2010
Springer
15 years 9 months ago
2010
Springer
Energy efficiency represents one of the main challenges in the engineering field, i.e., by means of decreasing the energy consumption due to a better design minimising the energy ...
197
click to vote
MM
2010
ACM
15 years 7 months ago
2010
ACM
Search engines are used to return a long list of hundreds or even thousands of videos in response to a query topic. Efficient navigation of videos becomes difficult and users ofte...
225
Voted
ICRA
2010
IEEE
15 years 6 months ago
2010
IEEE
— We present an algorithm that probabilistically covers a bounded region of the state space of a nonlinear system with a sparse tree of feedback stabilized trajectories leading t...