Sciweavers

799 search results - page 59 / 160
» Improving the feasibility pump
Sort
View
GLVLSI
2006
IEEE
95views VLSI» more  GLVLSI 2006»
16 years 16 hour ago
Test generation using SAT-based bounded model checking for validation of pipelined processors
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
Heon-Mo Koo, Prabhat Mishra
ICDM
2006
IEEE
127views Data Mining» more  ICDM 2006»
16 years 11 hour ago
Optimal k-Anonymity with Flexible Generalization Schemes through Bottom-up Searching
In recent years, a major thread of research on kanonymity has focused on developing more flexible generalization schemes that produce higher-quality datasets. In this paper we in...
Tiancheng Li, Ninghui Li
INFOCOM
2006
IEEE
15 years 12 months ago
Source-Assisted Direction Estimation Inside Buildings
— Direction estimation inside buildings is a difficult and challenging task due to severe multipath signal propagation. Numerous algorithms and techniques exist that provide hig...
Kamran Sayrafian-Pour, Dominik Kaspar
IROS
2006
IEEE
112views Robotics» more  IROS 2006»
15 years 12 months ago
Pose and Motion from Omnidirectional Optical Flow and a Digital Terrain Map
— An algorithm for pose and motion estimation using corresponding features in omnidirectional images and a digital terrain map is proposed. In previous paper, such algorithm for ...
Ronen Lerner, Oleg Kupervasser, Ehud Rivlin
CONEXT
2006
ACM
15 years 12 months ago
Understanding the behavior of TCP for real-time CBR workloads
In this paper, we examine the feasibility of sending real-time CBR workloads over TCP. This is motivated by the friendliness of NATs and firewalls towards TCP as opposed to UDP a...
Salman Baset, Eli Brosh, Vishal Misra, Dan Rubenst...