4666 search results - page 52 / 934 » Equations on Timed Languages |
ICALP
1998
Springer
14 years 3 months ago
1998
Springer
ESOP
1994
Springer
14 years 2 months ago
1994
Springer
Scientists and engineers must ensure that physical equations are dimensionally consistent, but existing programming languages treat all numeric values as dimensionless. This paper ...
ECOOP
1987
Springer
14 years 2 months ago
1987
Springer
``Object-Oriented Programming'' and ``Data Abstraction'' have become very common terms. Unfortunately, few people agree on what they mean. I will offer informa...
HYBRID
2003
Springer
14 years 4 months ago
2003
Springer
The algorithmic analysis of timed automata is fundamentally limited by the undecidability of the universality problem. For this reason and others, there has been considerable inter...
IPPS
2007
IEEE
14 years 5 months ago
2007
IEEE
Partial differential equations (PDEs) are used to model physical phenomena and then appropriate convergent numerical algorithms are employed to solve them and create computer simu...