2542 search results - page 141 / 509 » One step ahead |
ENTCS
2010
13 years 9 months ago
2010
We propose a formal framework for extending a class-based language, equipped with a given class composition mechanism, to allow programmers to define their own derived composition...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
: This communication describes a representation of images as a set of edges characterized by their position and orientation. This representation allows the comparison of two images...
FMSD
2006
13 years 9 months ago
2006
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...
JMLR
2006
13 years 9 months ago
2006
An essential step in designing a new computer architecture is the careful examination of different design options. It is critical that computer architects have efficient means by ...
ENTCS
2007
13 years 9 months ago
2007
We tackle the problem of data-structure rewriting including global and local pointer redirections. Each basic rewrite step may perform three kinds of actions: (i) Local redirectio...