8874 search results - page 39 / 1775 » A New Implementation of Automath |
109
Voted
INFORMATICALT
2002
15 years 9 days 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
16 years 2 months 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...
82
Voted
ICSE
2007
IEEE-ACM
16 years 21 days 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...
136
click to vote
ECOOPW
2006
Springer
15 years 4 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...
105
click to vote
SOSP
1989
ACM
15 years 1 months 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...