8109 search results - page 1514 / 1622 » A Model of Component-Based Programming |
137
click to vote
DISOPT
2011
14 years 6 months ago
2011
In recent years there has been growing interest in generating valid inequalities for mixedinteger programs using sets with 2 or more constraints. In particular, Andersen et al. (2...
169
Voted
HPDC
2011
IEEE
14 years 6 months ago
2011
IEEE
We investigate proactive dynamic load balancing on multicore systems, in which threads are continually migrated to reduce the impact of processor/thread mismatches to enhance the ...
158
Voted
INFOCOM
2011
IEEE
14 years 6 months ago
2011
IEEE
—Cooperative communication has attracted dramatic attention in the last few years due to its advantage in mitigating channel fading. Despite much effort that has been made in the...
172
Voted
ICCV
2011
IEEE
14 years 2 months ago
2011
IEEE
This paper addresses scene understanding in the context of a moving camera, integrating semantic reasoning ideas from monocular vision with 3D information available through struct...
151
Voted
CCS
2011
ACM
14 years 2 months ago
2011
ACM
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...