2774 search results - page 200 / 555 » Query-Driven Program Testing |
190
Voted
IFIP
2005
Springer
16 years 3 days ago
2005
Springer
A new quasi-Newton scheme for updating a low rank positive semi-definite Hessian approximation is described, primarily for use in sequential quadratic programming methods for non...
165
click to vote
ERLANG
2004
ACM
16 years 1 days ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
137
click to vote
SIGITE
2004
ACM
16 years 1 days ago
2004
ACM
This experience report describes lessons learned using first generation tablet PCs to support active learning in an undergraduate computer science laboratory course. We learned th...
179
click to vote
ICDCS
1998
IEEE
15 years 11 months ago
1998
IEEE
We introduce a new performance metric, called Load Balancing Factor (LBF), to assist programmers with evaluating different tuning alternatives. The LBF metric differs from traditi...
179
click to vote
ICPP
1994
IEEE
15 years 10 months ago
1994
IEEE
1 In this paper, we explore the problem of scheduling parallel programs using task duplication for messagepassing multicomputers. Task duplication means scheduling a parallel progr...