6960 search results - page 712 / 1392 » Continuity Analysis of Programs |
214
Voted
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...
212
Voted
PPOPP
2005
ACM
16 years 26 days 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...
236
Voted
PKDD
2004
Springer
16 years 19 days 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 ...
200
click to vote
ISSRE
2002
IEEE
16 years 6 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...
189
Voted
JTRES
2009
ACM
15 years 12 months 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...