Search Sciweavers | Sciweavers

3473 search results - page 103 / 695

» Aspect-Oriented Programming with C

172

click to vote

IWMM
2010
Springer

173views Hardware» more IWMM 2010»

CETS: compiler enforced temporal safety for C

15 years 11 months ago

Download www.cis.upenn.edu

Temporal memory safety errors, such as dangling pointer dereferences and double frees, are a prevalent source of software bugs in unmanaged languages such as C. Existing schemes t...

Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Mar...

claim paper

Read More »

275

click to vote

CPHYSICS
2011

279views Education» more CPHYSICS 2011»

CAMORRA: A C++ library for recursive computation of particle scattering amplitudes

14 years 9 months ago

Download www.nikhef.nl

We present a new Monte Carlo tool that computes full tree-level matrix elements in high-energy physics. The program accepts user-deﬁned models and has no restrictions on the pro...

R. Kleiss, G. van den Oord

claim paper

Read More »

169

click to vote

SPAA
2009
ACM

117views Distributed And Parallel Com...» more SPAA 2009»

Towards transactional memory semantics for C++

16 years 6 months ago

Download www.adamwelc.org

Transactional memory (TM) eliminates many problems associated with lock-based synchronization. Over recent years, much progress has been made in software and hardware implementati...

Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Robert ...

claim paper

Read More »

127

click to vote

ICCL
1998
IEEE

120views Programming Languages» more ICCL 1998»

A Conservative Technique to Improve Deterministic Evaluation of Logic Programs

15 years 10 months ago

Download www.comp.nus.edu.sg

Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Rama...

claim paper