7080 search results - page 1137 / 1416 » Designing High Integrity Systems Using Aspects |
144
click to vote
MICRO
2008
IEEE
15 years 10 months ago
2008
IEEE
Heavyweight security analysis systems, such as taint analysis and dynamic type checking, are powerful technologies used to detect security vulnerabilities and software bugs. Tradi...
146
click to vote
VLSISP
2010
15 years 2 months ago
2010
Abstract Polyphase channelizer is an important component of subband adaptive filtering systems. This paper presents an energy-efficient hardware architecture and VLSI implementatio...
174
click to vote
ASPLOS
2012
ACM
13 years 11 months ago
2012
ACM
Virtualization has become a standard part of many computer systems. A key part of virtualization is the all-powerful hypervisor which manages the physical platform and can access ...
141
click to vote
MOBIHOC
2006
ACM
16 years 3 months ago
2006
ACM
Traditionally, ad hoc networks have been viewed as a connected graph over which end-to-end routing paths had to be established. Mobility was considered a necessary evil that inval...
149
click to vote
SIGCOMM
2005
ACM
15 years 9 months ago
2005
ACM
This paper describes ExOR, an integrated routing and MAC protocol that increases the throughput of large unicast transfers in multi-hop wireless networks. ExOR chooses each hop of...