Sciweavers

1433 search results - page 236 / 287
» An approach to detecting failures automatically
Sort
View
ISCIS
2004
Springer
15 years 5 months ago
Software Testing via Model Checking
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
Fevzi Belli, Baris Güldali
MM
2003
ACM
140views Multimedia» more  MM 2003»
15 years 5 months ago
Looking into video frames on small displays
With the growing popularity of personal digital assistants and smart phones, people have become enthusiastic to watch videos through these mobile devices. However, a crucial chall...
Xin Fan, Xing Xie, He-Qin Zhou, Wei-Ying Ma
MICRO
2002
IEEE
113views Hardware» more  MICRO 2002»
15 years 4 months ago
Vacuum packing: extracting hardware-detected program phases for post-link optimization
This paper presents Vacuum Packing, a new approach to profile-based program optimization. Instead of using traditional aggregate or summarized execution profile weights, this ap...
Ronald D. Barnes, Erik M. Nystrom, Matthew C. Mert...
SCALESPACE
2009
Springer
15 years 4 months ago
From a Single Point to a Surface Patch by Growing Minimal Paths
Abstract. We introduce a novel implicit approach for surface patch segmentation in 3D images starting from a single point. Since the boundary surface of an object is locally homeom...
Fethallah Benmansour, Laurent D. Cohen
VLSISP
2008
140views more  VLSISP 2008»
14 years 11 months ago
Regular Expression Matching in Reconfigurable Hardware
In this paper we describe a regular expression pattern matching approach for reconfigurable hardware. Following a Non-deterministic Finite Automata direction, we introduce three ne...
Ioannis Sourdis, João Bispo, João M....