Sciweavers

894 search results - page 105 / 179
» Active Reliable Multicast
Sort
View
VLSID
1999
IEEE
104views VLSI» more  VLSID 1999»
15 years 2 months ago
Interconnect Optimization Strategies for High-Performance VLSI Designs
Interconnect tuning and repeater insertion are necessary to optimize interconnectdelay, signalperformanceandintegrity, andinterconnectmanufacturability and reliability. Repeater i...
Andrew B. Kahng, Sudhakar Muddu, Egino Sarto
ICFEM
1997
Springer
15 years 2 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
AAAI
2010
14 years 11 months ago
Community-Guided Learning: Exploiting Mobile Sensor Users to Model Human Behavior
Modeling human behavior requires vast quantities of accurately labeled training data, but for ubiquitous people-aware applications such data is rarely attainable. Even researchers...
Daniel Peebles, Hong Lu, Nicholas D. Lane, Tanzeem...
FORTE
2008
14 years 11 months ago
Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...
Guoqiang Shu, Yating Hsu, David Lee
ICRA
2010
IEEE
119views Robotics» more  ICRA 2010»
14 years 8 months ago
An Inertia-Based Surface Identification System
—In many robotics applications, knowing the material properties around a robot is often critical for the robot’s successful performance. For example, in mobility, knowledge abo...
Jens Windau, Wei-Min Shen