Automated fault localization via hierarchical multiple predicate switching Fulltext Access 13 Pages 2015
Compositional power-aware real-time scheduling with discrete frequency levels Fulltext Access 13 Pages 2015
Integrating usability work into a large inter-organisational agile development project: Tactics developed by usability designers Fulltext Access 13 Pages 2015
Integrated core selection and mapping for mesh based Network-on-Chip design with irregular core sizes Fulltext Access 13 Pages 2015
Preference-oriented real-time scheduling and its application in fault-tolerant systems Fulltext Access 13 Pages 2015
High-level design space exploration for adaptive applications on multiprocessor systems-on-chip Fulltext Access 13 Pages 2015
Techniques for on-demand structural redundancy for massively parallel processor arrays Fulltext Access 13 Pages 2015
Synthesis and optimization of image processing accelerators using domain knowledge Fulltext Access 13 Pages 2015
A pattern-based method for refining and formalizing informal specifications in critical control systems Fulltext Access 13 Pages 2015
A semantic approach for designing Assistive Software Recommender systems Fulltext Access 13 Pages 2015
Differential evolution with sensitivity analysis and the Powell's method for crowd model calibration Fulltext Access 13 Pages 2015
Integrating software engineering theory and practice using essence: A case study Fulltext Access 13 Pages 2015
Shared service recommendations from requirement specifications: A hybrid syntactic and semantic toolkit Fulltext Access 13 Pages 2015
Work efficient parallel algorithms for large graph exploration on emerging heterogeneous architectures Fulltext Access 13 Pages 2015
A model-driven blocking strategy for load balanced sparse matrix–vector multiplication on GPUs Fulltext Access 13 Pages 2015
All-Pairs Shortest Path algorithms for planar graph for GPU-accelerated clusters Fulltext Access 13 Pages 2015
A new augmentation based algorithm for extracting maximal chordal subgraphs Fulltext Access 13 Pages 2015
A programming-level approach for elasticizing parallel scientific applications Fulltext Access 14 Pages 2015
Nonlinear regression in environmental sciences using extreme learning machines: A comparative evaluation Fulltext Access 14 Pages 2015
A fast mobile early warning system for water quality emergency risk in ungauged river basins Fulltext Access 14 Pages 2015
Multibody system dynamics simulator for process simulation of ships and offshore plants in shipyards Fulltext Access 14 Pages 2015
Non-parametric stochastic subset optimization utilizing multivariate boundary kernels and adaptive stochastic sampling Fulltext Access 14 Pages 2015
Performance of rate-based pull and push strategies in heterogeneous networks Fulltext Access 14 Pages 2015
A general theory of software engineering: Balancing human, social and organizational capitals Fulltext Access 14 Pages 2015
Assessing the security of web service frameworks against Denial of Service attacks Fulltext Access 14 Pages 2015
Integrating statistical and hydrological models to identify implementation sites for agricultural conservation practices Fulltext Access 14 Pages 2015
A smart home management system with hierarchical behavior suggestion and recovery mechanism Fulltext Access 14 Pages 2015
Semi-asynchronous and distributed weighted connected dominating set algorithms for wireless sensor networks Fulltext Access 14 Pages 2015
Self adaptable multithreaded object detection on embedded multicore systems Fulltext Access 14 Pages 2015
A geospatial framework to support integrated biogeochemical modelling in the United Kingdom Fulltext Access 14 Pages 2015
Similarity Joins: Their implementation and interactions with other database operators Fulltext Access 14 Pages 2015
Loss estimation for landslides in mountain areas - An integrated toolbox for vulnerability assessment and damage documentation Fulltext Access 14 Pages 2015
Multi-objective environmental model evaluation by means of multidimensional kernel density estimators: Efficient and multi-core implementations Fulltext Access 14 Pages 2015
Assessing direct and indirect economic impacts of a flood event through the integration of spatial and computable general equilibrium modelling Fulltext Access 14 Pages 2015
A Fuzzy Decision Support System for irrigation and water conservation in agriculture Fulltext Access 14 Pages 2015
Addressing the ability of a land biosphere model to predict key biophysical vegetation characterisation parameters with Global Sensitivity Analysis Fulltext Access 14 Pages 2015
Integration of an energy balance snowmelt model into an open source modeling framework Fulltext Access 14 Pages 2015
An optimization decision support approach for risk analysis of carbon emission trading in electric power systems Fulltext Access 14 Pages 2015
Modelling Australian land use competition and ecosystem services with food price feedbacks at high spatial resolution Fulltext Access 14 Pages 2015
Coupling a tree growth model with storm damage modeling - Conceptual approach and results of scenario simulations Fulltext Access 14 Pages 2015
A systematic approach to determining metamodel scope for risk-based optimization and its application to water distribution system design Fulltext Access 14 Pages 2015
Using characteristics of the optimisation problem to determine the Genetic Algorithm population size when the number of evaluations is limited Fulltext Access 14 Pages 2015
Constraining distance-based multipoint simulations to proportions and trends Fulltext Access 14 Pages 2015
Visualizing and analyzing dynamic meteorological data with virtual globes: A case study of tropical cyclones Fulltext Access 14 Pages 2015
Toward the tools selection in model based system engineering for embedded systems—A systematic literature review Fulltext Access 14 Pages 2015
Information infrastructure risk prediction through platform vulnerability analysis Fulltext Access 14 Pages 2015
An integrated approach to workflow mapping and task scheduling for delay minimization in distributed environments Fulltext Access 14 Pages 2015
On the competitiveness of scheduling dynamically injected tasks on processes prone to crashes and restarts Fulltext Access 14 Pages 2015
Energy-aware parallel self-reconfiguration for chains microrobot networks Fulltext Access 14 Pages 2015
A composable real-time architecture for replicated railway applications Fulltext Access 14 Pages 2015
A practical approach to the assessment of quality in use of corporate web sites Fulltext Access 14 Pages 2015
An experimental investigation on the innate relationship between quality and refactoring Fulltext Access 14 Pages 2015
A benchmarking process to assess software requirements documentation for space applications Fulltext Access 14 Pages 2015
Multirelational representation theorems for complete idempotent left semirings Fulltext Access 14 Pages 2015
Automatic service derivation from business process model repositories via semantic technology Fulltext Access 14 Pages 2015
Decentralised dispatch of distributed energy resources in smart grids via multi-agent coalition formation Fulltext Access 14 Pages 2015
Evaluating energy cost of route diversity for security in wireless sensor networks Fulltext Access 14 Pages 2015
A prototype of a novel cell phone application for tracking the vaccination coverage of children in rural communities Fulltext Access 14 Pages 2015
A spatially explicit land surface phenology data product for science, monitoring and natural resources management applications Fulltext Access 14 Pages 2015
A methodology to explore the determinants of eco-efficiency by combining an agronomic whole-farm simulation model and efficient frontier Fulltext Access 14 Pages 2015
Finite element analysis of spiral strands with different shapes subjected to axial loads Fulltext Access 14 Pages 2015
Integrating a reduced-order model server into the engineering design process Fulltext Access 14 Pages 2015
Intermediate model based efficient and integrated multidisciplinary simulation data visualization for simulation information reuse Fulltext Access 14 Pages 2015
An insight into the scientific background and future perspectives for the potential uses of melatonin Fulltext Access 14 Pages 2015
Patient-specific computational modeling of blood flow in the pulmonary arterial circulation Fulltext Access 14 Pages 2015
Error propagation in the characterization of atheromatic plaque types based on imaging Fulltext Access 14 Pages 2015
Groebner basis based formal verification of large arithmetic circuits using Gaussian elimination and cone-based polynomial extraction Fulltext Access 14 Pages 2015
Network coding-based energy-efficient multicast routing algorithm for multi-hop wireless networks Fulltext Access 14 Pages 2015
Quantitative modeling of power performance tradeoffs on extreme scale systems Fulltext Access 14 Pages 2015
Hardware acceleration of homogeneous and heterogeneous ensemble classifiers Fulltext Access 14 Pages 2015