3616 search results - page 65 / 724 » Conditional Memory Ordering |
140
click to vote
FOSSACS
2012
Springer
14 years 2 days ago
2012
Springer
We consider concurrent games played on graphs, in which each player has several qualitative (e.g. reachability or B¨uchi) objectives, and a preorder on these objectives (for insta...
130
click to vote
SPAA
2005
ACM
15 years 10 months ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
172
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
130
click to vote
ERSHOV
2009
Springer
15 years 11 months ago
2009
Springer
One of the applications of supercompilation is proving properties
of programs.We focus in this paper on a speci c task: proving term
equivalence for a higher-order lazy functiona...
125
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Using a linear decomposition of continuous phase modulated (CPM) signals with tilted-phase, sufficient conditions are derived under which M-ary partial-response CPM spacetime ...