5326 search results - page 167 / 1066 » On what we can ensure |
210
click to vote
IEEEARES
2007
IEEE
16 years 22 days ago
2007
IEEE
Project management traditionally has a strong focus on human reporting that fits well a tightly coupled form of organization to ensure the quality of project reporting. For loosel...
175
click to vote
IROS
2007
IEEE
16 years 22 days ago
2007
IEEE
— We present an approach to motion planning for highly articulated systems that aims to ensure robust execution by augmenting the planning process to reason about the robot’s a...
158
click to vote
ISLPED
2005
ACM
16 years 7 hour ago
2005
ACM
Designers are moving toward chip-multiprocessors (CMPs) to leverage application parallelism for higher performance while keeping design complexity under control. However, to date,...
184
click to vote
RTAS
2002
IEEE
15 years 11 months ago
2002
IEEE
End-to-end predictability of operations is essential for many fixed-priority distributed real-time and embedded (DRE) applications, such as command and control systems, manufactu...
160
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
– We present a methodology for proving termination of left-linear term rewriting systems (TRSs) by using Albert Burroni’s polygraphs, a kind of rewriting systems on algebraic c...