1304 search results - page 149 / 261 » Model Checking C Programs Using F-SOFT |
145
Voted
ASPDAC
2011
ACM
14 years 6 months ago
2011
ACM
This paper studies realization and performance comparison of the sequential and weak consistency models in the network-on-chip (NoC) based distributed shared memory (DSM) multi-cor...
138
Voted
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
133
click to vote
TOOLS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
107
Voted
SCAM
2006
IEEE
15 years 9 months ago
2006
IEEE
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...
150
click to vote
ISI
2008
Springer
15 years 3 months ago
2008
Springer
An Intrusion Detection Program (IDP) analyzes what happens or has happened during an execution and tries to find indications that the computer has been misused. In this talk, we p...