5480 search results - page 435 / 1096 » Communicating with Synchronized Environments |
142
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Heap-Hop is a program prover for concurrent heap-manipulating programs that use Hoare monitors and message-passing synchronization. Programs are annotated with pre and po...
151
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—The IEEE 802.15.4a amendment has introduced ultra-wideband impulse radio (UWB IR) as a promising physical layer for energy-efficient, low data rate communications. A critical p...
236
click to vote
IISWC
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper presents and characterizes Rodinia, a benchmark suite for heterogeneous computing. To help architects study emerging platforms such as GPUs (Graphics Processing Units...
158
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Online group work has been identified as an important issue in Web-based education for a long time. With the prevalence of instant messaging in adolescents, more and more students...
161
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes a concurrency model which integrates the asynchronous and event-driven nature of wireless etworks with higher-level abstractions that provide a more familiar p...