1640 search results - page 199 / 328 » Design of Synchronous Action Systems |
195
click to vote
MOC
2011
15 years 1 months ago
2011
We utilize effective algorithms for computing in the cohomology of a Shimura curve together with the Jacquet-Langlands correspondence to compute systems of Hecke eigenvalues assoc...
159
click to vote
OSDI
1996
ACM
15 years 7 months ago
1996
ACM
We present the design and evaluation of an on-thefly data-race-detection technique that handles applications written for the lazy release consistent (LRC) shared memory model. We ...
165
click to vote
HASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
150
click to vote
OTM
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We study large-scale distributed cooperative systems that use optimistic replication. We represent a system as a graph of actions (operations) connected by edges that rei...
162
click to vote
SIGIR
2005
ACM
15 years 12 months ago
2005
ACM
Measuring the information retrieval effectiveness of Web search engines can be expensive if human relevance judgments are required to evaluate search results. Using implicit user ...