Sciweavers

1934 search results - page 273 / 387
» Application specific NoC design
Sort
View
CCECE
2006
IEEE
16 years 11 days ago
A Formal CSP Framework for Message-Passing HPC Programming
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
John D. Carter, William B. Gardner
HAPTICS
2006
IEEE
16 years 11 days ago
Haptic-Based Biometrics: A Feasibility Study
Biometric systems identify users based on behavioral or physiological characteristics. The advantages of such systems over traditional authentication methods such as passwords are...
Mauricio Orozco Trujillo, Yednek Asfaw, Shervin Sh...
TABLETOP
2006
IEEE
16 years 9 days ago
TeamSearch: Comparing Techniques for Co-Present Collaborative Search of Digital Media
Interactive tables can enhance small-group colocated collaborative work in many domains. One application enabled by this new technology is copresent, collaborative search for digi...
Meredith Ringel Morris, Andreas Paepcke, Terry Win...
ISSRE
2005
IEEE
15 years 12 months ago
Automated Checking for Windows Host Vulnerabilities
Evaluation of computing system security requires knowledge of the vulnerabilities present in the system and of potential attacks against the system. Vulnerabilities can be classif...
Matin Tamizi, Matt Weinstein, Michel Cukier
FSR
2005
Springer
88views Robotics» more  FSR 2005»
15 years 12 months ago
Efficient Braking Model for Off-Road Mobile Robots
In the near future, off-road mobile robots will feature high levels of autonomy which will render them useful for a variety of tasks on Earth and other planets. Many terrestrial a...
Mikhail Pivtoraiko, Alonzo Kelly, Peter Rander