4047 search results - page 69 / 810 » Algebraic Model Checking |
WSC
2000
15 years 2 months ago
2000
Input modeling that involves fitting standard univariate parametric probability distributions is typically performed using an input modeling package. These packages typically fit ...
77
Voted
SEMWEB
2004
Springer
15 years 6 months ago
2004
Springer
Faceted classification allows one to model applications with complex classification hierarchies using orthogonal dimensions. Recent work has examined the use of faceted classi...
121
click to vote
APIN
1998
15 years 11 days ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
125
click to vote
STOC
2012
ACM
13 years 3 months ago
2012
ACM
This work deals with the power of linear algebra in the context of multilinear computation. By linear algebra we mean algebraic branching programs (ABPs) which are known to be com...
111
Voted
PPOPP
2010
ACM
15 years 10 months ago
2010
ACM
This poster is a case study on the application of a novel programming model, called Concurrent Collections (CnC), to the implementation of an asynchronous-parallel algorithm for c...