Sciweavers

4242 search results - page 517 / 849
» An Event Spacing Experiment
Sort
View
ASPDAC
2007
ACM
89views Hardware» more  ASPDAC 2007»
15 years 11 months ago
Trace Compaction using SAT-based Reachability Analysis
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...
Sean Safarpour, Andreas G. Veneris, Hratch Mangass...
CAV
2007
Springer
145views Hardware» more  CAV 2007»
15 years 11 months ago
Hybrid Systems: From Verification to Falsification
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
CONEXT
2007
ACM
15 years 10 months ago
Multipath live streaming via TCP: scheme, performance and benefits
Motivated by the wide use of TCP for streaming in practice and the increasing availability of multipath between end hosts, we study multipath live streaming via TCP in this paper....
Bing Wang, Wei Wei, Zheng Guo, Donald F. Towsley
DAGM
2007
Springer
15 years 10 months ago
Efficient Image Segmentation Using Pairwise Pixel Similarities
Image segmentation based on pairwise pixel similarities has been a very active field of research in recent years. The drawbacks common to these segmentation methods are the enormou...
Christopher Rohkohl, Karin Engel
ECAL
2007
Springer
15 years 10 months ago
Artificial Ecosystem Selection for Evolutionary Optimisation
Abstract. Artificial selection of microbial ecosystems for their collective function has been shown to be effective in laboratory experiments. In previous work, we used evolutionar...
Hywel T. P. Williams, Timothy M. Lenton