34199 search results - page 32 / 6840 » Petascale Computational Systems |
112
click to vote
RTA
1995
Springer
15 years 5 months ago
1995
Springer
We use computational systems to express a completion with constraints procedure that gives priority to simplifications. Computational systems are rewrite theories enriched by stra...
102
click to vote
MFCS
2010
Springer
15 years 11 days ago
2010
Springer
Abstract. In this paper we discuss the computational power of Lipschitz dynamical systems which are robust to infinitesimal perturbations. Whereas the study in [1] was done only f...
SIGCSE
2004
ACM
15 years 7 months ago
2004
ACM
Computer science instructors frequently teach using slides displayed with a computer and a data projector. This has many advantages, e.g., ability to present prepared materials an...
AISC
2008
Springer
15 years 4 months ago
2008
Springer
This paper discusses the pros and cons of using a functional language for implementing a computer algebra system. The contributions of the paper are twofold. Firstly, we discuss so...
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— One of the important and efficient tools in system analysis is the analysis of responses to harmonic excitations. For linear systems the information on such responses is conta...