Sciweavers

9595 search results - page 114 / 1919
» Functional programming in C
Sort
View
126
Voted
CODES
2009
IEEE
15 years 9 months ago
A high-level virtual platform for early MPSoC software development
Multiprocessor System-on-Chips (MPSoCs) are nowadays widely used, but the problem of their software development persists to be one of the biggest challenges for developers. Virtua...
Jianjiang Ceng, Weihua Sheng, Jerónimo Cast...
160
Voted
GPCE
2007
Springer
15 years 8 months ago
Simple and safe SQL queries with c++ templates
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
Joseph Gil, Keren Lenz
138
Voted
SAS
2005
Springer
135views Formal Methods» more  SAS 2005»
15 years 8 months ago
Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis
Abstract. We present our experience of combining, in a realistic setting, a static analyzer with a statistical analysis. This combination is in order to reduce the inevitable false...
Yungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun ...
128
Voted
IWMM
2010
Springer
173views Hardware» more  IWMM 2010»
15 years 7 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...
211
Voted
CPHYSICS
2011
279views Education» more  CPHYSICS 2011»
14 years 6 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