the proceedings contain 10 papers. the special focus in this conference is on Formal Techniques for Distributed Objects, Components, and systems. the topics include: Preserving contract satisfiability under non-monoto...
ISBN:
(纸本)9783319926117
the proceedings contain 10 papers. the special focus in this conference is on Formal Techniques for Distributed Objects, Components, and systems. the topics include: Preserving contract satisfiability under non-monotonic composition;applied choreographies;monotonic prefix consistency in distributed systems;a modest security analysis of cyber-physical systems: A case study;relating process languages for security and communication correctness (extended abstract);a calculus for modeling floating authorizations;parameter synthesis algorithms for parametric interval markov chains;information flow tracking for side-effectful libraries;on a verification framework for certifying distributed algorithms: Distributed checking and consistency.
the proceedings contain 35 papers. the topics discussed include: IoT backyard: smart watering control system;a visualization system utilizing digital textbook logs;on the residual of mirror descent search and scalabil...
ISBN:
(纸本)9781538678053
the proceedings contain 35 papers. the topics discussed include: IoT backyard: smart watering control system;a visualization system utilizing digital textbook logs;on the residual of mirror descent search and scalability via dimensionality reduction;legal search system using ontology for government agencies in Lao PDR;CIRRUS : distributed cloud storage;countermeasure against spoofed e-mails using display name as a user authenticator;an IoT controlled system for plant growth;MQTT based air quality monitoring system using NodeMCU and node-RED;energy-aware distributed multi-cloud flower pollination optimization scheme;and a model for adaptive and distributed intrusion detection for cloud computing.
the proceedings contain 18 papers. the topics discussed include: MirageOS Unikernel with network acceleration for IoT cloud environments;challenges and solutions in cloud forensics;scheduling the parallel execution of...
ISBN:
(纸本)9781450364744
the proceedings contain 18 papers. the topics discussed include: MirageOS Unikernel with network acceleration for IoT cloud environments;challenges and solutions in cloud forensics;scheduling the parallel execution of workflows in cloud computing based on the imperialist competitive and genetic algorithms;fuzzy cross language plagiarism detection (Arabic-English) using WordNet in a big data environment;on two-dimensional structural information of Beijing transportation networks based on traffic big data;usability of big data resources in visual search interfaces of repositories based on KOS;definition and scope of big data problem;from big data to better behavior in self-driving cars;scalable privacy-preserving big data management and analytics: where we are and where we are going;and stock price forecasting: new model for uptrend detecting and downtrend anticipating based on long short-term memory.
the proceedings contain 23 papers. the topics discussed include: TScope: automatic timeout bug identification for server systems;auto-tuned publisher in a pub/sub system: design and performance evaluation;SmallTail: s...
ISBN:
(纸本)9781538651391
the proceedings contain 23 papers. the topics discussed include: TScope: automatic timeout bug identification for server systems;auto-tuned publisher in a pub/sub system: design and performance evaluation;SmallTail: scaling cores and probabilistic cloning requests for web systems;cloud application predictability through integrated load-balancing and service time control;robust distributed dictionary learning for in-network image compression;PerfGreen: performance and energy aware resource provisioning for heterogeneous clouds;a domain-specific language for autonomic managers in FPGA reconfigurable architectures;distributed cost-optimized placement for latency-critical applications in heterogeneous environments;preparing for the unexpected: diversity improves planning resilience in evolutionary algorithms;and run-time prediction of power consumption for component deployments.
the proceedings contain 36 papers. the topics discussed include: bring your own security risks with BYOD;understanding current research on the use and impact of big data analytics: a systematic literature review;analy...
ISBN:
(纸本)9789898533807
the proceedings contain 36 papers. the topics discussed include: bring your own security risks with BYOD;understanding current research on the use and impact of big data analytics: a systematic literature review;analysis of spatial accessibility to public libraries considering determinant of user's visit;dynamic data assigning clustering for school grouping;extraction of classification models using a bee swarm approach;visual analytics in the public sector: an analysis on diversities and similarities of London's wards;a methodology to identify extremist discourse on social media;the method for detecting the dependencies between technical functions and physical effects;identifying the distribution of the floating population in Seoul;cities information and communication technologies (ICT) bridge toward villages for women empowerment;is market efficiency enhanced in sub-second trading market;an incremental learning system for online KNN classification: application to network intrusion detection;stock prediction using randomness level of price fluctuation measured by the RMT-test;2CNN - modular image recognizer with convolutional neural networks;and full model selection in huge datasets through a meta-learning approach.
the proceedings contain 41 papers. the topics discussed include: spatial dependence of solar photovoltaic systems: data gathering process, related issues and preliminary results;mining sequential patterns for applianc...
ISBN:
(纸本)9789897582929
the proceedings contain 41 papers. the topics discussed include: spatial dependence of solar photovoltaic systems: data gathering process, related issues and preliminary results;mining sequential patterns for appliance usage prediction;blending acceptance as additional evaluation parameter into carbon capture and utilization life-cycle analyses;forecasting short-term solar radiation for photovoltaic energy predictions;a model predictive control based peak shaving application for a grid connected household with photovoltaic and battery storage;intelligent thermal control method for small-size air conditioning system;IoT architecture for decentralised heating control in households;a new crypto-classifier service for energy efficiency in smart cities;a predictive comfort- and energy-aware MPC-driven approach based on a dynamic PMV subjectification towards personalization in an indoor climate control scenario;soft load shedding: an efficient approach to manage electricity demand in a renewable rich distribution system;application independent flexibility assessment and forecasting for controlled EV charging;demand response of medical freezers in a business park microgrid;analyzing urban mobility carbon footprint with large-scale, agent-based simulation;and creating a roadmap for smart city development based on regional strategy work.
the IceCube-Gen2 facility will extend the energy range of IceCube to ultra-high energies. the key component to detect neutrinos with energies above 10 PeV is a large array of in-ice radio detectors. In previous work, ...
详细信息
the proceedings contain 2 papers. the topics discussed include: 'it looks like you’re writing a parallel loop': and a machine learning based parallelization assistant;automatic identification of standard temp...
ISBN:
(纸本)9781450369831
the proceedings contain 2 papers. the topics discussed include: 'it looks like you’re writing a parallel loop': and a machine learning based parallelization assistant;automatic identification of standard template algorithms in raw loops.
the proceedings contain 11 papers. the topics discussed include: HyperLoom: a platform for defining and executing scientific pipelines in distributed environments;managing heterogeneous resources in HPC systems;AutoPa...
ISBN:
(纸本)9781450364447
the proceedings contain 11 papers. the topics discussed include: HyperLoom: a platform for defining and executing scientific pipelines in distributed environments;managing heterogeneous resources in HPC systems;AutoPar-Clava an automatic parallelization source-to-source tool for C code applications;implicit data-parallelism in Kahn process networks: bridging the MacQueen gap;aspect-driven mixed-precision tuning targeting GPUs;impact of vectorization over 16-bit data-types on GPUs;enabling run-time managed distributed mobile computing;automatic OpenCL code generation from LLVM-IR using polyhedral optimization;embedded runtime for reconfigurable dataflow graphs on manycore architectures;reducing code size in scheduling synchronous dataflow graphs on multicore systems;and criticality-driven design space exploration for mixed-criticality heterogeneous parallel embedded systems.
暂无评论