371 search results - page 70 / 75 » Verification of Timing Properties in Rapid System Prototypin... |
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
— In this paper, a novel design approach for the development of robot hands is presented. This approach, that can be considered alternative to the “classical” one, takes into...
PLDI
2000
ACM
14 years 9 days ago
2000
ACM
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system. Our safety-checking technique operates directly on the u...
NSDI
2010
13 years 9 months ago
2010
MapReduce is a popular framework for data-intensive distributed computing of batch jobs. To simplify fault tolerance, many implementations of MapReduce materialize the entire outp...
HVEI
2009
13 years 5 months ago
2009
We present the design of a spherical imaging system with the following properties: (i) A 4 field of view that enables it to "see" in all directions; (ii) a single center...
CONIELECOMP
2011
IEEE
12 years 11 months ago
2011
IEEE
This work focuses on developing systems of blocks in SIMULINK and VHDL to reuse on design of applications involving the recognition of polygonal objects. Usage of this work reduce...