39362 search results - page 417 / 7873 » Global Computing Systems |
145
click to vote
MSE
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes a custom design approach as applied to power management in an innovative course on rapid prototyping of computer systems at Carnegie Mellon. We emphasize the ...
157
click to vote
RTA
1995
Springer
15 years 9 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...
147
Voted
MFCS
2010
Springer
15 years 4 months 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...
129
click to vote
SIGCSE
2004
ACM
15 years 11 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...
133
click to vote
AISC
2008
Springer
15 years 8 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...