Search Sciweavers | Sciweavers

10585 search results - page 367 / 2117

» The Orc Programming Language

199

click to vote

PLDI
2011
ACM

241views Programming Languages» more PLDI 2011»

A case for an SC-preserving compiler

14 years 10 months ago

Download www.cs.ucla.edu

The most intuitive memory consistency model for shared-memory multi-threaded programming is sequential consistency (SC). However, current concurrent programming languages support ...

Daniel Marino, Abhayendra Singh, Todd D. Millstein...

claim paper

Read More »

279

click to vote

POPL
2006
ACM

134views Programming Languages» more POPL 2006»

A verifiable SSA program representation for aggressive compiler optimization

16 years 7 months ago

Download www.cs.cmu.edu

Vijay Menon, Neal Glew, Brian R. Murphy, Andrew Mc...

claim paper

Read More »

183

click to vote

ISORC
2002
IEEE

123views Distributed And Parallel Com...» more ISORC 2002»

Program Instrumentation for Debugging and Monitoring with AspectC++

15 years 12 months ago

Download www.aspectc.org

Monitoring is a widely-used technique to check assumptions about the real-time behavior of a system, debug the code, or enforce the system to react if certain deadlines are passed...

Daniel Mahrenholz, Olaf Spinczyk, Wolfgang Schr&ou...

claim paper

Read More »

145

click to vote

FM
2009
Springer

118views Formal Methods» more FM 2009»

Certifiable Specification and Verification of C Programs

16 years 1 months ago