4491 search results - page 480 / 899 » Algorithm Engineering |
164
click to vote
ICSE
1993
IEEE-ACM
15 years 9 months ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
136
click to vote
SIGSOFT
1993
ACM
15 years 9 months ago
1993
ACM
1 Many software libraries (e.g., the Booch C++ Components, libg++, NIHCL, COOL) provide components (classes) that implement data structures. Each component is written by hand and r...
165
click to vote
ICSE
1992
IEEE-ACM
15 years 9 months ago
1992
IEEE-ACM
Although there is much interest in creating libraries of well-designed, thoroughly-tested classes that can be confidently reused for many applications, few class testing technique...
139
Voted
UIST
1994
ACM
15 years 9 months ago
1994
ACM
Communication is about people, not machines. But as firms and families alike spread out geographically, we rely increasingly on telecommunications tools to keep us "connected...
124
Voted
UIST
1994
ACM
15 years 9 months ago
1994
ACM
We propose a new evolutionary method of extracting user preferences from examples shown to an automatic graph layout system. Using stochastic methods such as simulated annealing a...