Sciweavers

1086 search results - page 7 / 218
» Programming by Numbers: A Programming Method for Novices
Sort
View
SAS
2010
Springer
140views Formal Methods» more  SAS 2010»
13 years 5 months ago
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...
Christophe Alias, Alain Darte, Paul Feautrier, Lau...
GROUP
2005
ACM
14 years 1 months ago
Pair programming and the re-appropriation of individual tools for collaborative programming
Although pair programming is becoming more prevalent in software development, and a number of reports have been written about it [4] [6], few have addressed the manner in which pa...
Sallyann Bryant, Pablo Romero, Benedict du Boulay
ICFP
2003
ACM
14 years 7 months ago
Software is discrete mathematics
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
Rex L. Page
IOR
2010
98views more  IOR 2010»
13 years 4 months ago
A Shadow Simplex Method for Infinite Linear Programs
We present a Simplex-type algorithm, that is, an algorithm that moves from one extreme point of the infinite-dimensional feasible region to another not necessarily adjacent extrem...
Archis Ghate, Dushyant Sharma, Robert L. Smith
CHI
2006
ACM
13 years 11 months ago
Representation of interwoven surfaces in 2 1/2 D drawing
The state-of-the-art in computer drawing programs is based on a number of concepts that are over two decades old. One such concept is the use of layers for ordering the surfaces i...
Keith Wiley, Lance R. Williams