7,436 Hits in 10.9 sec

Introduction to the special issue on search-based software engineering (NasBASE 2015)

Marouane Kessentini, Mel Ó Cinnéide
2016 Journal of Software: Evolution and Process  
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

Xiang Wang, Zhun Zhang, Qiang Hao, Dongdong Xu, Jiqing Wang, Haoyu Jia, Zhiyu Zhou
2021 Micromachines  
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

Jed Brown, Matthew G. Knepley, Barry F. Smith
2015 Computing in science & engineering (Print)  
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]

Jed Brown and Matthew G. Knepley and Barry F. Smith
2014 arXiv   pre-print
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

D.K. Steinman, R.A. Adolph, M. Mahdavi, W.E. Preeg
1988 SPE Formation Evaluation  
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

Patricia Arroba, José L. Risco-Martín, Marina Zapater, José M. Moya, José L. Ayala, Katzalin Olcoz
2014 Energy Procedia  
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

Wilson W. L. Fung, Tor M. Aamodt
2013 Proceedings of the 46th Annual IEEE/ACM International Symposium on Microarchitecture - MICRO-46  
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

Stefano Carattini, Andrea Baranzini, Rafael Lalive
2018 Ecological Economics  
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

Dakai Zhu, Hakan Aydin, Jian-Jia Chen
2008 2008 Real-Time Systems Symposium  
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

Kristian Gundersen, Guttorm Alendal, Anna Oleynik, Nello Blaser
2020 Algorithms  
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

A. W. Hotan, M. Bailes, S. M. Ord
2006 Monthly notices of the Royal Astronomical Society  
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

Sadahiro Iwamoto, David M. Checkley, Jr., Mohan M. Trivedi
2001 Machine Vision and Applications  
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]

Philipp Arras, Philipp Frank, Philipp Haim, Jakob Knollmüller, Reimar Leike, Martin Reinecke, Torsten Enßlin
2021 arXiv   pre-print
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]

Victor R. Kebande, Nickson M. Karie, Richard A. Ikuesan
2020 arXiv   pre-print
, 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]

Bernard Gottschalk
2014 arXiv   pre-print
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