Sciweavers

799 search results - page 59 / 160
» Improving the feasibility pump
Sort
View
GLVLSI
2006
IEEE
95views VLSI» more  GLVLSI 2006»
15 years 4 months 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»
15 years 4 months 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 4 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 4 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 4 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...