7892 search results - page 90 / 1579 » Programming with Models |
QSIC
2008
IEEE
15 years 7 months ago
2008
IEEE
Fault localization is a major activity in software debugging. Many existing statistical fault localization techniques compare feature spectra of successful and failed runs. Some a...
104
click to vote
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents a framework based on a user driven methodology to obtain analytical models of MPI applications on parallel systems in a systematic and easy to use way. This me...
102
click to vote
PPOPP
1995
ACM
15 years 4 months ago
1995
ACM
It is widely acknowledged in high-performance computing circles that parallel input/output needs substantial improvement in order to make scalable computers truly usable. We prese...
107
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
136
click to vote
VLSID
2008
IEEE
15 years 7 months ago
2008
IEEE
The last decade has seen a phenomenal increase in the use of electronic components in automotive systems, resulting in the replacement of purely mechanical or hydraulic-implementa...