2488 search results - page 482 / 498 » An improvement in formal verification |
100
click to vote
WMPI
2004
ACM
15 years 6 months ago
2004
ACM
The Opie Project aims to develop a compiler to transform C codes written for row-major matrix representation into equivalent codes for Morton-order matrix representation, and to a...
NIME
2004
Springer
15 years 6 months ago
2004
Springer
On-the-fly programming is a style of programming in which the programmer/performer/composer augments and modifies the program while it is running, without stopping or restarting, ...
115
click to vote
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...
137
click to vote
PPSN
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper discusses how preference information of the decision maker can in general be integrated into multiobjective search. The main idea is to first define the opti...
104
click to vote
SELMAS
2004
Springer
15 years 6 months ago
2004
Springer
If agents are to negotiate automatically with one another they must share a negotiation mechanism, specifying what possible actions each party can take at any given time, when nego...