17 search results - page 3 / 4 » On the Relation between Design Contracts and Errors: A Softw... |
ARCS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Java is widely deployed on a variety of processor architectures. Consequently, an understanding of microarchitecture level Java performance is critical to optimize curren...
INFORMATICALT
2010
13 years 4 months ago
2010
We present a novel dynamic network interdiction model that accounts for interactions between an interdictor deploying resources on arcs in a digraph and an evader traversing the ne...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract— For robotic manipulation tasks in uncertain environments, good force control can provide significant benefits. The design of force-controlled actuators typically revo...
CLEF
2009
Springer
13 years 8 months ago
2009
Springer
This paper describes the participation of the Technical University of Catalonia in the CLEF 2009 Question Answering on Speech Transcripts track. We have participated in the Englis...
SOSP
2005
ACM
14 years 4 months ago
2005
ACM
This paper presents the design and an evaluation of Mondrix, a version of the Linux kernel with Mondriaan Memory Protection (MMP). MMP is a combination of hardware and software th...