1446 search results - page 138 / 290 » Hardware Software Co-Design Using Functional Languages |
243
click to vote
MICRO
2008
IEEE
15 years 11 months ago
2008
IEEE
Rootkits have become a growing concern in cyber-security. Typically, they exploit kernel vulnerabilities to gain root privileges of a system and conceal malware’s activities fro...
168
Voted
WCRE
2003
IEEE
15 years 10 months ago
2003
IEEE
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
145
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
In many applications string pattern matching is one of the most intensive tasks in terms of computation time and memory accesses. Network Intrusion Detection Systems and DNA Seque...
140
click to vote
COMPSAC
2010
IEEE
15 years 3 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
268
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
We present a polynomial time randomized algorithm for global value numbering. Our algorithm is complete when conditionals are treated as non-deterministic and all operators are tr...