Sciweavers

5536 search results - page 74 / 1108
» Programming Languages for Distributed Applications
Sort
View
PPOPP
2011
ACM
14 years 5 months ago
GRace: a low-overhead mechanism for detecting data races in GPU programs
In recent years, GPUs have emerged as an extremely cost-effective means for achieving high performance. Many application developers, including those with no prior parallel program...
Mai Zheng, Vignesh T. Ravi, Feng Qin, Gagan Agrawa...
133
Voted
FM
2003
Springer
96views Formal Methods» more  FM 2003»
15 years 7 months ago
Event Based Sequential Program Development: Application to Constructing a Pointer Program
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...
Jean-Raymond Abrial
IFIP
2009
Springer
15 years 7 months ago
Secure Information Flow for Distributed Systems
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
Rafael Alpízar, Geoffrey Smith
85
Voted
ASPLOS
2006
ACM
15 years 8 months ago
A: an assertion language for distributed systems
Operator mistakes have been identified as a significant source of unavailability in Internet services. In this paper, we propose a new language, A , for service engineers to writ...
Andrew Tjang, Fábio Oliveira, Richard P. Ma...
111
Voted
SCCC
1998
IEEE
15 years 6 months ago
Software Architectural Specification for Optimal Object Distribution
Software architectural design is essential for complex distributed applications. Architectural specifications need to define the key aspects of the application, including its inte...
M. Cecilia Bastarrica, Steven A. Demurjian, Alexan...