Investigating the effect of “defect co-fix” on quality assurance resource allocation: A search-based approach Fulltext Access 11 Pages 2015
An empirical research agenda for understanding formal methods productivity Fulltext Access 11 Pages 2015
Hardware implementation of a spatio-temporal average filter for real-time denoising of fluoroscopic images Fulltext Access 11 Pages 2015
An on-chip frequency programmable test clock generation and application method for small delay defect detection Fulltext Access 11 Pages 2015
A new insulin-glucose metabolic model of type 1 diabetes mellitus: An in silico study Fulltext Access 11 Pages 2015
A signal processing application for evaluating self-monitoring blood glucose strategies in a software agent model Fulltext Access 11 Pages 2015
A comparison analysis of environmental factors affecting software reliability Fulltext Access 11 Pages 2015
On the usefulness of ownership metrics in open-source software projects Fulltext Access 11 Pages 2015
Modeling and motion compensation of a bidirectional tendon-sheath actuated system for robotic endoscopic surgery Fulltext Access 11 Pages 2015
An efficient runtime power allocation scheme for many-core systems inspired from auction theory Fulltext Access 11 Pages 2015
Neurosurgery planning in rodents using a magnetic resonance imaging assisted framework to target experimentally defined networks Fulltext Access 11 Pages 2015
Closing the gap between speed and configurability of multi-bit fault emulation environments for security and safety–critical designs Fulltext Access 11 Pages 2015
An investigation of ultrasonic nanocrystal surface modification machining process by numerical simulation Fulltext Access 11 Pages 2015
Some ideas for bias and variance reduction in the splitting algorithm for diffusion processes Fulltext Access 11 Pages 2015
Efficient knowledge-based optimization of expensive computational models using adaptive response correction Fulltext Access 11 Pages 2015
A two-scale method using a list of active sub-domains for a fully parallelized solution of wave equations Fulltext Access 11 Pages 2015
An automated multiscale ensemble simulation approach for vascular blood flow Fulltext Access 11 Pages 2015
A work stealing based approach for enabling scalable optimal sequence homology detection Fulltext Access 11 Pages 2015
Decision support system development for integrated management of European coastal lagoons Fulltext Access 11 Pages 2015
Automated design space exploration of multi-cycle transient fault detectable datapath based on multi-objective user constraints for application specific computing Fulltext Access 11 Pages 2015
Exception handling analysis and transformation using fault injection: Study of resilience against unanticipated exceptions Fulltext Access 11 Pages 2015
Hybridized optimization algorithms for design of trusses with multiple natural frequency constraints Fulltext Access 11 Pages 2015
Concurrent multiscale modeling of three dimensional crack and dislocation propagation Fulltext Access 11 Pages 2015
Spectroscopic and rock magnetic studies on some ancient Indian pottery samples Fulltext Access 11 Pages 2015
Automating correctness verification of artifact-centric business process models Fulltext Access 11 Pages 2015
Negative samples reduction in cross-company software defects prediction Fulltext Access 11 Pages 2015
A compact hardware architecture for digital image stabilization using integral projections Fulltext Access 11 Pages 2015
A hybrid group decision support system for supplier selection using analytic hierarchy process, fuzzy set theory and neural network Fulltext Access 11 Pages 2015
An ant colony optimization heuristic for constrained task allocation problem Fulltext Access 11 Pages 2015
Scalable linear programming based resource allocation for makespan minimization in heterogeneous computing systems Fulltext Access 11 Pages 2015
Performance-constrained energy reduction in data centers for video-sharing services Fulltext Access 11 Pages 2015
Reconfigurable data parallel constant geometry fast Fourier transform architectures on Network-on-Chip Fulltext Access 11 Pages 2015
Simulation alternatives for the verification of networked cyber-physical systems Fulltext Access 11 Pages 2015
Environment mapping using a 3D laser scanner for unmanned ground vehicles Fulltext Access 11 Pages 2015
Processor-level reliability simulator for time-dependent gate dielectric breakdown Fulltext Access 11 Pages 2015
Ultra-low power circuits using graphene p–n junctions and adiabatic computing Fulltext Access 11 Pages 2015
Hardware/software co-design for a high-performance Java Card interpreter in low-end embedded systems Fulltext Access 11 Pages 2015
Development and application of a geospatial wildfire exposure and risk calculation tool Fulltext Access 12 Pages 2015
Four-dimensional connectivity modelling with application to Australia's north and northwest marine environments Fulltext Access 12 Pages 2015
Software framework for inverse modeling and uncertainty characterization Fulltext Access 12 Pages 2015
Assessment of the internal dynamics of the Australian Water Balance Model under different calibration regimes Fulltext Access 12 Pages 2015
A lightweight framework for rapid development of object-based hydrological model engines Fulltext Access 12 Pages 2015
A decision support system for the technical sustainability assessment of water distribution systems Fulltext Access 12 Pages 2015
Coping with climate change: The role of spatial decision support tools in facilitating community adaptation Fulltext Access 12 Pages 2015
Assessment of evolutionary algorithms for optimal operating rules design in real Water Resource Systems Fulltext Access 12 Pages 2015
Prediction of sediment, particulate nutrient and dissolved nutrient concentrations in a dry tropical river to provide input to a mechanistic coastal water quality model Fulltext Access 12 Pages 2015
Evaluation and comparison of data-driven and knowledge-supported Bayesian Belief Networks to assess the habitat suitability for alien macroinvertebrates Fulltext Access 12 Pages 2015
The influence of search components and problem characteristics in early life cycle class modelling Fulltext Access 12 Pages 2015
Improved genetic algorithm optimization of water distribution system design by incorporating domain knowledge Fulltext Access 12 Pages 2015
Evolutionary algorithm enhancement for model predictive control and real-time decision support Fulltext Access 12 Pages 2015
A risk management tool for tackling country-wide contingent disasters: A case study on Madagascar Fulltext Access 12 Pages 2015
Estimated human health risks from recreational exposures to stormwater runoff containing animal faecal material Fulltext Access 12 Pages 2015
A web-based screening model for climate risk to water supply systems in the northeastern United States Fulltext Access 12 Pages 2015
A predictable hardware to exploit temporal reuse in real-time and embedded systems Fulltext Access 12 Pages 2015
A social cloud-based tool to deal with time and media mismatch of intergenerational family communication Fulltext Access 12 Pages 2015
Dynamic and flexible selection of a reputation mechanism for heterogeneous environments Fulltext Access 12 Pages 2015
A simulation framework for priority scheduling on heterogeneous clusters Fulltext Access 12 Pages 2015
A reliable recommendation and privacy-preserving based cross-layer reputation mechanism for mobile cloud computing Fulltext Access 12 Pages 2015
Heuristics based server consolidation with residual resource defragmentation in cloud data centers Fulltext Access 12 Pages 2015
Using provenance to efficiently improve metadata searching performance in storage systems Fulltext Access 12 Pages 2015
Mobile cloud-based depression diagnosis using an ontology and a Bayesian network Fulltext Access 12 Pages 2015
Workload balancing and adaptive resource management for the swift storage system on cloud Fulltext Access 12 Pages 2015
The relationship between industrial process maturity and quality certification Fulltext Access 12 Pages 2015
A process capability based assessment model for software workforce in emergent software organizations Fulltext Access 12 Pages 2015
Active storage networks: Using embedded computation in the network switch for cluster data processing Fulltext Access 12 Pages 2015
A new digital front-end for flexible reception in software defined radio Fulltext Access 12 Pages 2015
Hardware software partitioning of control data flow graph on system on programmable chip Fulltext Access 12 Pages 2015
An approach to plan and evaluate the location of radiotherapy services and its application in the New South Wales, Australia Fulltext Access 12 Pages 2015
Optimization of insulin pump therapy based on high order run-to-run control scheme Fulltext Access 12 Pages 2015
A cross-hospital cost and quality assessment system by extracting frequent physician order set from a nationwide Health Insurance Research Database Fulltext Access 12 Pages 2015
A framework for the atrial fibrillation prediction in electrophysiological studies Fulltext Access 12 Pages 2015
A survey of general-purpose experiment management tools for distributed systems Fulltext Access 12 Pages 2015