5608 search results - page 809 / 1122 » On the Theory of Matchgate Computations |
168
click to vote
SPAA
2005
ACM
16 years 8 days 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...
161
click to vote
SPAA
2005
ACM
16 years 8 days ago
2005
ACM
This paper shows for the first time that elimination, a scaling technique formerly applied only to counters and LIFO structures, can be applied to FIFO data structures, specific...
170
click to vote
AIED
2005
Springer
16 years 7 days ago
2005
Springer
Time on task is an important predictor for how much students learn. However, students must be focused on their learning for the time invested to be productive. Unfortunately, stude...
174
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
Many industrial or research activities are so expensive that it is often benefitable for the involved agents to cofund the construction or the purchase of a common required resou...
180
click to vote
BIRTHDAY
2005
Springer
16 years 7 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...