1492 search results - page 170 / 299 » Testing Properties of Constraint-Graphs |
130
Voted
FOCS
1998
IEEE
15 years 8 months ago
1998
IEEE
The properties of any system of k simultaneous equations in n variables over GF(q), are studied, with a particular emphasis on unsatisfiable systems. A general formula for the num...
132
Voted
ICCL
1998
IEEE
15 years 8 months ago
1998
IEEE
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
125
click to vote
SAFECOMP
1999
Springer
15 years 8 months ago
1999
Springer
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
138
click to vote
SSDBM
1997
IEEE
15 years 8 months ago
1997
IEEE
Summarizability of OLAP and Statistical Databases is an a extremely important property because violating this condition can lead to erroneous conclusions and decisions. In this pa...
181
click to vote
CONCUR
1994
Springer
15 years 8 months ago
1994
Springer
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...