7576 search results - page 191 / 1516 » UNIX as an Application Program |
138
click to vote
PEPM
2007
ACM
15 years 10 months ago
2007
ACM
XML graphs have shown to be a simple and effective formalism for representing sets of XML documents in program analysis. It has evolved through a six year period with variants tai...
117
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...
128
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...
156
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...
140
click to vote
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 ...