Sciweavers

132 search results - page 25 / 27
» Passivity Motivated Controller Design for Flexible Structure...
Sort
View
ICPP
2007
IEEE
14 years 10 days ago
Integrating Memory Compression and Decompression with Coherence Protocols in Distributed Shared Memory Multiprocessors
Ever-increasing memory footprint of applications and increasing mainstream popularity of shared memory parallel computing motivate us to explore memory compression potential in di...
Lakshmana Rao Vittanala, Mainak Chaudhuri
AIME
2005
Springer
13 years 11 months ago
Multi-agent Patient Representation in Primary Care
Though multi-agent systems have been explored in a wide variety of medical settings, their role at the primary care level has been relatively little investigated. In this paper, we...
Chris Reed, Brian Boswell, Ron Neville
DSRT
2008
IEEE
14 years 15 days ago
Interfacing and Coordination for a DEVS Simulation Protocol Standard
The DEVS formalism has been adopted and developed independently by many research teams, which led to various DEVS implementation versions. Consequently, different DEVS implementat...
Khaldoon Al-Zoubi, Gabriel A. Wainer
IROS
2006
IEEE
231views Robotics» more  IROS 2006»
14 years 2 days ago
MMALV - The Morphing Micro Air-Land Vehicle
– A sensor platform has been developed that is capable of both aerial and terrestrial locomotion, as well as transitioning between the two. The Morphing Micro Air-Land Vehicle (M...
Kevin Jones, Frank Boria, Richard J. Bachmann, Rav...
APLAS
2010
ACM
13 years 6 months ago
Typechecking Higher-Order Security Libraries
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
Karthikeyan Bhargavan, Cédric Fournet, Nata...