Sciweavers

31 search results - page 4 / 7
» Safety-Oriented Design of Component Assemblies using Safety ...
Sort
View
EH
2005
IEEE
217views Hardware» more  EH 2005»
13 years 11 months ago
Space Bionanorobotic Systems: Design and Applications
This paper describes novel concepts of space bionanorobotic systems that are based on revolutionary bio-nano-mechanisms formed by protein and DNA based nano-components. Nano-robot...
Constantinos Mavroidis, Ajay Ummat
POPL
2005
ACM
14 years 6 months ago
Synthesis of interface specifications for Java classes
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
P. Madhusudan, Pavol Cerný, Rajeev Alur, Wo...
EMSOFT
2007
Springer
13 years 12 months ago
Design and implementation of a comprehensive real-time java virtual machine
The emergence of standards for programming real-time systems in Java has encouraged many developers to consider its use for systems previously only built using C, Ada, or assembly...
Joshua S. Auerbach, David F. Bacon, Bob Blainey, P...
SP
2009
IEEE
144views Security Privacy» more  SP 2009»
14 years 15 days ago
Native Client: A Sandbox for Portable, Untrusted x86 Native Code
This paper describes the design, implementation and evaluation of Native Client, a sandbox for untrusted x86 native code. Native Client aims to give browser-based applications the...
Bennet Yee, David Sehr, Gregory Dardyk, J. Bradley...
ICRA
1998
IEEE
177views Robotics» more  ICRA 1998»
13 years 10 months ago
The Coulomb Pump: a Novel Parts Feeding Method Using a Horizontally-Vibrating Surface
Part feeders, which singulate and orient parts prior to packing and insertion, are critical components of an assembly line. Existing feeders utilize o -plane vibrations of a rigid...
Dan Reznik, John F. Canny