MST
2011
13 years 6 months ago
2011
: We define a weighted monadic second order logic for unranked trees and the concept of weighted unranked tree automata, and we investigate the expressive power of these two conce...
MSS
2011
IEEE
13 years 6 months ago
2011
IEEE
MSS
2011
IEEE
13 years 6 months ago
2011
IEEE
MSS
2011
IEEE
13 years 6 months ago
2011
IEEE
The paper develops a contracting model where the principal frames the contract when the agent is unaware of some contingencies, yet is aware that she may be unaware. We call the c...
MSS
2011
IEEE
13 years 6 months ago
2011
IEEE
We consider bargaining problems under the assumption that players are loss averse, i.e., experience disutility from obtaining an outcome lower than some reference point. We follow...
MSS
2011
IEEE
13 years 6 months ago
2011
IEEE
MSS
2011
IEEE
13 years 6 months ago
2011
IEEE
MSS
2011
IEEE
13 years 6 months ago
2011
IEEE
MICRO
2011
IEEE
13 years 6 months ago
2011
IEEE
In a modern chip-multiprocessor system, memory is a shared resource among multiple concurrently executing threads. The memory scheduling algorithm should resolve memory contention...
DATE
2010
IEEE
13 years 6 months ago
2010
IEEE
The stream processing characteristics of many embedded system applications in multimedia and networking domains have led to the advent of stream based programming formats. Several ...