Sciweavers

74 search results - page 9 / 15
» ProgDOC - A New Program Documentation System
Sort
View
KBSE
2003
IEEE
15 years 2 months ago
Specification and Synthesis of Hybrid Automata for Physics-Based Animation
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
Thomas Ellman
113
Voted
CPHYSICS
2007
437views more  CPHYSICS 2007»
14 years 9 months ago
Python: a language for computational physics
Python is a relatively new computing language, created by Guido van Rossum (Tanenbaum et al, 1990), which is particularly suitable for teaching a course in computational physics. ...
P. H. Borcherds
SIGUCCS
2003
ACM
15 years 2 months ago
Instructional support at small universities: a training perspective
This paper intends to present the challenges and opportunities encountered in technology training at small institutions using Trinity University as a case in point. During the cou...
Vidya Ananthanarayanan, Judith Reiffert
ECLIPSE
2006
ACM
15 years 3 months ago
JASPER: an Eclipse plug-in to facilitate software maintenance tasks
Recent research has shown that developers spend significant amounts of time navigating around code. Much of this time is spent on redundant navigations to code that the developer ...
Michael J. Coblenz, Andrew Jensen Ko, Brad A. Myer...
ADC
1999
Springer
97views Database» more  ADC 1999»
15 years 1 months ago
Pseudo-Naive Evaluation
We introduce pseudo-naive evaluation, a method for execution of mixed top-down/bottom-up logic programs and deductive databases. The method is intermediate in power between naive ...
Donald A. Smith, Mark Utting