5748 search results - page 1022 / 1150 » Contexts for the Semantic Web |
174
click to vote
TLDI
2010
ACM
16 years 3 months ago
2010
ACM
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
151
click to vote
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
MLF is a type system that seamlessly merges ML-style implicit but second-class polymorphism with System F explicit first-class polymorphism. We present xMLF, a Church-style versi...
160
click to vote
AOSD
2009
ACM
16 years 1 months ago
2009
ACM
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires proper means for scoping aspects. Scoping issues are particularly crucial in a distribu...
148
click to vote
CLUSTER
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—In this paper we focus on optimizing the performance in a cluster of Simultaneous Multithreading (SMT) processors connected with a commodity interconnect (e.g. Gbit Ethe...
182
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Many computer vision systems try to infer semantic information about a video scene content by looking at the time series of the silhouettes of the moving objects. This paper propo...