Sciweavers

1593 search results - page 59 / 319
» A visual programming system for automated problem solving
Sort
View
IWMM
2009
Springer
122views Hardware» more  IWMM 2009»
15 years 10 months ago
Parametric heap usage analysis for functional programs
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...
Leena Unnikrishnan, Scott D. Stoller
135
Voted
KBSE
2007
IEEE
15 years 9 months ago
An automated approach to monitoring and diagnosing requirements
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Req...
Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John M...
108
Voted
IV
2005
IEEE
142views Visualization» more  IV 2005»
15 years 9 months ago
Beyond Guidelines: What Can We Learn from the Visual Information Seeking Mantra?
The field of information visualization offers little methodological guidance to practitioners who seek to design novel systems. Though many sources describe the foundations of the...
Brock Craft, Paul A. Cairns
AGP
2010
IEEE
15 years 8 months ago
Constraint Logic Programming
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently use...
Marco Gavanelli, Francesca Rossi
107
Voted
EUROPAR
2003
Springer
15 years 8 months ago
Why Not Use a Pattern-Based Parallel Programming System?
Parallel programming is seen as an effective technique to improve the performance of computationally-intensive programs. This is done at the cost of increasing the complexity of t...
John Anvik, Jonathan Schaeffer, Duane Szafron, Kai...