4233 search results - page 315 / 847 » Three Paths to Effectiveness |
165
click to vote
DAC
2003
ACM
15 years 12 months ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
173
click to vote
CSEE
2003
Springer
15 years 12 months ago
2003
Springer
This paper describes our experience of teaching a Software Engineering course based on the use of group work to teaching and practise theoretical concepts. Our work has three main...
185
Voted
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Particle swarm optimization (PSO) is a new evolutionary computation technique. Although PSO algorithm possesses many attractive properties, the methods of selecting inert...
208
click to vote
HPCA
1998
IEEE
15 years 11 months ago
1998
IEEE
Parallel computing on clusters of workstations is attractive because of the low costs in comparison to MPPs, but the speed of the local area network limits the class of applicatio...
135
click to vote
ECLIPSE
2007
ACM
15 years 10 months ago
2007
ACM
The navigation of structural dependencies (e.g., method invocations) when a developer performs a change task is an effective strategy in program investigation. Several existing ap...