1833 search results - page 98 / 367 » Mechanized Verification with Sharing |
153
Voted
ECBS
2007
IEEE
15 years 2 months ago
2007
IEEE
Machine learning has great utility within the context of network intrusion detection systems. In this paper, a behavior analysis-based learning framework for host level network in...
104
Voted
ER
2010
Springer
14 years 10 months ago
2010
Springer
The REpresentational State Transfer (REST) represents an extensible, easy and elegant architecture for accessing web-based resources. REST alone and in combination with XML is fast...
129
click to vote
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
Overlay networks have shown tremendous potential in solving large scale data dissemination problem by employing peer-to-peer communication protocols. These networks, however, have ...
103
click to vote
ASPLOS
2010
ACM
15 years 4 months ago
2010
ACM
Cores in a chip-multiprocessor (CMP) system share multiple hardware resources in the memory subsystem. If resource sharing is unfair, some applications can be delayed significantl...
118
click to vote
DDECS
2007
IEEE
15 years 7 months ago
2007
IEEE
: As scan compression replaces the traditional scan it is important to understand how it works with power. DFT MAX represents one of the two primary scan compression solutions used...