Sciweavers

34 search results - page 5 / 7
» The use of C exception handling constructs: A comprehensiv...
Sort
View
ICSE
2012
IEEE-ACM
12 years 22 days ago
Synthesizing API usage examples
Abstract—Key program interfaces are sometimes documented with usage examples: concrete code snippets that characterize common use cases for a particular data type. While such doc...
Raymond P. L. Buse, Westley Weimer
ICSE
2004
IEEE-ACM
14 years 10 months ago
Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow
Although object-oriented languages can improve programming practices, their characteristics may introduce new problems for software engineers. One important problem is the presenc...
Saurabh Sinha, Alessandro Orso, Mary Jean Harrold
SPAA
2006
ACM
14 years 4 months ago
Astronomical real-time streaming signal processing on a Blue Gene/L supercomputer
LOFAR is the first of a new generation of radio telescopes, that combines the signals from many thousands of simple, fixed antennas, rather than from expensive dishes. Its revol...
John W. Romein, P. Chris Broekema, Ellen van Meije...
HYBRID
2003
Springer
14 years 3 months ago
Reachability Analysis of Nonlinear Systems Using Conservative Approximation
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...
Eugene Asarin, Thao Dang, Antoine Girard
PLILP
1997
Springer
14 years 2 months ago
DrScheme: A Pedagogic Programming Environment for Scheme
Abstract. Teaching introductory computing courses with Scheme elevates the intellectual level of the course and thus makes the subject more appealing to students with scienti c int...
Robert Bruce Findler, Cormac Flanagan, Matthew Fla...