A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Introduction to the special issue on search-based software engineering (NasBASE 2015)
2016
Journal of Software: Evolution and Process
Preserved Fulltext
In 'Error Leakage and Wasted Time: Sensitivity and Effort Analysis of a Requirements Consistency Checking Process' by Jane Hayes, Bram Adams, Yann-Gaël Guéhéneuc, Giuliano Antoniol, Wenbin Li and Mirek ...
Truszczynski, the authors model and study a process for checking the consistency of temporal requirements and assess error leakage and wasted time. ...
doi:10.1002/smr.1837
fatcat:rflpxyujy5ejxje2yhoh4ylfuq
Hardware-Assisted Security Monitoring Unit for Real-Time Ensuring Secure Instruction Execution and Data Processing in Embedded Systems
2021
Micromachines
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
failure and confidential data leakage. ...
and data processing. ...
Function failure and data leakage have been emerging as the primary manifestations of being attacked in processing-intensive platforms, where the security of instruction execution and data processing in ...
doi:10.3390/mi12121450
pmid:34945300
pmcid:PMC8708534
fatcat:ph7h7vlqezdyddlowxvh5ueae4
Run-Time Extensibility and Librarization of Simulation Software
2015
Computing in science & engineering (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Build-time configuration and environment assumptions are hampering progress and usability in scientific software. ...
The community needs reusable software packages that are easy use and flexible enough to accommodate next-generation simulation and analysis demands. ...
This limits analysis capability, requires frequent recompilation, and increases the likelihood of user error resulting from accidentally using the wrong compiled version. ...
doi:10.1109/mcse.2014.95
fatcat:odeor4epvjegvf57tsj532qk6u
Run-time extensibility and librarization of simulation software
[article]
2014
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Build-time configuration and environment assumptions are hampering progress and usability in scientific software. ...
The community needs reusable software packages that are easy use and flexible enough to accommodate next-generation simulation and analysis demands. ...
This limits analysis capability, requires frequent recompilation, and increases the likelihood of user error resulting from accidentally using the wrong compiled version. ...
arXiv:1407.2905v1
fatcat:a4mbuniicvdbplaocf5l4v2ivi
Dual-Burst Thermal Decay Time Logging Principles
1988
SPE Formation Evaluation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This process has already included evaluating critical parameters affecting the RI/FS process, and continues in evaluating a more streamlined and consistent approach to develop and evaluate project uncertainties ...
decision drivers for cleanup of most of the waste sites, in conjunction with Resource Conservation and Recovery Act (RCRA) closure processes where applicable. ...
A MCNP model of the PNG was also developed and used to assess the sensitivity to chlorine and carbon. ...
doi:10.2118/15437-pa
fatcat:xpkiuurigjfdporrvpr4qcpbgm
Server Power Modeling for Run-time Energy Optimization of Cloud Computing Facilities
2014
Energy Procedia
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The average consumption of a single data center is equivalent to the energy consumption of 25.000 households. ...
Modeling the power consumption for these infrastructures is crucial to anticipate the effects of aggressive optimization policies, but accurate and fast power modeling is a complex challenge for high-end ...
Acknowledgment Research by Marina Zapater has been partly supported by a PICATA predoctoral fellowship of the Moncloa Campus of International Excellence (UCM-UPM). ...
doi:10.1016/j.egypro.2014.12.402
fatcat:ireuhwzw4vegtdbsugapldm5lu
Energy efficient GPU transactional memory via space-time optimizations
2013
Proceedings of the 46th Annual IEEE/ACM International Symposium on Microarchitecture - MICRO-46
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
However, employing GPUs for applications with irregular parallelism tends to be a risky process, involving significant effort from the programmer. ...
In this paper, we analyze the performance and energy efficiency of Kilo TM and propose two enhancements: (1) Warp-level transaction management allows transactions within a warp to be managed as a group ...
This work was supported by an NVIDIA Graduate Fellowship and the Natural Sciences and Engineering Research Council of Canada. ...
doi:10.1145/2540708.2540743
dblp:conf/micro/FungA13
fatcat:l6qqlhuntzdydleecyvjldd3zy
Is Taxing Waste a Waste of Time? Evidence from a Supreme Court Decision
2018
Ecological Economics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Pricing garbage by the bag (PGB) is highly effective, reducing unsorted garbage by 40%, increasing recycling of aluminium and organic waste, without causing negative spillovers on adjacent regions. ...
We study how a Supreme Court decision, mandating the Swiss Canton of Vaud to implement a tax on garbage, affects garbage production and beliefs about the tax. ...
We also assess whether the evolution of incinerated garbage is comparable across treated and control communities, the key requirement for a differencein-differences analysis, and analyse the persistence ...
doi:10.1016/j.ecolecon.2018.02.001
fatcat:stqzrm645bev3nkabvvgdk62km
Optimistic Reliability Aware Energy Management for Real-Time Tasks with Probabilistic Execution Times
2008
2008 Real-Time Systems Symposium
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
Instead of scheduling a full recovery for tasks whose executions are scaled down, the new scheme puts aside just enough slack to guarantee the required reliability while leaving more slack for energy management ...
In this paper, by exploiting the probabilistic execution time information of real-time tasks, we develop an optimistic RAPM scheme. ...
Then, the static optimistic RAPM problem for a set of periodic real-time tasks is formulated and shown to be NP-hard. A novel heuristic algorithm is proposed and evaluated. ...
doi:10.1109/rtss.2008.37
dblp:conf/rtss/ZhuAC08
fatcat:hz6srrwasve4fhdn3kydrbpwwq
Binary Time Series Classification with Bayesian Convolutional Neural Networks When Monitoring for Marine Gas Discharges
2020
Algorithms
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Results from a transport model are used for the learning process of the BCNN and the task is to distinguish the signal from a leak hidden within the natural variability. ...
To increase the detectability of marine gas seepage we propose a deep probabilistic learning algorithm, a Bayesian Convolutional Neural Network (BCNN), to classify time series of measurements. ...
Classifying time series requires data for all the classes, i.e., time series of the variables in question for no-leak and leak conditions. ...
doi:10.3390/a13060145
fatcat:abnb2gg2ozbdbgvj2etm4oj2xi
High-precision baseband timing of 15 millisecond pulsars
2006
Monthly notices of the Royal Astronomical Society
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We begin by describing a newly-developed baseband recording and coherent dedispersion system (CPSR2), along with a new object-oriented software development environment for pulsar data processing. ...
Finally, we use the timing residuals of one very stable source (PSR J1909-3744) as a reference against which we time PSR J1713+0747 with a root-mean-square precision of 133 ns, amongst the best timing ...
At this level of precision, sources of systematic error abound. ...
doi:10.1111/j.1365-2966.2006.10394.x
fatcat:7uayrbrcjvbftjnrj22wyiebea
REFLICS: Real-time flow imaging and classification system
2001
Machine Vision and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
An accurate analysis of a large dynamic system like our oceans requires spatially fine and temporally matched data collection methods. ...
Digitization and processing occur on a dual-processor Pentium II PC and a pipeline-based image-processing board. ...
This research is funded by a grant from the National Sea Grant College Program, National Oceanic and Atmospheric Administration, U.S. ...
doi:10.1007/pl00013270
fatcat:5bfylq5ydvfhdm3k5klucxg2yq
M87* in space, time, and frequency
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
The time- and frequency-resolved reconstruction of M87* confirms variable structures on the emission ring on a time scale of days. ...
Our algorithm views the imaging task as a Bayesian inference problem of a time-varying brightness, exploits the correlation structure between time frames, and reconstructs an entire, 2+1+1 dimensional ...
We provide a set of 160 antithetic sample pairs of the sky brightness from the approximate posterior distribution, which can be used to propagate uncertainty to any derived quantity. ...
arXiv:2002.05218v4
fatcat:sg46suwkxfdljjua6utpcvqdqi
Real-time monitoring as a supplementary security component of vigilantism in modern network environments
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
, and mitigation in case of a cybersecurity incident. ...
The reason is to understand the exact security posture of an organization network environment at any given time. ...
wasted effort or expense for a given environment. ...
arXiv:2012.03622v1
fatcat:azjvycjdafdwlbxsughadsbfxi
Skewness and kurtosis as measures of range mixing in time resolved diode dosimetry
[article]
2014
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In addition to the overall analysis of time resolved data, this Note describes in detail how range mixed diodes can be identified by looking at the skewness and kurtosis of the time dependent signal. ...
The WEPL reported by such a diode is meaningless and must be ignored. We therefore use an array of diodes, of which some are likely to be at more favorable locations. ...
Timely bench tests of the full setup will avoid wasted time during the run and suboptimal data. ...
arXiv:1407.2931v1
fatcat:sajpsi635zbm3dpojuyyawwnsy
« Previous
Showing results 1 — 15 out of 7,436 results