Sciweavers

8197 search results - page 380 / 1640
» Adaptive functional programming
Sort
View
SIAMSC
2008
142views more  SIAMSC 2008»
15 years 6 months ago
Multitarget Error Estimation and Adaptivity in Aerodynamic Flow Simulations
Important quantities in aerodynamic flow simulations are the aerodynamic force coefficients including the pressure induced and the viscous stress induced drag, lift and moment coef...
Ralf Hartmann
FROCOS
2005
Springer
16 years 10 days ago
ATS: A Language That Combines Programming with Theorem Proving
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...
Sa Cui, Kevin Donnelly, Hongwei Xi
JCP
2008
178views more  JCP 2008»
15 years 6 months ago
Building Design Optimization Using Sequential Linear Programming
-In this paper a nonlinear programming approach is used for the minimization of total communication cost to determine the optimum room dimensions for each room. The nonlinear progr...
Rekha Bhowmik
SIGCSE
2002
ACM
131views Education» more  SIGCSE 2002»
15 years 6 months ago
JERPA: a distance-learning environment for introductory Java programming courses
This paper describes a Java-based distance-education tool, called the Environment for Remote Programming Assignments in Java (JERPA), for use in computer science courses with Java...
David Emory, Roberto Tamassia
IPPS
1998
IEEE
15 years 11 months ago
Locality Optimization for Program Instances
Abstract. The degree of locality of a program re ects the level of temporal and spatial concentration of related data and computations. Locality optimization can speed up programs ...
Claudia Leopold