2935 search results - page 211 / 587 » An Integrated Approach to High Integrity Software Verificati... |
211
click to vote
SWSTE
2010
IEEE
15 years 10 months ago
2010
IEEE
—In this paper we describe the application of the agile software development approach in system engineering projects. We describe the main characteristics of system projects, hig...
173
click to vote
DAC
2006
ACM
16 years 17 days ago
2006
ACM
Several emerging Design-for-Debug (DFD) methodologies are addressing silicon debug by making internal signal values and other data observable. Most of these methodologies require ...
185
click to vote
IPPS
2007
IEEE
16 years 27 days ago
2007
IEEE
This paper presents and evaluates a strategy for integrating the Snort network intrusion detection system into a high-performance programmable Ethernet network interface card (NIC...
216
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Hash tables are fundamental data structures that optimally answer membership queries. Suppose a client stores n elements in a hash table that is outsourced at a remote server so t...
193
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...