We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of the validation problem: (a) verifying the functional integrip of the model and (b) testing the model for timing accuracy at the architectural level. The latter area, that of performance verification, is of increasing ...

Establishing performance guarantees for robot missions is especially important for C-WMD applications. Software verification techniques, such as model checking (Clark 1999, Jhala & Majumdar 2009), can be applied to robotic applications but characteristics of this application area, including addition of a robot environment model and handling continuous spatial location well, exacerbate state exp...

ion Extrapolation Cedric Baumann, Andrei Marian Dan, Yuri Meshman, Torsten Hoefler, and Martin Vechev 1 Department of Computer Science, ETH Zurich, Switzerland 2 IMDEA Software Institute, Madrid, Spain Abstract. Remote Memory Access (RMA) networks are emerging as a promising basis for building performant large-scale systems such as MapReduce, scientific computing applications, and others. To ac...

Phthalates are widely used as plasticizers to make polymers more flexible in industrial and household products. However, lower molecular weight ortho-phthalate plasticizers have serious health effects and are restricted or banned in many countries for use in children’s products. In addition, several government agencies restrict or are investigating restricting ortho-phthalates (ortho-dialkyl ph...

This paper presents design, modelling and system identification of a laboratory test apparatus that has been constructed to experimentally validate the concepts of anomaly detection in complex mechanical systems. The test apparatus is designed to be complex in itself due to partially correlated interactions amongst its individual components and functional modules. The experiments are conducted ...