2774 search results - page 200 / 555 » Query-Driven Program Testing |
133
click to vote
IFIP
2005
Springer
15 years 9 months 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...
118
click to vote
ERLANG
2004
ACM
15 years 8 months 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...
103
Voted
SIGITE
2004
ACM
15 years 8 months 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...
131
Voted
ICDCS
1998
IEEE
15 years 7 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...
123
Voted
ICPP
1994
IEEE
15 years 7 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...