Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
221
Stochastic Formal Methods: An application to accuracy of numeric software
, 2006
"... Abstract — This paper provides a bound on the number of numeric operations (fixed or floating point) that can safely be performed before accuracy is lost. This work has important implications for control systems with safety-critical software, as these systems are now running fast enough and long eno ..."
Abstract
-
Cited by 3 (2 self)
- Add to MetaCart
enough for their errors to impact on their functionality. Furthermore, worst-case analysis would blindly advise the replacement of existing systems that have been successfully running for years. We present here a set of formal theorems validated by the PVS proof assistant. These theorems will allow code
Panalyst: Privacy-Aware Remote Error Analysis on Commodity Software
"... Remote error analysis aims at timely detection and remedy of software vulnerabilities through analyzing runtime errors that occur on the client. This objective can only be achieved by offering users effective protection of their private information and minimizing the performance impact of the analys ..."
Abstract
-
Cited by 8 (0 self)
- Add to MetaCart
Remote error analysis aims at timely detection and remedy of software vulnerabilities through analyzing runtime errors that occur on the client. This objective can only be achieved by offering users effective protection of their private information and minimizing the performance impact
Impact of Loop Transformations on Software Reliability
"... Abstract-Application-level correctness is a useful and widely accepted concept for many kinds of applications in this modern world. The results of some applications, such as multimedia, may be incorrect due to transient hardware faults or soft-errors, but they are still acceptable from a user' ..."
Abstract
- Add to MetaCart
error detectors to improve reliability. On the other hand, we observe that loop transformations have the ability to improve reliability. By applying suitable loop transformations, some critical instructions may become non-critical. In this paper we propose a metric to analyze the reliability impact
Static Analysis of Component Systems Using Behavior Protocols (Extended Abstract)
- OOPSLA'03
, 2003
"... Static analysis of systems allows to discover errors at design time and to avoid run-time error detection techniques that negatively impact performance of the systems. In this paper, we present the consent operator, which allows (i) to capture errors resulting from incorrect composition of softwar ..."
Abstract
-
Cited by 6 (3 self)
- Add to MetaCart
Static analysis of systems allows to discover errors at design time and to avoid run-time error detection techniques that negatively impact performance of the systems. In this paper, we present the consent operator, which allows (i) to capture errors resulting from incorrect composition
Software lock mass by two-dimensional minimization of peptide mass errors
- J Am Soc Mass Spectrom
"... Mass accuracy is a key parameter in proteomic experiments, improving specificity, and success rates of peptide identification. Advances in instrumentation now make it possible to routinely obtain high resolution data in proteomic experiments. To compensate for drifts in instrument calibration, a com ..."
Abstract
-
Cited by 3 (0 self)
- Add to MetaCart
or better than adding a lock mass from laboratory air to LTQ-Orbitrap spectra. This ‘software lock mass’ drastically improves mass accuracy compared with mass measurement without lock mass (up to 10-fold), with none of the experimental cost of a physical lock mass, and it integrated into the freely
Latency Correction of Event-Related Potentials Between Different Experimental Protocols
"... Abstract. Objective: A fundamental issue in EEG event-related potentials (ERPs) studies is the amount of data required to have an accurate ERP model. This also impacts the time required to train a classifier for a brain-computer interface (BCI). This issue is mainly due to the poor signal-to-noise r ..."
Abstract
- Add to MetaCart
on two widely used ERPs (P300 and observation error potentials), in three experimental protocols in each case. We report the ERP analysis and single-trial classification. Results and signi cance: The results obtained show that the designed experimental protocols significantly affect the latency
Quantifying the accuracy of the ground truth associated with Internet traffic traces
- Computer Networks
"... Ground truth information for Internet traffic traces is often derived by means of port analysis and payload inspection (Deep Packet Inspection – DPI). In this paper we analyze the errors that DPI and port analysis commit when assigning protocol labels to traffic traces. We compare the ground truth p ..."
Abstract
-
Cited by 3 (0 self)
- Add to MetaCart
Ground truth information for Internet traffic traces is often derived by means of port analysis and payload inspection (Deep Packet Inspection – DPI). In this paper we analyze the errors that DPI and port analysis commit when assigning protocol labels to traffic traces. We compare the ground truth
On Modeling Low-Power Wireless Protocols Based on Synchronous Packet Transmissions
"... Abstract—Mathematical models play a pivotal role in understanding and designing advanced low-power wireless systems. However, the distributed and uncoordinated operation of traditional multi-hop low-power wireless protocols greatly complicates their accurate modeling. This is mainly because these pr ..."
Abstract
- Add to MetaCart
Abstract—Mathematical models play a pivotal role in understanding and designing advanced low-power wireless systems. However, the distributed and uncoordinated operation of traditional multi-hop low-power wireless protocols greatly complicates their accurate modeling. This is mainly because
Adaptive Software Return Value Prediction
, 2009
"... Return value prediction (RVP) is a useful technique that enables a number of program optimizations and analyses. Potentially high overhead, however, as well as a dependence on novel hardware support remain significant barriers to method level speculation and other applications that depend on low cos ..."
Abstract
-
Cited by 6 (2 self)
- Add to MetaCart
cost, high accuracy RVP. Here we investigate the feasibility of software-based RVP through a comprehensive software study of RVP behaviour. We develop a structured framework for RVP design and use it to experimentally analyze existing and novel predictors in the context of non-trivial Java programs
Team-work online: The effects of computer conferencing on perceived confusion, satisfaction, and post-discussion accuracy
- Group Dynamics
, 2003
"... This study investigated the impact of computer-mediated communication on teamwork by examining 40 4-person teams working in either face-to-face or computer conferencing environments. Results were consistent with the belief that computer-mediated teams have trouble maintaining mutual knowledge. Comp ..."
Abstract
-
Cited by 21 (0 self)
- Add to MetaCart
to maintain mutual knowledge during CM teamwork may adversely affect the accuracy of the outcome reported by team members. Following on a synthesis of experimental studies that compared FTF and CM communication, Bordia (1997) noted that group members who record the collective choice or decision make more
Results 1 - 10
of
221
