Division of Computer Systems: Publications from 2016
-
Automated Verification of Linearization Policies
. In Automated Verification of Linearization Policies: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings, 2016. (DOI
).
-
Qualitative Analysis of VASS-Induced MDPs
. In Foundations Of Software Science And Computation Structures (FOSSACS 2016), volume 9634 of Lecture Notes in Computer Science, pp 319-334, 2016. (DOI
).
-
Data Communicating Processes with Unreliable Channels
. In Proceedings Of The 31St Annual ACM-IEEE Symposium On Logic In Computer Science (LICS 2016), pp 166-175, 2016. (DOI
).
-
Parameterized verification
. In International Journal on Software Tools for Technology Transfer, volume 18, number 5, pp 469-473, 2016. (DOI
).
-
Counter-Example Guided Program Verification
. In FM 2016: Formal Methods, volume 9995 of Lecture Notes in Computer Science, pp 25-42, Springer, 2016. (DOI
).
-
Fencing programs with self-invalidation and self-downgrade
. In Formal Techniques for Distributed Objects, Components, and Systems, volume 9688 of Lecture Notes in Computer Science, pp 19-35, Springer, 2016. (DOI
).
-
Parameterized verification of time-sensitive models of ad hoc network protocols
. In Theoretical Computer Science, volume 612, pp 1-22, 2016. (DOI
).
-
Parameterized verification through view abstraction
. In International Journal on Software Tools for Technology Transfer, volume 18, number 5, pp 495-516, 2016. (DOI
).
-
Recency-Bounded Verification of Dynamic Database-Driven Systems
. In PODS'16: PROCEEDINGS OF THE 35TH ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS, pp 195-210, 2016. (DOI
).
-
Stateless model checking for POWER
. In Computer Aided Verification: Part II, volume 9780 of Lecture Notes in Computer Science, pp 134-156, Springer, 2016. (DOI
).
-
The benefits of duality in verifying concurrent programs under TSO
. In 27th International Conference on Concurrency Theory: CONCUR 2016, volume 59 of Leibniz International Proceedings in Informatics (LIPIcs), pp 5:1-15, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2016. (DOI
, Fulltext
, External link
).
-
Verification of heap manipulating programs with ordered data by extended forest automata
. In Acta Informatica, volume 53, number 4, pp 357-385, 2016. (DOI
).
-
Improving performance by monitoring while maintaining worst-case guarantees
. In Proc. 19th Conference on Design, Automation and Test in Europe, pp 257-260, IEEE, Piscataway, NJ, 2016.
-
Internet of Things for smart cities: Interoperability and open data
. In IEEE Internet Computing, volume 20, number 6, pp 52-56, 2016. (DOI
).
-
Bounds on the lifetime of wireless sensor networks with lossy links and directional antennas
. In Wireless Network Performance Enhancement via Directional Antennas: Models, Protocols, and Systems, pp 329-361, CRC Press, Boca Raton, FL, 2016. (DOI
).
-
Design and implementation of a demonstrator for a Bluetooth Low Energy based fleet service system for hand-held gardening and forestry products
. Student thesis, supervisor: Anders Mattsson, examiner: Tomas Nyberg, Thiemo Voigt, UPTEC F nr 16057, 2016. (fulltext
).
-
Multi-domain alias matching using machine learning
. In Proc. 3rd European Network Intelligence Conference, pp 77-84, IEEE, 2016. (DOI
, fulltext:postprint
).
-
Acceleration in Multi-PushDown Systems
. In Tools and Algorithms for the Construction and Analysis of Systems, volume 9636 of Lecture Notes in Computer Science, pp 698-714, Springer, 2016. (DOI
).
-
The complexity of regular abstractions of one-counter languages
. In Proceedings Of The 31St Annual ACM-IEEE Symposium On Logic In Computer Science (LICS 2016), pp 207-216, 2016. (DOI
).
-
Algebraic polynomial-based synthesis for abstract Boolean network analysis
. In Satisfiability Modulo Theories: SMT 2016, volume 1617 of CEUR Workshop Proceedings, pp 41-50, RWTH Aachen University, 2016. (Fulltext
).
-
New techniques for handling quantifiers in Boolean and first-order logic
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-012, Uppsala University, 2016. (fulltext
).
-
Fusion: Coalesced Confidential Storage and Communication Framework for the IoT
. In Security and Communication Networks, volume 9, number 15, pp 2656-2673, 2016. (DOI
).
-
AutoDietary: A wearable acoustic sensor system for food intake recognition in daily life
. In IEEE Sensors Journal, volume 16, number 3, pp 806-816, 2016. (DOI
, Fulltext
).
-
Multi-feature fusion for thermal face recognition
. In Infrared physics & technology, volume 77, pp 366-374, 2016. (DOI
).
-
Industrial Evaluation of Test Suite Generation Strategies for Model-Based Testing
. In , 2016. (DOI
).
-
Model-Based Protocol Testing in an Erlang Environment
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 122, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext
, preview image
).
-
Do LoRa Low-Power Wide-Area Networks Scale?
. In , 2016. (fulltext:print
).
-
Protocol, mobility and adversary models for the verification of security
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-007, Uppsala University, 2016. (fulltext
).
-
Augmenting IoT networks with backscatter-enabled passive sensor tags
. In Proceedings of the 3rd Workshop on Hot Topics in Wireless, pp 23-27, 2016. (DOI
, fulltext:postprint
).
-
Active learning for extended finite state machines
. In Formal Aspects of Computing, volume 28, number 2, pp 233-263, 2016. (DOI
).
-
Characterizing Task Scheduling Performance Based on Data Reuse
. In Proc. 9th Nordic Workshop on Multi-Core Computing, 2016. (fulltext:print
).
-
Formalizing data locality in task parallel applications
. In Algorithms and Architectures for Parallel Processing, volume 10049 of Lecture Notes in Computer Science, pp 43-61, Springer, 2016. (DOI
).
-
Spatial and Temporal Cache Sharing Analysis in Tasks
. In , Timisoara, Romania, 2016. (Proceedings
, fulltext:print
).
-
A framework for writing learning agreements
. In Proc. 46th ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2016. (DOI
).
-
Challenges and recommendations for the design and conduct of global software engineering courses: A systematic review
. In Proceedings of The 2015 Iticse Conference on Working Group Reports (Iticse-Wgp'15), pp 1-39, ACM Press, New York, 2016. (DOI
).
-
Developments in Global Software Engineering Education
. In 2016 IEEE FRONTIERS IN EDUCATION CONFERENCE (FIE), Frontiers in Education Conference, 2016. (DOI
).
-
Professional Competencies for Real?: A Question about Identity!
. In ITiCSE '16 Proceedings of the 2016 ACM Conference in Innovation and Technology in Computer Science Education, ACM Digital Library, 2016. (DOI
).
-
Poster Abstract: LocaLight - A Battery-free PassiveLocalization System Using Visible Light
. In , 2016.
-
Schedulability analysis of a graph-based task model for mixed-criticality systems
. In Real-time systems, volume 52, number 1, pp 1-37, 2016. (DOI
).
-
Reliability in co-located 802.15.4 personal area networks
. In , pp 5-10, ACM Press, New York, 2016. (DOI
).
-
Towards a better battery model for INET
. In , 2016.
-
Measuring online affects in a white supremacy forum
. In Proc. 14th International Conference on Intelligence and Security Informatics, pp 85-90, IEEE, 2016. (DOI
).
-
An Online Overclocking Scheme for Bursty Real-time Tasks and an Evaluation of its Thermal Impact
. In 14Th ACM/IEEE Symposium On Embedded Systems For Real-Time Multimedia (ESTIMEDIA 2016), pp 104-113, 2016. (DOI
).
-
Preface, Electronic Proceedings in Theoretical Computer Science. Vol 219
. In Electronic Proceedings in Theoretical Computer Science, number 219, OPEN PUBL ASSOC, 2016.
-
Transforming real-time task graphs to improve schedulability
. In Proc. 22nd International Conference on Embedded and Real-Time Computing Systems and Applications, pp 29-38, IEEE Computer Society, 2016. (DOI
).
-
Cloud-assisted data fusion and sensor selection for Internet of Things
. In IEEE Internet of Things Journal, volume 3, number 3, pp 257-268, 2016. (DOI
).
-
Pointer Race Freedom
. In Verification, Model Checking, And Abstract Interpretation, VMCAI 2016, volume 9583 of Lecture Notes in Computer Science, pp 393-412, Springer, 2016. (DOI
).
-
Arpeggio: a penetration attack on glossy networks
. In Proc. 13th International Conference on Sensing, Communication, and Networking, pp 37-45, IEEE, 2016. (DOI
).
-
FOCUS: Robust visual codes for everyone
. In Proc. 14th International Conference on Mobile Systems, Applications, and Services, pp 319-332, ACM Press, New York, 2016. (DOI
).
-
Towards a secure synchronous communication architecture for low-power wireless networks
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-004, Uppsala University, 2016. (fulltext
).
-
modBulb: a modular light bulb for visible light communication
. In , pp 13-18, ACM Digital Library, New York, 2016. (DOI
).
-
Poster Abstract:BouKey: Location-Based Key Sharing Using Visible LightCommunication
. In , 2016.
-
Optimizing Horn Solvers for Network Repair
. In Proceedings of the 2016 16Th Conference on Formal Methods In Computer-Aided Design (FMCAD 2016), pp 73-80, IEEE, 2016.
-
Patients reading their medical records: Differences in experiences and attitudes between regular and inexperienced readers
. In Information research, volume 21, number 1, 2016. (Article
).
-
Concise Loads and Stores: The Case for an Asymmetric Compute-Memory Architecture for Approximation
. In 2016 49Th Annual IEEE/ACM International Symposium On Microarchitecture (MICRO), International Symposium on Microarchitecture Proceedings, 2016.
-
Partitioning GPUs for Improved Scalability
. In Proc. 28th International Symposium on Computer Architecture and High Performance Computing, International Symposium on Computer Architecture and High Performance Computing, pp 42-49, IEEE Computer Society, 2016. (DOI
).
-
Aligning quality assurance at the course unit and educational program levels
. In Proc. 46th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2016. (DOI
).
-
Automatic detection of xenophobic narratives: A case study on Swedish alternative media
. In Proc. 14th International Conference on Intelligence and Security Informatics, pp 121-126, IEEE, 2016. (DOI
).
-
Countering lone actor terrorism: Weak signals and online activities
. In Understanding Lone Actor Terrorism: Past experience, future outlook, and response strategies, pp 266-279, Routledge, Abingdon, UK, 2016. (DOI
).
-
Identifying Warning Behaviors of Violent Lone Offenders in Written Communication
. In 2016 IEEE 16Th International Conference On Data Mining Workshops (ICDMW), International Conference on Data Mining Workshops, pp 1053-1060, IEEE, New York, 2016. (DOI
).
-
Identifying warning behaviors of violent lone offenders in written communication
. In Proc. 16th ICDM Workshops, pp 1053-1060, IEEE Computer Society, 2016. (DOI
, fulltext:postprint
).
-
Linguistic analysis of lone offender manifestos
. In Proc. 4th International Conference on Cybercrime and Computer Forensics, IEEE, 2016. (DOI
).
-
Semantic technologies for detecting names of new drugs on darknets
. In Proc. 4th International Conference on Cybercrime and Computer Forensics, IEEE, 2016. (DOI
).
-
JayHorn: A framework for verifying Java programs
. In Computer Aided Verification: Part I, volume 9779 of Lecture Notes in Computer Science, pp 352-358, Springer, 2016. (DOI
, fulltext:postprint
).
-
Optimizing Performance in Highly Utilized Multicores with Intelligent Prefetching
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1335, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext
, preview image
).
-
Building Heterogeneous Unified Virtual Memories (UVMs) without the Overhead
. In ACM Transactions on Architecture and Code Optimization (TACO), volume 13, number 1, 2016. (DOI
, fulltext:preprint
).
-
Efficient Execution Paradigms for Parallel Heterogeneous Architectures
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1405, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext
, preview image
).
-
Multiversioned decoupled access-execute: The key to energy-efficient compilation of general-purpose programs
. In Proc. 25th International Conference on Compiler Construction, pp 121-131, ACM Press, New York, 2016. (DOI
, fulltext:print
).
-
Achieving Efficiency Without Sacrificing Model Accuracy: Network Calculus on Compact Domains
. In 2016 IEEE 24Th International Symposium On Modeling, Analysis And Simulation Of Computer And Telecommunication Systems (MASCOTS), International Symposium on Modeling Analysis and Simulation of Computer and Telecommunication Systems Proceedings, pp 313-318, 2016. (DOI
).
-
Keep it cool and in time: With runtime monitoring to thermal-aware execution speeds for deadline constrained systems
. In Journal of Parallel and Distributed Computing, volume 95, pp 79-91, 2016. (DOI
).
-
Keep it slow and in time: Online DVFS with hard real-time workloads
. In Proc. 19th Conference on Design, Automation and Test in Europe, Design, Automation, and Test in Europe Conference and Exhibition, pp 385-390, IEEE, Piscataway, NJ, 2016.
-
Resolving contention for networks-on-chips: Combining time-triggered application scheduling with dynamic budgeting of memory bus use
. In Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems, volume 9629 of Lecture Notes in Computer Science, pp 137-152, Springer, 2016. (DOI
).
-
Verification of Software under Relaxed Memory
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1387, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext
, preview image
).
-
Guiding Craig interpolation with domain-specific abstractions
. In Acta Informatica, volume 53, number 4, pp 387-424, 2016. (DOI
, fulltext:postprint
).
-
Editorial for QShine 2014 Special Issue
. In Mobile Networks and Applications, volume 21, number 3, pp 387-389, 2016. (DOI
).
-
Modeling and verification of dynamic command scheduling for real-time memory controllers
. In 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), IEEE Real-Time and Embedded Technology and Applications Symposium, IEEE Computer Society, 2016.
-
Liveness of randomised parameterised systems under arbitrary schedulers
. In Computer Aided Verification: Part II, volume 9780 of Lecture Notes in Computer Science, pp 112-133, Springer, 2016. (DOI
, fulltext:postprint
).
-
Regular Symmetry Patterns
. In Verification, Model Checking, and Abstract Interpretation, volume 9583 of Lecture Notes in Computer Science, pp 455-475, Springer Berlin/Heidelberg, 2016. (DOI
, fulltext:postprint
).
-
Special Issue on Cloud Computing for IoT
. In IEEE Internet of Things Journal, volume 3, number 3, pp 254-256, 2016. (DOI
).
-
Students envisioning the future
. In Proc. 46th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2016. (DOI
).
-
EDF-VD scheduling of mixed-criticality systems with degraded quality guarantees
. In Proc. 37th Real-Time Systems Symposium, pp 35-46, IEEE Computer Society, 2016. (DOI
).
-
A security patch addressing bandwidth request vulnerabilities in the IEEE 802.16 standard
. In IEEE Network, volume 30, number 5, pp 26-34, 2016. (DOI
).
-
Data modelling with Gaussian process in sensor networks for urban environmental monitoring
. In Proc. 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, pp 457-462, IEEE Computer Society, 2016. (DOI
).
-
UrbanSense: An Urban-Scale Sensing Platform for the Internet of Things
. In IEEE Second International Smart Cities Conference (ISC2 2016), pp 763-768, 2016.
-
A survey on static cache analysis for real-time systems
. In Leibniz Transactions on Embedded Systems, volume 3, number 1, pp 05:1-48, 2016. (DOI
, Fulltext
).
-
Speed planning for solar-powered electric vehicles
. In Proc. 17th International Conference on Future Energy Systems, ACM Press, New York, 2016. (DOI
).
-
Motivation, optimal experience and flow in first year computing science
. In Proc. 21st Conference on Innovation and Technology in Computer Science Education, pp 206-211, ACM Press, New York, 2016. (DOI
).
-
Predictable MAC-level Performance in Low-power Wireless under Interference
. In , 2016. (fulltext:print
).
-
Modeling and analysis of data flow graphs using the digraph real-time task model
. In Reliable Software Technologies — Ada-Europe 2016, volume 9695 of Lecture Notes in Computer Science, pp 15-29, Springer, 2016. (DOI
).
-
On fixed-priority schedulability analysis of sporadic tasks with self-suspension
. In Proc. 24th International Conference on Real-Time Networks and Systems, pp 109-118, ACM Press, New York, 2016. (DOI
).
-
On the problem of finding optimal harmonic periods
. In Proc. 24th International Conference on Real-Time Networks and Systems, pp 171-180, ACM Press, New York, 2016. (DOI
).
-
Schedulability analysis of synchronous digraph real-time tasks
. In Proc. 28th Euromicro Conference on Real-Time Systems, pp 176-186, IEEE Computer Society, 2016. (DOI
).
-
Sound test-suites for cyber-physical systems
. In Proc. 10th International Symposium on Theoretical Aspects of Software Engineering, pp 42-48, IEEE Computer Society, 2016. (DOI
).
-
Towards an approximate conformance relation for hybrid I/O automata
. In Proc. 1st Workshop on Verification and Validation of Cyber-Physical Systems, volume 232 of Electronic Proceedings in Theoretical Computer Science, pp 53-64, Open Publishing Association, 2016. (DOI
, Fulltext
).
-
Practical way halting by speculatively accessing halt tags
. In Proc. 19th Conference on Design, Automation and Test in Europe, pp 1375-1380, IEEE, Piscataway, NJ, 2016.
-
Quantifying the effect of period ratios on schedulability of rate monotonic
. In Proc. 24th International Conference on Real-Time Networks and Systems, pp 161-170, ACM Press, New York, 2016. (DOI
).
-
Multiprocessor Real-Time Locking Protocols for Replicated Resources
. In Proc. 28th Euromicro Conference on Real-Time Systems (ECRTS), Proceedings of the Euromicro Conference on Real-time Systems, pp 50-60, 2016. (DOI
).
-
On providing sink anonymity for wireless sensor networks
. In Security and Communication Networks, volume 9, number 2, pp 77-86, 2016. (DOI
).
-
Personalized Mobile-Assisted Smart Transportation
. In 2016 Digital Media Industry And Academic Forum (DMIAF), pp 158-160, 2016.
-
CoolSim: Statistical Techniques to Replace Cache Warming with Efficient, Virtualized Profiling
. In Proceedings Of 2016 International Conference On Embedded Computer Systems: Architectures, Modeling And Simulation (Samos), pp 106-115, IEEE, 2016.
-
CoolSim: Eliminating Traditional Cache Warming with Fast, Virtualized Profiling
. In 2016 IEEE International Symposium On Performance Analysis Of Systems And Software ISPASS 2016, IEEE International Symposium on Performance Analysis of Systems and Software-ISPASS, pp 149-150, 2016.
-
Ph.D. Forum Abstract: Increasing Robustness in WSN using Software Defined Network Architecture
. In 2016 15Th ACM/IEEE International Conference On Information Processing In Sensor Networks (IPSN), 2016.
-
Performance Modeling of Multi-core Systems: Caches and Locks
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1336, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext
, preview image
).
-
A Comparative Study of GPUVerify and GKLEE
. In 2016 Fourth International Conference On Parallel, Distributed And Grid Computing (PDGC), pp 112-117, IEEE, 2016. (DOI
).
-
A critical analysis of trends in student-centric engineering education and their implications for learning
. In Proc. 46th ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2016. (DOI
).
-
Demo: Passive Sensor Tags
. In Mobicom'16: Proceedings Of The 22Nd Annual International Conference On Mobile Computing And Networking, pp 477-478, 2016. (DOI
, fulltext:postprint
).
-
BLE and IEEE 802.15.4 in the IoT: Evaluation and Interoperability Considerations
. In Internet Of Things: IOT Infrastructures, IOT 360, Pt II, Lecture Notes of the Institute for Computer Sciences Social Informatics and Telecommunications Engineering, pp 427-438, 2016. (DOI
).
-
Do Multiple Bits per Symbol Increase the Throughput of Ambient Backscatter Communications?
. In EWSN '16 Proceedings of the 2016 International Conference on Embedded Wireless Systems and Networks, pp 355-360, 2016. (fulltext:postprint
).
-
Ph.D. Forum Abstract: Ambient Backscatter Communication
. In 2016 15Th ACM/IEEE International Conference On Information Processing In Sensor Networks (IPSN), 2016.
-
3DinSAR: Object 3D Localization for Indoor RFID Applications
. In IEEE RFID, pp 191-198, 2016.
-
A hybrid static–dynamic classification for dual-consistency cache coherence
. In IEEE Transactions on Parallel and Distributed Systems, volume 27, number 11, pp 3101-3115, 2016. (DOI
).
-
Efficient Self-Invalidation/Self-Downgrade for Critical Sections with Relaxed Semantics
. In Proc. International Conference on Parallel Architectures and Compilation: PACT 2016, pp 433-434, ACM Press, New York, 2016. (DOI
).
-
Racer: TSO Consistency via Race Detection
. In 2016 49Th Annual IEEE/ACM International Symposium On Microarchitecture (MICRO), International Symposium on Microarchitecture Proceedings, 2016.
-
Characterization of simulation by probabilistic testing
. In Theory and Practice of Formal Methods, volume 9660 of Lecture Notes in Computer Science, pp 360-372, Springer, 2016. (DOI
).
-
Splash-3: A properly synchronized benchmark suite for contemporary research
. In Proc. International Symposium on Performance Analysis of Systems and Software: ISPASS 2016, pp 101-111, IEEE Computer Society, 2016. (DOI
).
-
Redesigning a tagless access buffer to require minimal ISA changes
. In Proc. 19th International Conference on Compilers, Architectures and Synthesis for Embedded Systems, 2016. (DOI
).
-
Data placement across the cache hierarchy: Minimizing data movement with reuse-aware placement
. In Proc. 34th International Conference on Computer Design, Proceedings IEEE International Conference on Computer Design, pp 117-124, IEEE, Piscataway, NJ, 2016. (DOI
).
-
Hiding and Reducing Memory Latency: Energy-Efficient Pipeline and Memory System Techniques
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1450, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext
, preview image
).
-
Techniques for modulating error resilience in emerging multi-value technologies
. In Proc. 13th International Conference on Computing Frontiers, pp 55-63, ACM Press, New York, 2016. (DOI
, fulltext:postprint
).
-
A unified DVFS-cache resizing framework
. Technical report / Department of Information Technology, Uppsala University nr 2016-014, 2016. (fulltext
).
-
Improving Energy-Efficiency of Multicores using First-Order Modeling
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1404, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext
, preview image
).
-
Feasibility of fork-join real-time task graph models: Hardness and algorithms
. In ACM Transactions on Embedded Computing Systems, volume 15, number 1, 2016. (DOI
).
-
Learning Computer Science: Dimensions of variation within <em>what</em> Chinese students learn
. In ACM Transactions on Computing Education, volume 16, number 3, 2016. (DOI
).
-
Software Out-of-Order Execution for In-Order Architectures
. In Proc. 25th International Conference on Parallel Architectures and Compilation Techniques, pp 458-458, ACM Press, New York, 2016. (DOI
, fulltext:print
).
-
Storage-Centric System Architectures for Networked, Resource-Constrained Devices
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1331, SICS Dissertation Series nr 74, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext
, preview image
).
-
A Survey on Mobile Sensing Based Mood-Fatigue Detection for Drivers
. In SMART CITY 360, volume 166 of Lecture Notes of the Institute for Computer Sciences Social Informatics and Telecommunications Engineering, pp 3-15, SPRINGER INT PUBLISHING AG, 2016. (DOI
).
-
Analytical Processor Performance and Power Modeling Using Micro-Architecture Independent Characteristics
. In IEEE Transactions on Computers, volume 65, number 12, pp 3537-3551, 2016. (DOI
).
-
Approximation: A New Paradigm also for Wireless Sensing
. In , 2016.
-
Academics' Experience of Teaching Open Ended Group Projects A phenomenographic study
. In 2016 IEEE FRONTIERS IN EDUCATION CONFERENCE (FIE), Frontiers in Education Conference, 2016. (DOI
).
-
Profiling-Assisted Decoupled Access-Execute
. In Proc. 4th International Workshop on High Performance Energy Efficient Embedded Systems, 2016. (External link
).
-
Energy-efficient collaborative outdoor localization for participatory sensing
. In Sensors, volume 16, number 6, 2016. (DOI
, Fulltext
, fulltext:print
).
-
Dynamic blind source separation based on source-direction prediction
. In Neurocomputing, volume 185, pp 73-81, 2016. (DOI
).
-
A Node-Link Perspective on the Impact of Local Conditions in Sensor Networks
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1398, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext
, preview image
).
-
Towards even coverage monitoring with opportunistic sensor networks
. In Proc. 11th ACM MobiCom Workshop on Challenged Networks, pp 81-86, ACM Press, New York, 2016. (DOI
).
-
Approximations and abstractions for reasoning about machine arithmetic
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-010, Uppsala University, 2016. (fulltext
).
-
Deciding bit-vector formulas with mcSAT
. In Theory and Applications of Satisfiability Testing: SAT 2016, volume 9710 of Lecture Notes in Computer Science, pp 249-266, Springer, 2016. (DOI
).
-
Dependency-Aware Caching for HTTP Adaptive Streaming
. In 2016 Digital Media Industry And Academic Forum (DMIAF), pp 89-93, 2016.
-
Start time configuration for strictly periodic real-time task systems
. In Journal of systems architecture, volume 66–67, pp 61-68, 2016. (DOI
).
-
A dynamic graph-based scheduling and interference coordination approach in heterogeneous cellular networks
. In IEEE Transactions on Vehicular Technology, volume 65, number 5, pp 3735-3748, 2016. (DOI
).