Quantitative Stochastic Models in the Verification and Design of Software Systems IMPORTANT DATES. Submission of papers: Extended) Notification of acceptance: Camera-ready paper:

Source URL: deepse.dei.polimi.it

• Engineering
• Software requirements
• Software quality
• Design for X
• Systems engineering
• Reliability engineering
• Survival analysis
• Economic model
• Requirement
• Systems science
• Design

Exploring Adaptive Reconfiguration to Optimize Energy Efficiency in Large-Scale Battery Systems Liang He1 , Lipeng Gu2 , Linghe Kong1, Yu Gu1 , Cong Liu3 , Tian He4 1 Singapore University of Technology and Design, Singap

Source URL: wirelesslab.sjtu.edu.cn

• Electromagnetism
• Energy
• Electrical engineering
• Rechargeable batteries
• Analog circuits
• Battery charging
• Energy conversion
• Electric battery
• Electric power
• Battery charger
• Lithium-ion battery
• Voltage

THE WORLD’S MOST FUEL EFFICIENT VEHICLE DESIGN AND DEVELOPMENT OF J.J. Santin, C.H. Onder, J. Bernard, D. Isler, P. Kobler, F. Kolb, N. Weidmann, L. Guzzella

Source URL: www.paccar.ethz.ch

• Energy
• Universe
• Transport economics
• Transport
• Energy conservation
• Energy economics
• Pac-car II
• Aerodynamics
• Energy-efficient driving
• Lino Guzzella
• Shell Eco-marathon
• Fuel efficiency

COVER OF THESIS/FINAL PROJECT TEMPLATE DESIGN GUIDELINES Page. 1 Please follow the instructions to maintain a consistent representation of final

Source URL: en.ru.is

• Education
• Bachelor of Science
• Engineer's degree
• Master of Science in Management
• Master's degree
• King Fahd University of Petroleum and Minerals
• Tallinn University of Technology

The Jury Is In: Monolithic OS Design Is Flawed Microkernel-based Designs Improve Security Simon Biggs, Damon Lee,

Source URL: ts.data61.csiro.au

A Comparison of High-Level Full-System Power Models Who needs power models? !! Component and system designers "! How do design decisions affect power?

Source URL: rivoire.cs.sonoma.edu

• Central processing unit
• Computer performance
• Load
• Xeon
• Computing
• Computer engineering

Design of Knowledge Analytics Tools for Workplace Learning Maria A Schett, Stefan Thalmann & Ronald K Maier , {stefan.thalmann, ronald.maier}@uibk.ac.at FG-WM @ LWDA 2016 @ Potsdam, 2016 | 09 | 12

Source URL: www.maria-a-schett.net

• Education
• Economy
• Educational psychology
• Neuropsychology
• Business intelligence
• Big data
• Formal sciences
• Analytics
• Architectural pattern
• Educational technology
• Learning
• Learning analytics

Algorithmic Blockchain Channel Design Georgia Avarikioti ETH Zurich, Switzerland Yuyi Wang

Source URL: arxiv.org

• Graph theory
• Cryptocurrencies
• Mathematics
• Shortest path problem
• Lightning Network
• Minimum spanning tree
• Directed graph
• Blockchain
• Bitcoin
• Line graph
• Eulerian path

Science of Computer Programming, 14(2-3), 1990, ppAlgorithm Theories and Design Tactics Douglas R. Smith and Michael R. Lowry Kestrel Institute 3260 Hillview Avenue

Source URL: www.kestrel.edu

• Mathematics
• Algebra
• Combinatorial optimization
• Mathematical logic
• Mathematical optimization
• Operations research
• Algorithm
• Sheaf
• Branch and bound
• Universal property
• Equation solving
• Boolean algebra