Yu Huang

According to our database1, Yu Huang authored at least 43 papers between 2006 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
Fine-grained Analysis on Fast Implementations of Multi-writer Atomic Registers.
CoRR, 2020

2019
An index structure supporting rule activation in pervasive applications.
World Wide Web, 2019

Remove-Win: a Design Framework for Conflict-free Replicated Data Collections.
CoRR, 2019

Inversion-based Measurement of Data Consistency for Read/Write Registers.
CoRR, 2019

2018
Brief Announcement: Specification and Implementation of Replicated List: The Jupiter Protocol Revisited.
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018

Specification and Implementation of Replicated List: The Jupiter Protocol Revisited.
Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018

2017
Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems.
IEEE Trans. Computers, 2017

Parameterized and Runtime-Tunable Snapshot Isolation in Distributed Transactional Key-Value Stores.
Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

Application-centric SSD Cache Allocation for Hadoop Applications.
Proceedings of the 9th Asia-Pacific Symposium on Internetware, 2017

2016
Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas.
IEEE Trans. Parallel Distrib. Syst., 2016

Enabling Context-Awareness by Predicate Detection in Asynchronous Environments.
IEEE Trans. Computers, 2016

CBBR: enabling distributed shared memory-based coordination among mobile robots.
SCIENCE CHINA Information Sciences, 2016

Fine-Grained Delta Privacy Preservation for Hierarchical Contexts.
Proceedings of the 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, 2016

Enabling Mobile Device Coordination over Distributed Shared Memory.
Proceedings of the 22nd IEEE International Conference on Parallel and Distributed Systems, 2016

2015
Understanding the Timed Distributed Trace of a Partially Synchronous System at Runtime.
CoRR, 2015

Almost Strong Consistency: "Good Enough" in Distributed Storage Systems.
CoRR, 2015

2014
Design of a Sliding Window over Distributed and Asynchronous Event Streams.
IEEE Trans. Parallel Distrib. Syst., 2014

2013
Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments.
IEEE Trans. Parallel Distrib. Syst., 2013

Verifying PRAM Consistency over Read/Write Traces of Data Replicas
CoRR, 2013

Enabling Context-awareness by Predicate Detection in Asynchronous Pervasive Computing Environments.
CoRR, 2013

A Wearable RFID System for Real-Time Activity Recognition Using Radio Patterns.
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2013

Managing Environment and Adaptation Risks for the Internetware Paradigm.
Proceedings of the Theories of Programming and Formal Methods, 2013

2012
Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments.
IEEE Trans. Parallel Distrib. Syst., 2012

Formal specification and runtime detection of temporal properties for asynchronous context.
Proceedings of the 2012 IEEE International Conference on Pervasive Computing and Communications, 2012

Capturing Tag Dynamics by Prediction for Pervasive Internet-of-Things Applications.
Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems, 2012

2011
Design of a Sliding Window over Asynchronous Event Streams
CoRR, 2011

2010
Cooperative cache consistency maintenance for pervasive internet access.
Wireless Communications and Mobile Computing, 2010

Flexible Cache Consistency Maintenance over Wireless Ad Hoc Networks.
IEEE Trans. Parallel Distrib. Syst., 2010

A Lattice-Theoretic Approach to Runtime Property Detection for Pervasive Context.
Proceedings of the Ubiquitous Intelligence and Computing - 7th International Conference, 2010

Detection of Behavioral Contextual Properties in Asynchronous Pervasive Computing Environments.
Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010

Middleware Support for Context-awareness in Asynchronous Pervasive Computing Environments.
Proceedings of the IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, 2010

2009
Checking Behavioral Consistency Constraints for Pervasive Context in Asynchronous Environments
CoRR, 2009

Concurrent Event Detection for Asynchronous Consistency Checking of Pervasive Context.
Proceedings of the Seventh Annual IEEE International Conference on Pervasive Computing and Communications, 2009

Internetware: a shift of software paradigm.
Proceedings of the First Asia-Pacific Symposium on Internetware, 2009

2008
On environment-driven software model for Internetware.
Science in China Series F: Information Sciences, 2008

A Probabilistic Approach to Consistency Checking for Pervasive Context.
Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008

An Analytical Model for Broadcasting by Self Pruning in Wireless Ad Hoc Networks.
Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008

2007
Adaptive Scheduling Strategy for Data Stream Management System.
Proceedings of the Advances in Data and Web Management, 2007

An Integrated Prefetching and Caching Strategy for Mobile Web Caching System.
Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

Achieving Flexible Cache Consistency for Pervasive Internet Access.
Proceedings of the Fifth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2007), 2007

A Selective Push Algorithm for Cooperative Cache Consistency Maintenance over MANETs.
Proceedings of the Embedded and Ubiquitous Computing, International Conference, 2007

2006
A Distributed Approach to Construction of Topology Mismatching Aware P2P Overlays in Wireless Ad Hoc Networks.
Proceedings of the 14th Euromicro International Conference on Parallel, 2006

A predictive approach to achieving consistency in cooperative caching in MANET.
Proceedings of the 1st International Conference on Scalable Information Systems, 2006


  Loading...