Sciweavers

7576 search results - page 126 / 1516
» UNIX as an Application Program
Sort
View
TACAS
1998
Springer
131views Algorithms» more  TACAS 1998»
15 years 8 months ago
Detecting Races in Relay Ladder Logic Programs
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...
Alexander Aiken, Manuel Fähndrich, Zhendong S...
126
Voted
IPL
2008
118views more  IPL 2008»
15 years 4 months ago
Slicing for modern program structures: a theory for eliminating irrelevant loops
Slicing is a program transformation technique with numerous applications, as it allows the user to focus on the parts of a program that are relevant for a given purpose. Ideally, ...
Torben Amtoft
FMSD
2002
92views more  FMSD 2002»
15 years 3 months ago
A Simple, Object-Based View of Multiprogramming
Object-based sequential programming has had a major impact on software engineering. However, object-based concurrent programming remains elusive as an effective programming tool. T...
Jayadev Misra
132
Voted
IPPS
1998
IEEE
15 years 8 months ago
Automatic Differentiation for Message-Passing Parallel Programs
Many applications require the derivatives of functions defined by computer programs. Automatic differentiation (AD) is a means of developing code to compute the derivatives of com...
Paul D. Hovland, Christian H. Bischof
CORR
2010
Springer
123views Education» more  CORR 2010»
15 years 3 months ago
A Peer-to-Peer Middleware Framework for Resilient Persistent Programming
The persistent programming systems of the 1980s offered a programming model that integrated computation and long-term storage. In these systems, reliable applications could be eng...
Alan Dearle, Graham N. C. Kirby, Stuart J. Norcros...