7168 search results - page 1161 / 1434 » A Factorization Approach to Grouping |
166
click to vote
DATE
1998
IEEE
15 years 11 months ago
1998
IEEE
Petri nets are a graph-based formalism appropriate to model concurrentsystems such as asynchronouscircuits or network protocols. Symbolic techniques based on Binary Decision Diagr...
211
click to vote
ICS
1999
Tsinghua U.
15 years 11 months ago
1999
Tsinghua U.
On modern computers, the performance of programs is often limited by memory latency rather than by processor cycle time. To reduce the impact of memory latency, the restructuring ...
176
click to vote
HPCA
1998
IEEE
15 years 11 months ago
1998
IEEE
Dependences among loads and stores whose addresses are unknown hinder the extraction of instruction level parallelism during the execution of a sequential program. Such ambiguous ...
197
click to vote
AMET
1998
Springer
15 years 11 months ago
1998
Springer
We present an approach to the bid-evaluation problem in a system for multi-agent contract negotiation, called MAGNET. The MAGNET market infrastructure provides support for a variet...
140
click to vote
IDMS
1998
Springer
15 years 11 months ago
1998
Springer
As the popularity of the World Wide Web increases, the amount of traffic results in major congestion problems for the retrieval of data over wide distances. To react to this, user...