Sciweavers

1729 search results - page 25 / 346
» Deterministic Expressions in C
Sort
View
GPCE
2005
Springer
15 years 5 months ago
AOP++: A Generic Aspect-Oriented Programming Framework in C++
Abstract. This paper presents AOP++, a generic aspect-oriented programming framework in C++. It successfully incorporates AOP with object-oriented programming as well as generic pr...
Zhen Yao, Qilong Zheng, Guoliang Chen
PTS
2008
109views Hardware» more  PTS 2008»
15 years 1 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
ISOLA
2010
Springer
14 years 10 months ago
A Memory Model for Static Analysis of C Programs
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...
Zhongxing Xu, Ted Kremenek, Jian Zhang
CBMS
2007
IEEE
15 years 6 months ago
An Unsupervised and Fully-Automated Image Analysis Method for cDNA Microarrays
Microarray gene expression image analysis is a labor-intensive task and requires human intervention since microarray images are contaminated with noise and artifacts while spots a...
Eleni Zacharia, Dimitrios E. Maroulis
ASPLOS
2011
ACM
14 years 3 months ago
RCDC: a relaxed consistency deterministic computer
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...
Joseph Devietti, Jacob Nelson, Tom Bergan, Luis Ce...