搜索结果: 1-11 共查到“specifications”相关记录11条 . 查询时间(0.177 秒)
Modelgen: Mining Explicit Information Flow Specifications from Concrete Executions
Dynamic analysis specification mining information flow
2016/5/24
We present a technique to mine explicit information flow specifications from concrete executions. These specifications can be consumed by a static taint analysis, enabling static analysis to work even...
Performance CharactErization of an Airborne LIDAR System: Bridging System Specifications and Expected Performance
LIDAR data acquisition specifications impact analysis parameters performance accuracy understanding
2015/11/20
Airborne laser scanning, the preferred operational tool in remote sensing, surveying, and mapping, is demonstrating outstanding capabilities in generating high-accuracy spatial data with superior effi...
Optimal power control in interference limited fading wireless channels with outage probability specifications
Power control interference wireless network the jamming signal the received signal
2015/8/11
We propose a new method of power control for interference limited wireless networks with Rayleigh fading of both the desired and interference signals. Our method explicitly takes into account the stat...
Power control in lognormal fading wireless channels with uptime probability specifications via robust geometric programming
Lognormal decline power control wireless transmitter random geometry application geometric programming
2015/8/10
This paper concerns power control in lognormal fading wireless channels with correlated interference. We consider an outage-based quality of service (QoS) specification, which requires the uptime prob...
Optimal Power Control in Interference Limited Fading Wireless Channels with Outage Probability Specifications
Fading channels personal communication networks power control radio communication
2015/7/10
We propose a new method of power control for interference limited wireless networks with Rayleigh fading of both the desired and interference signals. Our method explicitly takes into account the stat...
Power Control in Lognormal Fading Wireless Channels with Uptime Probability Specifications via Robust Geometric Programming
Power Control in Lognormal Fading Wireless Channels Uptime Probability Specifications Robust Geometric Programming
2015/7/10
This paper concerns power control in lognormal fading wireless channels with correlated interference. We consider an outage-based quality of service (QoS) specification, which requires the uptime prob...
Defining Primary,Secondary,Additional Secondary Factors for RTCM Minimum Performance Specifications (MPS)
Secondary Factors RTCM Minimum Performance Specifications (MPS)
2015/6/25
The Radio Technical Commission for Maritime Services (RTCM) Special Committee 127 (SC127) is currently working on the minimum performance specifications (MPS) for enhanced Loran (eLoran) maritime rece...
Compatibility of Prior Specifications Across Linear Models
Bayes factor,compatible prior,conjugateprior,g-prior,hypothesis testing,Kullback–Leibler projection,nested model,variable selection
2011/3/21
Bayesian model comparison requires the specification of a prior distribution on the parameter space of each candidate model. In this connection two concerns arise: on the one hand the elicitation task...
Compatibility of Prior Specifications Across Linear Models
Bayes factor,compatible prior,conjugate prior,g-prior,hypothesis testing,Kullback–Leibler projection,nested model,variable selection
2011/3/23
Bayesian model comparison requires the specification of a prior distribution on the parameter space of each candidate model. In this connection two concerns arise: on the one hand the elicitation task...
A Hybrid Parallel Execution Model for Logic Based Requirement Specifications (Invited Paper)
Logic-based requirements specification language data flow analysis parallel execution model
2009/12/9
It is well known that undiscovered errors in a requirements specification is extremely expensive to be fixed when discovered in the software maintenance phase. Errors in the requirement phase can be r...
Comparison of Specifications, Short Term Outcome and Prognosis of Acute Myocardial Infarction in Opium Dependent Patients and Nondependents
Opium dependence Angiographic findings
2010/4/7
Background: The effects of opium dependence on prognosis and short term outcome of patients with acute myocardial infarction (AMI) are not clear yet. Methods: From March 2004 to August 2004 all male p...