452 search results - page 17 / 91 » Symbolic Execution of Behavioral Requirements |
ASPLOS
2008
ACM
15 years 23 days ago
2008
ACM
Extracting high-performance from the emerging Chip Multiprocessors (CMPs) requires that the application be divided into multiple threads. Each thread executes on a separate core t...
ESCIENCE
2006
IEEE
15 years 2 months ago
2006
IEEE
: E-Science often requires access to remote Grid computing platforms. Current authorization systems on these remote systems have largely based decisions solely on the identity of t...
102
click to vote
VEE
2006
ACM
15 years 4 months ago
2006
ACM
During recent years, microprocessor energy consumption has been surging and efforts to reduce power and energy have received a lot of attention. At the same time, virtual executio...
SIGMOD
1999
ACM
15 years 3 months ago
1999
ACM
Query processing in data integration occurs over network-bound, autonomous data sources. This requires extensions to traditional optimization and execution techniques for three re...
USENIX
2007
15 years 1 months ago
2007
Most computer defense systems crash the process that they protect as part of their response to an attack. Although recent research explores the feasibility of selfhealing to autom...