4666 search results - page 19 / 934 » Equations on Timed Languages |
PEPM
2004
ACM
14 years 3 months ago
2004
ACM
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...
ICFP
2007
ACM
14 years 10 months ago
2007
ACM
This paper presents an automatic deforestation system, stream fusion, based on equational transformations, that fuses a wider range of functions than existing short-cut fusion sys...
ANSS
2006
IEEE
14 years 4 months ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
SCP
2011
13 years 5 months ago
2011
In the field of scientific computing there is a manifold of software applications and tools available which provide methods and libraries for the solution of very specific prob...
ICCS
2003
Springer
14 years 3 months ago
2003
Springer
The numerical solution of the time dependent wave equation in an unbounded domain generally leads to a truncation of this domain,