Sciweavers

1332 search results - page 98 / 267
» A generative programming approach to developing pervasive co...
Sort
View
219
Voted
IASTEDSE
2004
15 years 4 months ago
A symbolic Java virtual machine for test case generation
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
Roger A. Müller, Christoph Lembeck, Herbert K...
IWVF
2001
Springer
15 years 7 months ago
Grouping Character Shapes by Means of Genetic Programming
In the framework of an evolutionary approach to machine learning, this paper presents the preliminary version of a learning system that uses Genetic Programming as a tool for autom...
Claudio De Stefano, Antonio Della Cioppa, Angelo M...
171
Voted
ASPLOS
2011
ACM
14 years 6 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...
129
Voted
CAV
2007
Springer
166views Hardware» more  CAV 2007»
15 years 8 months ago
Fast and Accurate Static Data-Race Detection for Concurrent Programs
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, A...
149
Voted
TASE
2011
IEEE
14 years 6 months ago
Fast Intersection-Free Offset Surface Generation From Freeform Models With Triangular Meshes
Abstract—A fast offset surface generation approach is presented in this paper to construct intersection-free offset surfaces, which preserve sharp features, from freeform triangu...
Shengjun Liu, Charlie C. L. Wang