17366 search results - page 3307 / 3474 » New Revision Algorithms |
183
click to vote
MICRO
2009
IEEE
16 years 3 days ago
2009
IEEE
Data structures define how values being computed are stored and accessed within programs. By recognizing what data structures are being used in an application, tools can make app...
152
click to vote
TPHOL
2009
IEEE
16 years 3 days ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...
160
click to vote
ATAL
2009
Springer
16 years 1 days ago
2009
Springer
Distributed Lagrangian Relaxation Protocol (DisLRP) has been proposed to solve a distributed combinatorial maximization problem called the Generalized Mutual Assignment Problem (G...
146
click to vote
ATAL
2009
Springer
16 years 1 days ago
2009
Springer
Certain observable features (tags), shared by a group of similar agents, can be used to signal intentions and can be effectively used to infer unobservable properties. Such infere...
146
click to vote
ATAL
2009
Springer
16 years 1 days ago
2009
Springer
The most important and interesting of the computing challenges we are facing are those that involve the problems and opportunities afforded by massive decentralization and disinte...