858 search results - page 150 / 172 » Formal Verification of Digital Systems |
103
click to vote
JUCS
2007
14 years 10 months ago
2007
Abstract: The technology in the field of digital media generates huge amounts of textual information every day, so mechanisms to retrieve relevant information are needed. Under th...
101
Voted
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
65
Voted
MOBIHOC
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we consider a non-saturated IEEE 802.11 based wireless network. We use a three-way fixed point to model the node behavior with Bernoulli packet arrivals and determi...
102
click to vote
ACMACE
2006
ACM
15 years 4 months ago
2006
ACM
Future digital entertainment services available to home users will share several characteristics: i) they will be deployed and delivered through the Internet, ii) a single media c...
94
Voted
CF
2007
ACM
15 years 2 months ago
2007
ACM
This paper presents a novel architectural technique to hide fetch latency overhead of hardware encrypted and authenticated memory. A number of recent secure processor designs have...