16190 search results - page 436 / 3238 » Applicative programming with effects |
121
click to vote
FCCM
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a processor and memory-hierarchy prototype based on FPGAs that provides hardware support for program rollback. We use this prototype to demonstrate how compile...
130
click to vote
DEXA
2005
Springer
15 years 10 months ago
2005
Springer
Finding intensional encapsulations of database subsets is the inverse of query evaluation. Whereas query evaluation transforms an intensional expression (the query) to its extensi...
158
click to vote
FIDJI
2003
Springer
15 years 10 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
144
Voted
ICCBR
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The definition of similarity measures is one of the most crucial aspects when developing case-based applications. In particular, when employing similarity measures that ...
135
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this demo description, we present Konduit, a desktopbased platform for visual programming with RDF data. Based on the idea of the semantic desktop, non-technical users...