3571 search results - page 447 / 715 » Cohen and Set Theory |
187
click to vote
PPOPP
2005
ACM
16 years 6 days ago
2005
ACM
We want to perform compile-time analysis of an SPMD program and place barriers in it to synchronize it correctly, minimizing the runtime cost of the synchronization. This is the b...
144
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
This paper aims at proposing a general formal framework for dialogue between autonomous agents which are looking for a common agreement about a collective choice. The proposed set...
179
click to vote
BIRTHDAY
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these...
153
click to vote
CHES
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. It has recently been shown that logic circuits in the implementation of cryptographic algorithms, although protected by “secure” random masking schemes, leak side-cha...
186
click to vote
COCOON
2005
Springer
16 years 6 days ago
2005
Springer
To monitor an electric power system by placing as few phase measurement units (PMUs) as possible is closely related to the famous vertex cover problem and domination problem in gr...