1302 search results - page 234 / 261 » From Liveness to Promptness |
141
click to vote
HASKELL
2009
ACM
15 years 7 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
SIGCOMM
2009
ACM
15 years 7 months ago
2009
ACM
By studying trouble tickets from small enterprise networks, we conclude that their operators need detailed fault diagnosis. That is, the diagnostic system should be able to diagno...
122
Voted
CISS
2008
IEEE
15 years 7 months ago
2008
IEEE
—Magnetic resonance imaging (MRI) may be viewed as a two-stage experiment that yields a non-invasive spatial mapping of hydrogen nuclei in living subjects. Nuclear spins within a...
126
Voted
ICDCSW
2008
IEEE
15 years 7 months ago
2008
IEEE
—In its current art, peer-to-peer streaming solution has been mainly employed in the domain of live event broadcasting. In such a paradigm, users are required to simultaneously p...
82
Voted
P2P
2008
IEEE
15 years 6 months ago
2008
IEEE
P2P-TV systems distribute live streaming contents by organizing the information flow in small chunks that are exchanged among peers. Different strategies can be implemented at th...