According to our database1, Yuan Yu authored at least 42 papers between 1990 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Application of semi-automated ultrasonography on nutritional support for severe acute pancreatitis.
Comp. Med. Imag. and Graph., 2018
Dynamic control flow in large-scale machine learning.
Proceedings of the Thirteenth EuroSys Conference, 2018
Study on the Channel Characteristics of Auxiliary Medical Devices Based on MDAPSK Technology.
Proceedings of the 18th IEEE International Conference on Bioinformatics and Bioengineering, 2018
ORB-SLAM based semi-dense mapping with monocular camera.
Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017
A Highly Sensitive Fiber-Optic Fabry-Perot Interferometer Based on Internal Reflection Mirrors for Refractive Index Measurement.
Relaxed stability conditions for continuous-time Takagi-Sugeno fuzzy systems based on a new upper bound inequality.
TensorFlow: A System for Large-Scale Machine Learning.
Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016
Graph-based SLAM based magnet map generation for magnetic guidance.
Proceedings of the 2014 IEEE International Conference on Robotics and Biomimetics, 2014
Leo: A Profile-Driven Dynamic Optimization Framework for GPU Applications.
Proceedings of the 2014 Conference on Timely Results in Operating Systems, 2014
Dandelion: a compiler and runtime for heterogeneous systems.
Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013
TimeStream: reliable stream computation in the cloud.
Proceedings of the Eighth Eurosys Conference 2013, 2013
Optimus: a dynamic rewriting framework for data-parallel execution plans.
Proceedings of the Eighth Eurosys Conference 2013, 2013
Assessing the authority of free online scholarly information.
MadLINQ: large-scale distributed matrix computation for the cloud.
Proceedings of the European Conference on Computer Systems, 2012
Steno: automatic optimization of declarative queries.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011
Optimizing Data Partitioning for Data-Parallel Computing.
Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011
Power allocation for a MIMO relay system with multiple-antenna users.
IEEE Trans. Signal Processing, 2010
Nectar: Automatic Management of Data and Computation in Datacenters.
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010
Scalable and systematic detection of buggy inconsistencies in source code.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010
Power Scheduling for Multi-Hop Wireless Networks.
PhD thesis, 2009
Further Development of Synchronous Array Method for Ad Hoc Wireless Networks.
EURASIP J. Adv. Sig. Proc., 2009
Distributed aggregation for data-parallel computing: interfaces and implementations.
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009
Distributed data-parallel computing using a high-level programming language.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2009
BotGraph: Large Scale Spamming Botnet Detection.
Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009
Early Performance Evaluation of Dawning 5000A and DeepComp 7000.
Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009
DryadInc: Reusing Work in Large-scale Computations.
Proceedings of the Workshop on Hot Topics in Cloud Computing, 2009
DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language.
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008
Throughput analysis of wireless mesh networks.
Proceedings of the IEEE International Conference on Acoustics, 2008
An Assessment of the Currency of Free Science Information on the Web.
Proceedings of the Web Information Systems Engineering - WISE 2007 Workshops, 2007
Dryad: distributed data-parallel programs from sequential building blocks.
Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007
Software Configuration Management Using Vesta
Monographs in Computer Science, Springer, ISBN: 978-0-387-30852-4, 2006
RaceTrack: efficient detection of data race conditions via adaptive tracking.
Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005
Linking Simulation with Formal Verification at a Higher Level.
IEEE Design & Test of Computers, 2004
Checking Cache-Coherence Protocols with TLA+.
Formal Methods in System Design, 2003
Using a formal specification and a model checker to monitor and direct simulation.
Proceedings of the 40th Design Automation Conference, 2003
Specifying and verifying systems with TLA+.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002
Caching function calls using precise dependencies.
Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000
Cache Coherence Verification with TLA+.
Proceedings of the FM'99 - Formal Methods, 1999
Model Checking TLA+ Specifications.
Proceedings of the Correct Hardware Design and Verification Methods, 1999
Automated Proofs of Object Code for a Widely Used Microprocessor.
J. ACM, 1996
Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor.
Proceedings of the Automated Deduction, 1992
Computer Proofs in Group Theory.
J. Autom. Reasoning, 1990