73 search results - page 6 / 15 » Static Analysis of Transaction-Level Communication Models |
EMSOFT
2005
Springer
15 years 3 months ago
2005
Springer
Abstract— This paper explores the problem of efficiently ordering interprocessor communication operations in both statically and dynamically-scheduled multiprocessors for iterat...
107
click to vote
CAV
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
IEEEPACT
2005
IEEE
15 years 3 months ago
2005
IEEE
Global address space languages like UPC exhibit high performance and portability on a broad class of shared and distributed memory parallel architectures. The most scalable applic...
MOBICOM
2004
ACM
15 years 2 months ago
2004
ACM
Several studies have recently been performed on wireless university campus networks, corporate and public networks. Yet little is known about the flow-level characterization in s...
INFOCOM
2007
IEEE
15 years 3 months ago
2007
IEEE
— This paper presents a link model which captures the queue dynamics when congestion windows of TCP sources change. By considering both the self-clocking and the link integrator ...