3281 search results - page 262 / 657 » An Approach to use Executable Models for Testing |
151
Voted
FAC
2008
15 years 4 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
131
Voted
CCGRID
2009
IEEE
15 years 10 months ago
2009
IEEE
— As the scale and complexity of parallel systems continue to grow, failures become more and more an inevitable fact for solving large-scale applications. In this research, we pr...
152
click to vote
ICECCS
1998
IEEE
15 years 8 months ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
151
click to vote
FASE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...
127
click to vote
TAPSOFT
1997
Springer
15 years 8 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...