8874 search results - page 105 / 1775 » A New Implementation of Automath |
130
Voted
ICFP
1997
ACM
15 years 7 months ago
1997
ACM
General media-processing programs are easily expressed with bitaddressing and variable-sized bit-fields. But the natural implementation of bit-addressing relies on dynamic shift ...
121
Voted
WIKIS
2010
ACM
15 years 7 months ago
2010
ACM
While text versioning was definitely a part of the original hypertext concept [21, 36, 44], it is rarely considered in this context today. Still, we know that revision control un...
108
Voted
ACSD
2004
IEEE
15 years 7 months ago
2004
IEEE
Abstract. A delay-insensitive module communicates with its environment through wires of unbounded delay. To avoid transmission interference, the absorption of a signal transition m...
138
Voted
CCGRID
2004
IEEE
15 years 7 months ago
2004
IEEE
Grid computing promises the ability to share geographically and organizationally distributed resources to increase effective computational power and resource utilization. However,...
166
Voted
DEXA
1997
Springer
15 years 7 months ago
1997
Springer
Nowadays, if we want to obtain a sound and correct final software product it is very important to be able to properly join modern OO programming environments, which are built for ...