1974 search results - page 221 / 395 » A Library System for Small-Scale Library |
ERCIMDL
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. An architecture that provides personalised filtering and dissemination of news items is presented. It is based on user profiles and it provides mechanisms that allow the ...
126
Voted
IWMM
2000
Springer
15 years 5 months ago
2000
Springer
We describe a novel approach to obtaining type-accurate information for garbage collection in a hardware and language independent way. Our approach uses a run-time analysis to pro...
109
click to vote
LICS
2000
IEEE
15 years 5 months ago
2000
IEEE
Equality and subtyping of recursive types have been studied in the 1990s by Amadio and Cardelli; Kozen, Palsberg, and Schwartzbach; Brandt and Henglein; and others. Potential appl...
112
click to vote
PADL
2000
Springer
15 years 5 months ago
2000
Springer
We show how the features of modern integrated functional logic programming languages can be exploited to implement graphical user interfaces (GUIs) in a high-level declarative styl...
110
click to vote
ASPDAC
1995
ACM
15 years 5 months ago
1995
ACM
In this paper we describe, a powerful post-synthesis approach called reclocking, for performance improvement by minimizing the total execution time. By back annotating the wire del...