7694 search results - page 874 / 1539 » An Implementation of an Applicative File System |
191
click to vote
ICICS
2001
Springer
16 years 4 days ago
2001
Springer
With the ubiquitous deployment of large scale networks more and more complex human interactions are supported by computer applications. This poses new challenges on the expressive...
221
click to vote
PLDI
2000
ACM
16 years 2 days ago
2000
ACM
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...
173
click to vote
BIOADIT
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. This article describes an implementation of a basic multiprocessor system that exhibits replication and differentiation abilities on the POEtic tissue, a programmable har...
235
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Support vector machines (SVMs) are an extremely successful type of classification and regression algorithms. Building an SVM entails solving a constrained convex quadratic program...
172
click to vote
PTS
2010
15 years 6 months ago
2010
This paper addresses the challenge of generating test sets that achieve functional coverage, in the absence of a complete specification. The inductive testing technique works by p...