Sciweavers

1070 search results - page 94 / 214
» Type Classes with Functional Dependencies
Sort
View
ICECCS
1995
IEEE
94views Hardware» more  ICECCS 1995»
14 years 20 days ago
Requirements for client/server performance modeling
Design, performance management, and capacity planning of client/server applications in the commercial enterprise depends on the ability to model these distributed applications at ...
Joseph J. Martinka
SIAMCO
2002
72views more  SIAMCO 2002»
13 years 8 months ago
Filtering of Nonlinear Stochastic Feedback Systems
This paper concerns the filtering problem for a class of stochastic nonlinear systems where the drift term may depend either on some external function (open-loop system) or on the ...
Francesco Carravetta, Alfredo Germani, Robert Sh. ...
POPL
2003
ACM
14 years 9 months ago
Selective memoization
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...
Umut A. Acar, Guy E. Blelloch, Robert Harper
AIIA
2009
Springer
14 years 3 months ago
Partitioning Search Spaces of a Randomized Search
This paper studies the following question: given an instance of the propositional satisfiability problem, a randomized satisfiability solver, and a cluster of n computers, what i...
Antti Eero Johannes Hyvärinen, Tommi A. Juntt...
BMCBI
2006
158views more  BMCBI 2006»
13 years 9 months ago
Parallelization of multicategory support vector machines (PMC-SVM) for classifying microarray data
Background: Multicategory Support Vector Machines (MC-SVM) are powerful classification systems with excellent performance in a variety of data classification problems. Since the p...
Chaoyang Zhang, Peng Li, Arun Rajendran, Youping D...