899 search results - page 76 / 180 » Cost Analysis of Games, Using Program Logic |
VTS
2003
IEEE
15 years 5 months ago
2003
IEEE
: This paper presents a novel, low cost technique based on implications to identify untestable bridging faults in sequential circuits. Sequential symbolic simulation [1] is first p...
100
click to vote
ICSE
2008
IEEE-ACM
16 years 20 days ago
2008
IEEE-ACM
In software development, resources for quality assurance are limited by time and by cost. In order to allocate resources effectively, managers need to rely on their experience bac...
RTSS
1998
IEEE
15 years 4 months ago
1998
IEEE
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....
IMSCCS
2007
IEEE
15 years 6 months ago
2007
IEEE
TOPSAW program was developed by Dr. S. Chang and his team and has been successfully used in the replication of sawmill cutting to determine the optimal cutting pattern for a log t...
122
click to vote
FMCAD
2008
Springer
15 years 1 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...