4079 search results - page 774 / 816 » Differential Testing for Software |
149
click to vote
INFSOF
2010
14 years 11 months ago
2010
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
133
click to vote
CODES
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper presents an approach to system-level optimization of error detection implementation in the context of fault-tolerant realtime distributed embedded systems used for safe...
160
Voted
AISS
2010
14 years 9 months ago
2010
With the proliferation of the computer Cloud, new software delivery methods were created. In order to build software to fit into one of these models, a scalable, easy to deploy st...
141
click to vote
TASE
2011
IEEE
14 years 9 months ago
2011
IEEE
—For multiclass flow line models, we identify a class of service times that allow a decomposition of the system into subsets of servers called channels. In each channel, the cus...
147
click to vote
TASE
2011
IEEE
14 years 9 months ago
2011
IEEE
—This paper reports the design and development processes of a totally decoupled flexure-based XYZ parallel-kinematics micropositioning stage with piezoelectric actuation. The un...