503 search results - page 68 / 101 » Equality In Lazy Computation Systems |
GROUP
2005
ACM
14 years 2 months ago
2005
ACM
VERN is an online collaborative tool that coordinates and distributes the process of finding optimal meeting times across the members of a group. The system combines the underlyin...
EUROPAR
2001
Springer
14 years 1 months ago
2001
Springer
High-accuracy PDE solvers use multi-dimensional fast Fourier transforms. The FFTs exhibits a static and structured memory access pattern which results in a large amount of communic...
ICPP
1999
IEEE
14 years 28 days ago
1999
IEEE
There has been much work recently on improving the locality performance of loop nests in scientific programs through the use of loop as well as data layout optimizations. However,...
IWAI
1999
Springer
14 years 27 days ago
1999
Springer
In a multi-agent system, agents must decide what to do and by what order. Autonomy is a key notion in such a system, since it is mainly the autonomy of the agents that makes the en...
ACL2
2006
ACM
14 years 12 days ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...