2780 search results - page 354 / 556 » Generalizing by Removing Detail |
197
Voted
IROS
2006
IEEE
16 years 1 months 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...
180
Voted
ISPASS
2006
IEEE
16 years 1 months 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...
204
Voted
QEST
2006
IEEE
16 years 1 months 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...
207
click to vote
RTSS
2006
IEEE
16 years 1 months 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 ...
160
Voted
ASPLOS
2006
ACM
16 years 1 months 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...