215 search results - page 9 / 43 » Church-Rosser Made Easy |
JUCS
2007
13 years 7 months ago
2007
: This paper presents a project that provides both, to professors and to students, a tool that is useful for studying, teaching and learning how pipelines work and how they can be ...
DAMON
2006
Springer
13 years 11 months ago
2006
Springer
A new trend in processor design is increased on-chip support for multithreading in the form of both chip multiprocessors and simultaneous multithreading. Recent research in databa...
BPM
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. We propose a resource management policy that grants or refuses requests for resources based only on the request made and the number of free resources. Computations at run...
ITC
2003
IEEE
14 years 20 days ago
2003
IEEE
Prior to the mid 1980s, the dominance of through-hole packaging of integrated circuits (ICs) provided easy access to nearly every pin of every chip on a printed circuit board. Pro...
AISC
2008
Springer
13 years 9 months ago
2008
Springer
In [9], various observations on the handling of (physical) units in OpenMath were made. In this paper, we update those observations, and make some comments based on a working unit ...