4716 search results - page 460 / 944 » Iterative-free program analysis |
223
click to vote
ACMSE
2006
ACM
16 years 1 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
219
click to vote
PPOPP
2005
ACM
16 years 1 months ago
2005
ACM
We want to perform compile-time analysis of an SPMD program and place barriers in it to synchronize it correctly, minimizing the runtime cost of the synchronization. This is the b...
244
click to vote
PKDD
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. Orange (www.ailab.si/orange) is a suite for machine learning and data mining. It can be used though scripting in Python or with visual programming in Orange Canvas using ...
206
click to vote
ISSRE
2002
IEEE
16 years 19 days ago
2002
IEEE
Fault insertion based techniqueshave been used for measuring test adequacy and testability of programs. Mutation analysis inserts faults into a program with the goal of creating m...
199
Voted
JTRES
2009
ACM
16 years 11 days ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...