1821 search results - page 162 / 365 » Security-Aware Program Transformations |
114
click to vote
SIGSOFT
2010
ACM
15 years 2 days ago
2010
ACM
Concurrent programs are notoriously difficult to debug. We see two main reasons for this: 1) concurrency bugs are often difficult to reproduce, 2) traces of buggy concurrent execu...
118
click to vote
GLOBECOM
2008
IEEE
15 years 8 months ago
2008
IEEE
—1 In this paper, we consider an amplify-and-forward (AF) wireless relay system where multiple source nodes communicate with their corresponding destination nodes with the help o...
102
click to vote
CPAIOR
2004
Springer
15 years 7 months ago
2004
Springer
To improve solution robustness, we introduce the concept of super solutions to constraint programming. An (a, b)-super solution is one in which if a variables lose their values, th...
106
click to vote
TAPSOFT
1991
Springer
15 years 5 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
140
click to vote
FLAIRS
2008
15 years 4 months ago
2008
Rule extraction is a technique aimed at transforming highly accurate opaque models like neural networks into comprehensible models without losing accuracy. G-REX is a rule extract...