8874 search results - page 39 / 1775 » A New Implementation of Automath |
INFORMATICALT
2002
13 years 10 months ago
2002
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...
ICIP
2002
IEEE
15 years 17 days ago
2002
IEEE
In this paper, we present a novel image interpolation method based on variational models with both smoothing and orientation constraints. By introducing the orientation constraint...
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
Successful open source projects foster collaboration and innovation while benefiting from a faster pace of development, but are often plagued by poor developer's documentatio...
ECOOPW
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Software evolution has largely been focused on low-level implementation artefacts through refactoring techniques rather than the architectural level. However code-centric...
SOSP
1989
ACM
14 years 4 days ago
1989
ACM
This paper reports our experiences implementing remote procedure call (RPC) protocols in the x-kernel. This exercise is interesting because the RPC protocols exploit two novel des...