4224 search results - page 564 / 845 » Reasoning about Choice |
178
click to vote
LCPC
2005
Springer
16 years 6 days ago
2005
Springer
Thread-level speculation (TLS) allows potentially dependent threads to speculatively execute in parallel, thus making it easier for the compiler to extract parallel threads. Howeve...
188
click to vote
ACMICEC
2004
ACM
16 years 4 days ago
2004
ACM
Electronic voting has become one of the most popular activities over the Internet. Security and privacy are always regarded as crucial factors in electronic voting system design. ...
199
click to vote
BIRTHDAY
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
168
click to vote
ILP
2004
Springer
16 years 2 days ago
2004
Springer
Recent statistical performance surveys of search algorithms in difficult combinatorial problems have demonstrated the benefits of randomising and restarting the search procedure. ...
158
click to vote
ASWEC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes the development of an experience factory in an Australian organization involved in the field of telecommunications. Faced with improvement needs, in 1998 the ...