11808 search results - page 2159 / 2362 » Isometries and Computability Structures |
180
click to vote
GROUP
2009
ACM
16 years 17 days ago
2009
ACM
Information transfer under time pressure and stress often leads to information loss. This paper studies the characteristics and problems of information handover from the emergency...
206
click to vote
HASKELL
2009
ACM
16 years 17 days 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...
157
Voted
SIGCOMM
2009
ACM
16 years 17 days ago
2009
ACM
Many network applications have stringent end-to-end latency requirements, including VoIP and interactive video conferencing, automated trading, and high-performance computing—wh...
154
click to vote
SLIP
2009
ACM
16 years 16 days ago
2009
ACM
This paper proposes an efficient method to predict the worst case of voltage violation by multi-domain clock gating in a three-dimensional (3D) on-chip power network considering l...
165
click to vote
PPOPP
2010
ACM
16 years 16 days ago
2010
ACM
In processors with several levels of hardware resource sharing, like CMPs in which each core is an SMT, the scheduling process becomes more complex than in processors with a singl...