Division of Computer Systems: Publications from 2017
-
An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures
. In International Journal on Software Tools for Technology Transfer, volume 19, number 5, pp 549-563, SPRINGER HEIDELBERG, 2017. (DOI
).
-
Comparing source sets and persistent sets for partial order reduction
. In Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, volume 10460 of Lecture Notes in Computer Science, pp 516-536, Springer, 2017. (DOI
).
-
Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction
. In Journal of the ACM, volume 64, number 4, Association for Computing Machinery (ACM), 2017. (DOI
).
-
Context-bounded analysis for POWER
. In Tools and Algorithms for the Construction and Analysis of Systems: Part II, volume 10206 of Lecture Notes in Computer Science, pp 56-74, Springer, 2017. (DOI
, External link
).
-
Flatten and Conquer: A Framework for Efficient Analysis of String Constraints
. In SIGPLAN notices, volume 52, number 6, pp 602-617, 2017. (DOI
).
-
Stateless model checking for TSO and PSO
. In Acta Informatica, volume 54, number 8, pp 789-818, 2017. (DOI
).
-
Synthesis of Ada code from graph-based task models
. In Proc. 32nd ACM Symposium on Applied Computing, pp 1467-1472, ACM Press, New York, 2017. (DOI
).
-
Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems
. In MODELS, ALGORITHMS, LOGICS AND TOOLS: ESSAYS DEDICATED TO KIM GULDSTRAND LARSEN ON THE OCCASION OF HIS 60TH BIRTHDAY, volume 10460 of Lecture Notes in Computer Science, pp 623-639, SPRINGER INTERNATIONAL PUBLISHING AG, 2017. (DOI
).
-
A Taxonomy of Out-of-Order Instruction Commit
. In 2017 Ieee International Symposium On Performance Analysis Of Systems And Software (Ispass), pp 135-136, IEEE Computer Society, Los Alamitos, 2017. (DOI
).
-
Exploring the performance limits of out-of-order commit
. In Proc. 14th Computing Frontiers Conference, pp 211-220, ACM Press, New York, 2017. (DOI
, attachment:print
).
-
An Ontology-based Context-aware System for Smart Homes: E-care@ home
. In Sensors, volume 17, number 7, 2017.
-
Addressing energy challenges in filter caches
. In Proc. 29th International Symposium on Computer Architecture and High Performance Computing, pp 49-56, IEEE Computer Society, 2017. (DOI
).
-
Data Packet Transmission through Fat Tissue for Wireless Intra-Body Networks
. In IEEE Journal of Electromagnetics, RF and Microwaves in Medicine and Biology, volume 1, number 2, pp 43-51, 2017. (DOI
, fulltext:postprint
).
-
Human fat tissue: A microwave communication channel
. In Proc. 1st MTT-S International Microwave Bio Conference, IEEE, 2017. (DOI
).
-
Intra-body microwave communication through adipose tissue
. In Healthcare Technology Letters, volume 4, number 4, pp 115-121, 2017. (DOI
, Fulltext
, fulltext:print
).
-
Reliability of the fat tissue channel for intra-body microwave communication
. In 2017 IEEE Conference on Antenna Measurements & Applications (CAMA), IEEE Conference on Antenna Measurements & Applications, pp 310-313, IEEE, 2017. (DOI
, fulltext:postprint
).
-
Emptiness of Ordered Multi-Pushdown Automata is 2ETIME-Complete
. In International Journal of Foundations of Computer Science, volume 28, number 8, pp 945-975, 2017. (DOI
).
-
On the Upward/Downward Closures of Petri Nets?
. In 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), volume 83 of Leibniz International Proceedings in Informatics (LIPIcs), pp 49:1-49:14, Dagstuhl, Germany, 2017. (DOI
, External link
).
-
Parity Games on Bounded Phase Multi-pushdown Systems
. In Networked Systems: 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings, volume 10299 of Lecture Notes in Computer Science, pp 272-287, Cham, 2017. (DOI
).
-
Verification of Asynchronous Programs with Nested Locks
. In 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, volume 93 of Leibniz International Proceedings in Informatics (LIPIcs), pp 11:1-11:14, Dagstuhl, Germany, 2017.
-
Data Multi-Pushdown Automata
. In The 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany, volume 85 of Leibniz International Proceedings in Informatics (LIPIcs), pp 38:1-38:17, Dagstuhl, Germany, 2017. (DOI
).
-
Preparing tomorrow's software engineers for work in a global environment
. In IEEE Software, volume 34, number 1, pp 9-12, 2017. (DOI
).
-
Employing attribute-based encryption in systems with resource constrained devices in an information-centric networking context
. In 2017 Global Internet of Things Summit (GIoTS), pp 397-402, IEEE, 2017. (DOI
).
-
Adaptive cache warming for faster simulations
. In Proc. 9th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, ACM Press, New York, 2017. (DOI
, Fulltext
, fulltext:print
).
-
Unexpected student behaviour and learning opportunities: Using the theory of planned behaviour to analyse a critical incident
. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI
).
-
Transcending hardware limits with software out-of-order processing
. In IEEE Computer Architecture Letters, volume 16, number 2, pp 162-165, 2017. (DOI
).
-
Analyzing Graphics Workloads on Tile-based GPUs
. In Proc. 20th International Symposium on Workload Characterization, pp 108-109, IEEE, 2017. (DOI
).
-
Exploring scheduling effects on task performance with TaskInsight
. In Supercomputing frontiers and innovations, volume 4, number 3, pp 91-98, 2017. (DOI
, Fulltext
).
-
How to make tasks faster: Revealing the complex interactions of tasks in the memory system
. In Proc. Companion 8th ACM International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, pp 1-3, ACM Press, New York, 2017. (DOI
).
-
Modeling the interactions between tasks and the memory system
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2017-002, Uppsala University, 2017. (fulltext
).
-
TaskInsight: Understanding task schedules effects on memory and performance
. In Proc. 8th International Workshop on Programming Models and Applications for Multicores and Manycores, pp 11-20, ACM Press, New York, 2017. (DOI
, Fulltext
).
-
Understanding the interplay between task scheduling, memory and performance
. In Proc. Companion 8th ACM International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, pp 21-23, ACM Press, New York, 2017. (DOI
).
-
A dedicated private-shared cache design for scalable multiprocessors
. In Concurrency and Computation, volume 29, number 2, 2017. (DOI
).
-
Learning to prove safety over parameterised concurrent systems
. In Proceedings of the 17th International Conference on Formal Methods in Computer-Aided Design, pp 76-83, IEEE, 2017. (DOI
, fulltext:postprint
).
-
Linguistic markers of a radicalized mind-set among extreme adopters
. In Proc. 10th ACM International Conference on Web Search and Data Mining, pp 823-824, ACM Press, New York, 2017. (DOI
).
-
Resource Aggregation for Task-Based Cholesky Factorization on Top of Heterogeneous Machines
. In Euro-Par 2016: Parallel processing workshops, volume 10104 of Lecture Notes in Computer Science, pp 56-68, Springer Nature, 2017. (DOI
).
-
The Educator Identity and its Impact
. In SIGCSE '17 Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, ACM Digital Library, 2017. (DOI
).
-
Advances Towards Data-Race-Free Cache Coherence Through Data Classification
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1521, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext
, preview image
).
-
Scope-Aware Classification: Taking the hierarchical private/shared data classification to the next level
. Technical report / Department of Information Technology, Uppsala University nr 2017-008, 2017. (fulltext
).
-
The best of both works: A hybrid data-race-free cache coherence scheme
. 2017.
-
Analysis and experimental evaluation of IEEE 802.15.4e TSCH CSMA-CA Algorithm
. In IEEE Transactions on Vehicular Technology, volume 66, number 2, pp 1573-1588, 2017. (DOI
).
-
Systematic predicate abstraction using variable roles
. In NASA Formal Methods, volume 10227 of Lecture Notes in Computer Science, pp 265-281, Springer, 2017. (DOI
, fulltext:postprint
).
-
Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP-hard
. In 2017 IEEE Real-Time Systems Symposium (RTSS)<em></em>, Real-Time Systems Symposium-Proceedings, pp 139-146, IEEE, 2017. (DOI
).
-
Making batteries a first class element in the design and evaluation of embedded wireless systems
. In Proc. 14th International Conference on Embedded Wireless Systems and Networks, pp 242-243, ACM Digital Library, 2017.
-
Towards realistic lifetime estimation in battery-powered IoT devices
. In Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems Article No. 67, Association for Computing Machinery (ACM), 2017. (DOI
).
-
Efficient Drone Hijacking Detection using Onboard Motion Sensors
. In Proceedings Of The 2017 Design, Automation & Test In Europe Conference & Exhibition (DATE), Design Automation and Test in Europe Conference and Exhibition, pp 1414-1419, IEEE, 2017. (DOI
).
-
IoT Data Profiles: The Routines of Your Life Reveals Who You Are
. In 2017 European Intelligence and Security Informatics Conference (EISIC), European Intelligence and Security Informatics Conference, pp 61-67, IEEE, 2017. (DOI
).
-
A diversity lens on the last decade of the FIE conference: Role models for the engineering community
. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI
).
-
Experiences of teachers in computing as role models: a phenomenographic study
. In Proc. 17th International Conference on Computing Education Research: Koli Calling, pp 133-137, ACM Press, New York, 2017. (DOI
).
-
Preface to special issue on satisfiability modulo theories
. In Formal methods in system design, volume 51, number 3, pp 431-432, 2017. (DOI
).
-
Introducing Programming and Digital Competence in Swedish K–9 Education
. In Informatics in Schools: Focus on Learning Programming, pp 117-128, Springer Nature, 2017. (DOI
, fulltext:postprint
).
-
Protecting Glossy-based Wireless Networks from Packet Injection Attacks
. In Proceeding of the 2017 IEEE 14th International Conference on Mobile Ad Hoc and Sensor Systems (MASS), IEEE International Conference on Mobile Ad-hoc and Sensor Systems, pp 37-45, IEEE, Orlando, 2017. (DOI
).
-
Deciding and Interpolating Algebraic Data Types by Reduction
. In 2017 19th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC 2017), International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp 145-152, IEEE, New York, 2017. (DOI
).
-
Gender Classification with Data Independent Features in Multiple Languages
. In 2017 European Intelligence and Security Informatics Conference (EISIC), European Intelligence and Security Informatics Conference, pp 54-60, IEEE, 2017. (DOI
).
-
Resource-Efficient Detection of Elephant Rumbles
. In SenSys '17 Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems, 2017. (DOI
).
-
Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors
. In 2017 IEEE Real-Time Systems Symposium (RTSS), Real-Time Systems Symposium-Proceedings, pp 80-91, IEEE, 2017. (DOI
).
-
Automatic detection of extended data-race-free regions
. In Proc. 15th International Symposium on Code Generation and Optimization, pp 14-26, IEEE Press, Piscataway, NJ, 2017. (Paper
, fulltext:postprint
).
-
Author Profiling in the Wild
. In 2017 European Intelligence and Security Informatics Conference (EISIC), European Intelligence and Security Informatics Conference, pp 155-158, IEEE, 2017. (DOI
).
-
Quantified heap invariants for object-oriented programs
. In 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 46 of EPiC Series in Computing, pp 368-384, 2017. (External link
, fulltext:postprint
).
-
GECKO: Gamer Experience-Centric Bitrate Control Algorithm for Cloud Gaming
. In Image and Graphics: 9th International Conference, ICIG 2017, Shanghai, China, September 13-15, 2017, Revised Selected Papers, Part II, volume 10667 of Lecture Notes in Computer Science, pp 325-335, Springer, 2017. (DOI
).
-
Generalized Finitary Real-Time Calculus
. In IEEE INFOCOM 2017 - IEEE Conference on Computer Communications, IEEE INFOCOM, IEEE, 2017. (DOI
).
-
A deep learning approach for optimizing content delivering in cache-enabled HetNet
. In Proc. 14th International Symposium on Wireless Communication Systems, pp 449-453, IEEE, 2017. (DOI
).
-
Fair termination for parameterized probabilistic concurrent systems
. In Tools and Algorithms for the Construction and Analysis of Systems: Part I, volume 10205 of Lecture Notes in Computer Science, pp 499-517, Springer, 2017. (DOI
, fulltext:postprint
).
-
Subtask scheduling for distributed robots in cloud manufacturing
. In IEEE Systems Journal, volume 11, number 2, pp 941-950, 2017. (DOI
).
-
Exposing inter-process information for efficient parallel discrete event simulation of spatial stochastic systems
. In Proc. 5th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp 53-64, ACM Press, New York, 2017. (DOI
).
-
Cloud-Based Data Fusion in Green IoT for Smart Cities
. In Proc. 14th International Conference on Embedded Wireless Systems and Networks, pp 216-217, ACM Digital Library, 2017.
-
Path planning for aerial sensor networks with connectivity constraints
. In 2017 IEEE International Conference on Communications (ICC), IEEE International Conference on Communications, IEEE, 2017. (DOI
).
-
First year computing students' perceptions of authenticity in assessment
. In Proc. 22nd Conference on Innovation and Technology in Computer Science Education, pp 10-15, ACM Press, New York, 2017. (DOI
, Fulltext
).
-
The authenticity of 'authentic' assessment: Some faculty perceptions
. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI
).
-
Run-Time Assurance for the E-care@home System
. In , 2017.
-
An executable semantics for synchronous task graphs: From SDRT to Ada
. In Reliable Software Technologies — Ada-Europe 2017, volume 10300 of Lecture Notes in Computer Science, pp 137-152, Springer, 2017. (DOI
).
-
Refinement of workload models for engine controllers by state space partitioning
. In 29th Euromicro Conference on Real-Time Systems: ECRTS 2017, volume 76 of Leibniz International Proceedings in Informatics (LIPIcs), pp 11:1-22, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2017. (DOI
, Fulltext
).
-
Can we make a cake and eat it too?: A discussion of ICN security and privacy
. In Computer communication review, volume 47, number 1, pp 49-54, 2017. (DOI
).
-
Guest Editorial Special Section on Internet-of-Things for Smart Cities and Urban Informatics
. In IEEE Transactions on Industrial Informatics, volume 13, number 2, pp 748-750, Institute of Electrical and Electronics Engineers (IEEE), 2017. (DOI
).
-
Development of a self-efficacy scale for digital competences in schools
. In 2017 IEEE Frontiers in Education Conference (FIE): Proc. 47th ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, IEEE Press, 2017. (DOI
, fulltext:postprint
).
-
Open-ended projects opened up – aspects of openness
. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI
).
-
Why are we here?: Student perspectives on the goal of STEM higher education
. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI
).
-
Investigating interference between LoRa and IEEE 802.15.4g networks
. In Proc. 13th International Conference on Wireless and Mobile Computing, Networking and Communications, pp 441-448, IEEE, 2017. (DOI
).
-
Measuring PHY layer interactions between LoRa and IEEE 802.15.4g networks
. In 2017 IFIP Networking Conference (IFIP Networking) and Workshops, International Federation for Information Processing, 2017. (DOI
).
-
The Archetype Learning Method: Scaffolding teamwork competences in the engineering classroom
. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI
).
-
Learning Computing at University: Participation and Identity: A Longitudinal Study
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1577, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext
, preview image
).
-
Member spotlight part 2
. In ACM SIGCSE Bulletin, volume 49, number 2, pp 11-14, 2017. (DOI
).
-
Augmenting WSNs with Interoperable 802.15.4 Sensor Tags
. In Proceedings of the 15th ACM Conference on Embedded Networked Sensor Systems, 2017. (DOI
).
-
On Limits of Constructive Interference in Backscatter Systems
. In Global Internet of Things Summit (GIoTS), 2017, pp 178-182, IEEE, 2017. (DOI
).
-
Building the Internet of Things with bluetooth smart
. In Ad hoc networks, volume 57, pp 19-31, 2017. (DOI
).
-
SecureSense: End-to-End Secure Communication Architecture for the Cloud-connected Internet of Things
. In Future Generation Computer Systems, volume 77, pp 40-51, 2017. (DOI
).
-
Verification of networks of communicating processes: Reachability problems and decidability issues
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1605, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext
, preview image
).
-
Efficient Self-Invalidation/Self-Downgrade for Critical Sections with Relaxed Semantics
. In IEEE Transactions on Parallel and Distributed Systems, volume 28, number 12, pp 3413-3425, 2017. (DOI
).
-
Non-speculative load-load reordering in TSO
. In Proc. 44th International Symposium on Computer Architecture, pp 187-200, ACM Press, New York, 2017. (DOI
).
-
Profiling energy efficiency and data communications for mobile Internet of Things
. In Wireless Communications & Mobile Computing, volume 17, 2017. (DOI
, Fulltext
, fulltext:print
).
-
Eloc: Locating Wild Elephants using Low-cost Infrasonic Detectors
. In 2017 13Th International Conference On Distributed Computing In Sensor Systems (DCOSS), IEEE International Conference on Distributed Computing in Sensor Systems, pp 44-52, IEEE, 2017. (DOI
).
-
Poster: A Low-cost Elephant Localization System
. In , 2017.
-
A graphics tracing framework for exploring CPU+GPU memory systems
. In Proc. 20th International Symposium on Workload Characterization, pp 54-65, IEEE, 2017. (DOI
).
-
A split cache hierarchy for enabling data-oriented optimizations
. In Proc. 23rd International Symposium on High Performance Computer Architecture, pp 133-144, IEEE Computer Society, 2017. (DOI
).
-
POSTER: Putting the G back into GPU/CPU Systems Research
. In 2017 26TH INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES (PACT), International Conference on Parallel Architectures and Compilation Techniques, pp 130-131, 2017. (DOI
).
-
<em>Intrusion Detection in the RPL-connected 6LoWPAN Networks</em>
. In , 2017.
-
A Machine Learning Approach Towards Detecting Extreme Adopters in Digital Communities
. In 2017 28th International Workshop on Database and Expert Systems Applications (DEXA), International Workshop on Database and Expert Systems Applications-DEXA, pp 1-5, IEEE, 2017. (DOI
).
-
Applying Real-Time Scheduling Theory to the Synchronous Data Flow Model of Computation
. In , 2017. (DOI
, Fulltext
).
-
Battery-free Visible Light Sensing
. In Proceedings Of The 23rd Annual International Conference On Mobile Computing And Networking (MOBICOM '17), pp 582-584, 2017. (DOI
).
-
Demo: Battery-free Visible Light Sensing
. In Proc. 4th ACM Workshop on Visible Light Communication Systems, pp 35-35, ACM Press, New York, 2017. (DOI
).
-
Enabling Ambient Backscatter Using a Low-Cost Software Defined Radio
. In , 2017.
-
Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied Tasks
. In 2017 IEEE Real-Time Systems Symposium (RTSS), Real-Time Systems Symposium-Proceedings, pp 92-103, IEEE, 2017. (DOI
).
-
Revisiting GPC and AND Connector in Real-Time Calculus
. In 2017 IEEE Real-Time Systems Symposium (RTSS), Real-Time Systems Symposium-Proceedings, pp 255-265, IEEE, 2017. (DOI
).
-
Privacy-preserving social tie discovery based on cloaked human trajectories
. In IEEE Transactions on Vehicular Technology, volume 66, number 2, pp 1619-1630, 2017. (DOI
).
-
Clairvoyance: Look-ahead compile-time scheduling
. In Proc. 15th International Symposium on Code Generation and Optimization, pp 171-184, IEEE Press, Piscataway, NJ, 2017. (fulltext:postprint
).
-
Software Architectural Metrics for the Scania Internet of Things Platform: From a Microservice Perspectiv
. Student thesis, supervisor: Jakob Palmheden, examiner: Tomas Nyberg, Christian Rohner, UPTEC F nr 17033, 2017. (fulltext
).
-
Battery-free Visible Light Sensing
. In Proc. 4th ACM Workshop on Visible Light Communication Systems, pp 3-8, ACM Press, New York, 2017. (DOI
).
-
Demo: LoRea: A backscatter architecture that achieves a long communication range
. In Proc. 15th ACM Conference on Embedded Network Sensor Systems, ACM Press, New York, 2017. (DOI
, External link
).
-
LoRea: A backscatter architecture that achieves a long communication range
. In Proc. 15th ACM Conference on Embedded Network Sensor Systems, ACM Press, New York, 2017. (DOI
, External link
, fulltext:print
).
-
Towards wide-area backscatter networks
. In Proc. 4th ACM Workshop on Hot Topics in Wireless, pp 49-53, ACM Press, New York, 2017. (DOI
).
-
A perspective from Vietnamese students on teaching of soft skills
. In Proc. 5th International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 23-24, IEEE Computer Society, 2017. (DOI
).
-
Mitigating Inter-network Interference in LoRa Networks
. In , 2017. (fulltext:postprint
).
-
Benchmarking OpenMP Programs for Real-Time Scheduling
. In 2017 IEEE 23Rd International Conference On Embedded And Real-Time Computing Systems And Applications (RTSCA), IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, IEEE Computer Society, 2017. (DOI
).
-
Towards Customizable CPS: Composability, Efficiency and Predictability
. In Formal Methods and Software Engineering, volume 10610 of Lecture Notes in Computer Science, pp 3-15, Springer, 2017. (DOI
).
-
Decoupled Access-Execute on ARM big.LITTLE
. In Proc. 5th Workshop on High Performance Energy Efficient Embedded Systems, 2017. (External link
).
-
An approximation framework for solvers and decision procedures
. In Journal of automated reasoning, volume 58, number 1, pp 127-147, 2017. (DOI
, Fulltext
).
-
On energy-efficient offloading in mobile cloud for real-time video applications
. In IEEE transactions on circuits and systems for video technology (Print), volume 27, number 1, pp 170-181, 2017. (DOI
).