Sciweavers

167 search results - page 24 / 34
» Directions in Functional Programming for Real(-Time) Applica...
Sort
View
PLDI
2010
ACM
14 years 1 months ago
Smooth interpretation
We present smooth interpretation, a method to systematically approximate numerical imperative programs by smooth mathematical functions. This approximation facilitates the use of ...
Swarat Chaudhuri, Armando Solar-Lezama
APWEB
2005
Springer
14 years 2 months ago
DSL Weaving for Distributed Information Flow Systems
Aspect-oriented programming (AOP) is a promising field for reducing application complexity. However, it has proven difficult to implement weavers for general purpose languages. Nev...
Calton Pu, Galen S. Swint
ACSC
2004
IEEE
14 years 16 days ago
Automatic Derivation of Loop Termination Conditions to Support Verification
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
Daniel Powell
HPCN
1995
Springer
14 years 10 days ago
Exploiting high performance Fortran for computational fluid dynamics
Abstract. We discuss the High Performance Fortran data parallel programming language as an aid to software engineering and as a tool for exploiting High Performance Computing syste...
Kenneth A. Hawick, Geoffrey Fox
OZCHI
2009
ACM
14 years 3 months ago
Using a multi-touch tabletop for upper extremity motor rehabilitation
Millions of people in Canada have impairments that result in a loss of function and directly affect their ability to carry out activities of daily living. Many individuals with di...
Michelle Annett, Fraser Anderson, Darrell Goertzen...