410 search results - page 27 / 82 » Tools for System Validation with B Abstract Machines |
127
Voted
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
In this study, we introduce an evaluation methodology for advanced memory systems. This methodology is based on statistical factorial analysis. It is two fold: it first determines...
121
Voted
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
150
click to vote
ECBS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
116
Voted
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— This paper presents a summary of university research performed on honeypot techniques and summarizes the results Honeypots are computing resources that serve no other p...
149
Voted
PPOPP
2010
ACM
15 years 10 months ago
2010
ACM
This paper presents an analytical model to predict the performance of general-purpose applications on a GPU architecture. The model is designed to provide performance information ...