Sciweavers

1112 search results - page 103 / 223
» Executing Abstract Test Cases
Sort
View
96
Voted
PASTE
2004
ACM
15 years 8 months ago
The design and implementation of FIT: a flexible instrumentation toolkit
This paper presents FIT, a Flexible open-source binary code Instrumentation Toolkit. Unlike existing tools, FIT is truly portable, with existing backends for the Alpha, x86 and AR...
Bruno De Bus, Dominique Chanet, Bjorn De Sutter, L...
WORDS
2003
IEEE
15 years 8 months ago
Timing Analysis of Optimised Code
Timing analysis is a crucial test for dependable hard real-time systems (DHRTS). The calculation of the worst-case execution time (WCET) is mandatory. As modern compilers are capa...
Raimund Kirner, Peter P. Puschner
ADBIS
2004
Springer
92views Database» more  ADBIS 2004»
15 years 7 months ago
Optimal Database Locks for Efficient Integrity Checking
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...
Davide Martinenghi
IJCNN
2007
IEEE
15 years 9 months ago
Faults Detection and Isolation Based On Neural Networks Applied to a Levels Control System
Abstract— Each time more grows the necessity of guaranteeing itself security and trustworthiness of the equipment during the execution of the industrials processes. Then, it is v...
Raphaela G. Fernandes, Diego R. Cabral Silva, Luiz...
IAT
2007
IEEE
15 years 9 months ago
A Specification Language for Coordination in Agent Systems
This paper introduces an executable coordination specification language, which is able to handle prespecified ways as well as more flexible and generic ways of specifying coordina...
Tibor Bosse, Mark Hoogendoorn, Radu Serban, Jan Tr...