93 search results - page 18 / 19 » Analyzing Non-Interference with respect to Classes |
PLDI
2003
ACM
13 years 11 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
DSN
2000
IEEE
13 years 10 months ago
2000
IEEE
ÐWe study the quality of service (QoS) of failure detectors. By QoS, we mean a specification that quantifies 1) how fast the failure detector detects actual failures and 2) how we...
BMCBI
2008
13 years 5 months ago
2008
Background: Most microarray experiments are carried out with the purpose of identifying genes whose expression varies in relation with specific conditions or in response to enviro...
IJNSEC
2007
13 years 5 months ago
2007
It is generally agreed that two key points always attract special concerns during the modelling of anomaly-based intrusion detection. One is the techniques about discerning two cl...
PIMRC
2008
IEEE
14 years 4 days ago
2008
IEEE
—A constant envelope Continuous Phase Modulation (CPM) class of Multi-Channel (MC) modulations for multiantenna transmitters is considered. Each receive antenna receives a superp...