Sciweavers

5439 search results - page 860 / 1088
» Patterns: from system design to software testing
Sort
View
ROBOCUP
2004
Springer
103views Robotics» more  ROBOCUP 2004»
15 years 11 months ago
Sharing Belief in Teams of Heterogeneous Robots
This paper describes the joint approach of three research groups to enable a heterogeneous team of robots to exchange belief. The communication framework presented imposes little r...
Hans Utz, Freek Stulp, Arndt Mühlenfeld
TRUST
2010
Springer
15 years 4 months ago
The PUF Promise
Physical Uncloneable Functions (PUF) are systems whose physical behavior to different inputs can be measured reliably, yet cannot be cloned in a physical replica. Existing designs ...
Heike Busch, Miroslava Sotáková, Ste...
RSP
2003
IEEE
132views Control Systems» more  RSP 2003»
15 years 11 months ago
Rapid Exploration of Pipelined Processors through Automatic Generation of Synthesizable RTL Models
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
Prabhat Mishra, Arun Kejariwal, Nikil Dutt
HPCA
2006
IEEE
16 years 6 months ago
The common case transactional behavior of multithreaded programs
Transactional memory (TM) provides an easy-to-use and high-performance parallel programming model for the upcoming chip-multiprocessor systems. Several researchers have proposed a...
JaeWoong Chung, Hassan Chafi, Chi Cao Minh, Austen...
ESOP
2010
Springer
16 years 3 months ago
Faulty Logic: Reasoning about Fault Tolerant Programs
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
Matthew L. Meola and David Walker