4370 search results - page 704 / 874 » Algebra of Logic Programming |
119
click to vote
EUROMICRO
1998
IEEE
15 years 8 months ago
1998
IEEE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
139
Voted
STOC
1998
ACM
15 years 8 months ago
1998
ACM
We present a Monte Carlo algorithm for testing multivariate polynomial identities over any field using fewer random bits than other methods. To test if a polynomial P(x1 ::: xn) ...
155
Voted
IFL
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
149
Voted
HYBRID
1997
Springer
15 years 8 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
193
click to vote
CONCUR
1993
Springer
15 years 7 months ago
1993
Springer
During the course of the last decade, a mathematical model for the parallelization of FOR-loops has become increasingly popular. In this model, a (perfect) nest of r FOR-loops is r...