4276 search results - page 237 / 856 » Techniques for Empirical Validation |
168
click to vote
ISITA
2010
15 years 4 months ago
2010
A new lossless data compression technique called compression via substring enumeration (CSE) has recently been introduced. It has been observed that CSE achieves lower performance ...
179
click to vote
ICSM
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper introduces an automated technique for feature location: helping developers map features to relevant source code. Like several other automated feature location technique...
145
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
As software evolves, impact analysis estimates the potential effects of changes, before or after they are made, by identifying which parts of the software may be affected by such ...
124
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Wireless capsule video endoscopy is a novel and challenging clinical technique, whose major reported drawback relates to the high amount of time needed for video visualization. In...
284
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...