1528 search results - page 101 / 306 » Performance Assertion Checking |
102
click to vote
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
This paper introduces a new abstraction to accelerate the readbarriers and write-barriers used by language runtime systems. We exploit the fact that, dynamically, many barrier exe...
129
click to vote
CVPR
1997
IEEE
16 years 4 months ago
1997
IEEE
We propose a new machine learning paradigm called Graph Transformer Networks that extends the applicability of gradient-based learning algorithms to systems composed of modules th...
LCN
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Black Hole Attacks are a serious threat to communication in tactical MANETs. In this work we present TOGBAD a new centralised approach, using topology graphs to identif...
107
click to vote
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
CHARME
2005
Springer
15 years 7 months ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...