2780 search results - page 354 / 556 » Generalizing by Removing Detail |
179
click to vote
IROS
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper presents design and manufacturing procedure of a tele-operative rescue robot. First, the general task to be performed by such a robot is defined, and variant kinematic m...
168
click to vote
ISPASS
2006
IEEE
16 years 23 days ago
2006
IEEE
We present a scheme to compress branch trace information for use in snapshot-based microarchitecture simulation. The compressed trace can be used to warm any arbitrary branch pred...
185
click to vote
QEST
2006
IEEE
16 years 23 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
197
click to vote
RTSS
2006
IEEE
16 years 23 days ago
2006
IEEE
The simple notion of soft real-time processing has fractured into a spectrum of diverse soft real-time types with a variety of different resource and time constraints. Schedulers ...
144
click to vote
ASPLOS
2006
ACM
16 years 21 days ago
2006
ACM
Clustered Objects (COs) [1] have been proven to be an effective ion for improving scalability of systems software [2, 3]. But can we devise a programming model that would allow CO...