Sciweavers

3404 search results - page 77 / 681
» C Programming Tutorial
Sort
View
IWMM
2010
Springer
173views Hardware» more  IWMM 2010»
15 years 2 months ago
CETS: compiler enforced temporal safety for C
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...
CPHYSICS
2011
279views Education» more  CPHYSICS 2011»
14 years 1 months ago
CAMORRA: A C++ library for recursive computation of particle scattering amplitudes
We present a new Monte Carlo tool that computes full tree-level matrix elements in high-energy physics. The program accepts user-defined models and has no restrictions on the pro...
R. Kleiss, G. van den Oord
ICALT
2005
IEEE
15 years 3 months ago
ActiveTutor
In this paper we present an architecture dedicated to an intelligently assisted educational tool which integrates within a unified framework software rational agents both at the m...
Jean Pierre Fournier
SPAA
2009
ACM
15 years 10 months ago
Towards transactional memory semantics for C++
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 ...
ICCL
1998
IEEE
15 years 2 months ago
A Conservative Technique to Improve Deterministic Evaluation of Logic Programs
Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Rama...