2911 search results - page 474 / 583 » A Theory of Expressiveness in Mechanisms |
177
click to vote
CONPAR
1994
15 years 5 months ago
1994
Data parallel languages such as Vienna Fortran and HPF can be successfully applied to a wide range of numerical applications. However, many advanced scienti c and engineering appl...
106
click to vote
ICLP
1993
Springer
15 years 5 months ago
1993
Springer
nt an abstract instruction set for a constraint solver over finite domains, which can be smoothly integrated in the WAM architecture. It is based on the use of a single primitive...
111
Voted
VLDB
1994
ACM
15 years 5 months ago
1994
ACM
Advanced technical applications like routing systems or electrical network managementsystems introduce the need for complex manipulations of large size graphs. Efficiently support...
125
click to vote
CCS
2007
ACM
15 years 5 months ago
2007
ACM
We describe the formalization of a correctness proof for a conflict detection algorithm for firewalls in the Coq Proof Assistant. First, we give formal definitions in Coq of a fir...
111
click to vote
CIBCB
2007
IEEE
15 years 5 months ago
2007
IEEE
Gene regulatory network model is the most widely used mechanism to model and predict the behavior of living organisms. Network Component Analysis (NCA) as an emerging issue for unc...