3911 search results - page 726 / 783 » Using Operational Architecture to Model Embedded Software |
155
click to vote
HASKELL
2009
ACM
15 years 9 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...
135
click to vote
MOBIHOC
2010
ACM
15 years 12 days ago
2010
ACM
Passive monitoring utilizing distributed wireless sniffers is an effective technique to monitor activities in wireless infrastructure networks for fault diagnosis, resource manage...
113
click to vote
TASE
2008
IEEE
15 years 2 months ago
2008
IEEE
Group elevator scheduling has long been recognized as an important problem for building transportation efficiency, since unsatisfactory elevator service is one of the major complai...
107
Voted
SIGCOMM
2009
ACM
15 years 9 months ago
2009
ACM
This paper presents SoftRate, a wireless bit rate adaptation protocol that is responsive to rapidly varying channel conditions. Unlike previous work that uses either frame recepti...
150
Voted
RTAS
2003
IEEE
15 years 7 months ago
2003
IEEE
Most research on QoS-aware computing considers systems where code is generally partitioned into separately schedulable tasks with associated timing constraints. In sharp contrast ...