Sciweavers

4257 search results - page 526 / 852
» The Logical Modularity of Programs
Sort
View
SIGSOFT
2007
ACM
16 years 7 months ago
RELAY: static race detection on millions of lines of code
Data races occur when multiple threads are about to access the same piece of memory, and at least one of those accesses is a write. Such races can lead to hard-to-reproduce bugs t...
Jan Wen Voung, Ranjit Jhala, Sorin Lerner
EACL
2009
ACL Anthology
16 years 7 months ago
Translation as Weighted Deduction
We present a unified view of many translation algorithms that synthesizes work on deductive parsing, semiring parsing, and efficient approximate search algorithms. This gives rise...
Adam Lopez
PERCOM
2005
ACM
16 years 6 months ago
A Dynamic Lightweight Platform for Ad-Hoc Infrastructures
Mobile devices like PDAs or mobile phones have become widespread. Similarly, network functionality like GSM, Bluetooth, or WLAN has become standard. Nevertheless, not many applica...
Andreas Frei, Gustavo Alonso
PDP
2009
IEEE
16 years 1 months ago
Adding Aspect-Oriented Concepts to the High-Performance Component Model of SBASCO
SBASCO provides a new programming model for parallel and distributed numerical applications which exploits the combination of software components and skeletons. This paper present...
Manuel Díaz, Sergio Romero, Bartolomé...
DATE
2009
IEEE
136views Hardware» more  DATE 2009»
16 years 1 months ago
A novel approach to entirely integrate Virtual Test into test development flow
– In this paper, we present an open architecture Virtual Test Environment (VTE) which can be easily integrated into various modularized Automatic Test Systems (ATS) compliant to ...
Ping Lu, Daniel Glaser, Gürkan Uygur, Klaus H...