Feng Qin

According to our database1, Feng Qin
  • authored at least 84 papers between 1997 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Reliability Analysis of SSDs Under Power Fault.
ACM Trans. Comput. Syst., 2017

Distributivity for 2-Uninorms Over Semi-Uninorms.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2017

An Extension of Semiuninorms: Weak-Neutral Semiuninorms.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2017

Commuting functions with annihilator elements.
Int. J. General Systems, 2017

Left and right distributivity equations for semi-t-operators and uninorms.
Fuzzy Sets and Systems, 2017

High g-factor MEMS vibration platform for in-situ self-calibration of accelerometer.
Proceedings of the 12th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, 2017

A comprehensive study on real world concurrency bugs in Node.js.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Characterization of fuzzy implication functions with a continuous α-natural negation satisfying the law of importation with a given uninorm-revisited.
Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

Distributivity for 2-uninorms over semi-t-operators.
Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

Selective Checkpointing for Minimizing Recovery Efforts of Smartphone Apps.
Proceedings of the 2017 IEEE International Conference on Autonomic Computing, 2017

eDelta: Pinpointing energy deviations in smartphone apps via comparative trace analysis.
Proceedings of the Eighth International Green and Sustainable Computing Conference, 2017

Selective checkpointing for minimizing recovery energy and efforts of smartphone apps.
Proceedings of the Eighth International Green and Sustainable Computing Conference, 2017

2016
Distributivity between semi-t-operators and Mayor's aggregation operators.
Inf. Sci., 2016

Distributivity for Semi-Nullnorms Over Semi-t-Operators.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2016

Distributivity between semi-uninorms and semi-t-operators.
Fuzzy Sets and Systems, 2016

An adaptive coupling method for exterior anisotropic elliptic problems.
Applied Mathematics and Computation, 2016

Optimizing routing and server selection in intelligent SDN-based CDN.
Proceedings of the 8th International Conference on Wireless Communications & Signal Processing, 2016

Crash consistency validation made easy.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Automatic model generation from documentation for Java API functions.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
Cauchy-Like Functional Equation Based on Continuous T-Conorms and Representable Uninorms.
IEEE Trans. Fuzzy Systems, 2015

Cauchy-like functional equation based on a class uninorm.
Kybernetika, 2015

On the α-Migrativity of Idempotent Uninorms.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2015

On the Cross-Migrativity with Respect to Continuous t-Norms.
Int. J. Intell. Syst., 2015

Debugging high-performance computing applications at massive scales.
Commun. ACM, 2015

Smart Cache: An Optimized MapReduce Implementation of Frequent Itemset Mining.
Proceedings of the 2015 IEEE International Conference on Cloud Engineering, 2015

Left and right distributivity for semi-t-operators.
Proceedings of the 12th International Conference on Fuzzy Systems and Knowledge Discovery, 2015

Fuzzy implications based on Abel semigroups.
Proceedings of the 12th International Conference on Fuzzy Systems and Knowledge Discovery, 2015

Truthful load-aware service selection: A mechanism design method.
Proceedings of the 25. International Conference on Electronics, 2015

2014
GMRace: Detecting Data Races in GPU Programs via a Low-Overhead Scheme.
IEEE Trans. Parallel Distrib. Syst., 2014

On distributivity equations of implications and contrapositive symmetry equations of implications.
Fuzzy Sets and Systems, 2014

Distributivity equations of implications based on continuous triangular conorms (II).
Fuzzy Sets and Systems, 2014

A Natural BEM with non-uniform grids on the elliptic boundary and its coupling method.
Applied Mathematics and Computation, 2014

MC-Checker: Detecting Memory Consistency Errors in MPI One-Sided Applications.
Proceedings of the International Conference for High Performance Computing, 2014

Torturing Databases for Fun and Profit.
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Application and Prospect of New Media in Forecast of Plant Pests.
Proceedings of the Computer and Computing Technologies in Agriculture VIII, 2014

Design and realization of the hardware for an intelligent solar drying system.
Proceedings of the 13th International Conference on Control Automation Robotics & Vision, 2014

On the cross-migrativity of triangular subnorms.
Proceedings of the IEEE International Conference on Fuzzy Systems, 2014

Cauchy-like functional equation based on a class of uninorms.
Proceedings of the IEEE International Conference on Fuzzy Systems, 2014

2013
Improving the Reliability of MPI Libraries via Message Flow Checking.
IEEE Trans. Parallel Distrib. Syst., 2013

Performance Improvement of Receivers Based on Ultra-Tight Integration in GNSS-Challenged Environments.
Sensors, 2013

A dynamic neural network approach for solving nonlinear inequalities defined on a graph and its application to distributed, routing-free, range-free localization of WSNs.
Neurocomputing, 2013

Some remarks on the distributive equation of fuzzy implication and the contrapositive symmetry for continuous, Archimedean t-norms.
Int. J. Approx. Reasoning, 2013

Detecting performance anomaly with correlation analysis for Internetware.
SCIENCE CHINA Information Sciences, 2013

LiU: Hiding Disk Access Latency for HPC Applications with a New SSD-Enabled Data Layout.
Proceedings of the 2013 IEEE 21st International Symposium on Modelling, 2013

D2Taint: Differentiated and dynamic information flow tracking on smartphones for numerous data sources.
Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013, 2013

Understanding the robustness of SSDS under power fault.
Proceedings of the 11th USENIX conference on File and Storage Technologies, 2013

A Fast Spectral Clustering Method Based on Growing Vector Quantization for Large Data Sets.
Proceedings of the Advanced Data Mining and Applications - 9th International Conference, 2013

2012
Distributive Equations of Implications Based on Continuous Triangular Norms (I).
IEEE Trans. Fuzzy Systems, 2012

Solutions to the functional equation I(x, y) = I(x, I(x, y)) for three types of fuzzy implications derived from uninorms.
Inf. Sci., 2012

Modeling Software Execution Environment.
Proceedings of the 19th Working Conference on Reverse Engineering, 2012

JSGuard: Shellcode Detection in JavaScript.
Proceedings of the Security and Privacy in Communication Networks, 2012

SyncChecker: Detecting Synchronization Errors between MPI Applications and Libraries.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium, 2012

GMProf: A low-overhead, fine-grained profiling approach for GPU programs.
Proceedings of the 19th International Conference on High Performance Computing, 2012

2011
GRace: a low-overhead mechanism for detecting data races in GPU programs.
Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

LeakChaser: helping programmers narrow down causes of memory leaks.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

On Distributive Equations of Implications and Contrapositive Symmetry Equations of Implications Based on a Continuous t-Norm.
Proceedings of the Integrated Uncertainty in Knowledge Modelling and Decision Making, 2011

Research on the k-Coverage Local Wireless Network and Its Communication Coordination Mechanism Design.
Proceedings of the Computer and Computing Technologies in Agriculture V, 2011

Distributive equation of implications based on continuous triangular norms.
Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology, 2011

On the distributive equation of implication based on a continuous t-norm and a continuous Archimedean t-conorm.
Proceedings of the 4th International Conference on Biomedical Engineering and Informatics, 2011

2ndStrike: toward manifesting hidden concurrency typestate bugs.
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010
Solutions to the functional equation I(x, y)=I(x, I(x, y)) for a continuous D-operation.
Inf. Sci., 2010

A New Kind of Fuzzy Relational equations.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2010

Distributive equations of implications based on nilpotent triangular norms.
Int. J. Approx. Reasoning, 2010

FlowChecker: Detecting Bugs in MPI Libraries via Message Flow Checking.
Proceedings of the Conference on High Performance Computing Networking, 2010

2009
The Analysis of the Energy Function of Chaotic Neural Network with White Noise.
Proceedings of the Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence, 2009

A new kind of fuzzy relation equations.
Proceedings of the FUZZ-IEEE 2009, 2009

First-aid: surviving and preventing memory management bugs during production runs.
Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, 2009

2008
Generalizations to the constructions of t-norms: Rotation(-annihilation) construction.
Fuzzy Sets and Systems, 2008

LeakSurvivor: Towards Safely Tolerating Memory Leaks for Garbage-Collected Languages.
Proceedings of the 2008 USENIX Annual Technical Conference, 2008

2007
Rx: Treating bugs as allergies - a safe method to survive software failures.
ACM Trans. Comput. Syst., 2007

AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants.
IEEE Micro, 2007

Efficient checkpointing of java software using context-sensitive capture and replay.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

DMTracker: finding bugs in large-scale parallel programs by detecting anomaly in data movements.
Proceedings of the ACM/IEEE Conference on High Performance Networking and Computing, 2007

2006
Solutions to Cintula's open problems.
Fuzzy Sets and Systems, 2006

LIFT: A Low-Overhead Practical Information Flow Tracking System for Detecting Security Attacks.
Proceedings of the 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-39 2006), 2006

AVIO: detecting atomicity violations via access interleaving invariants.
Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006

2005
Efficient and flexible architectural support for dynamic monitoring.
TACO, 2005

Rx: treating bugs as allergies - a safe method to survive software failures.
Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

SafeMem: Exploiting ECC-Memory for Detecting Memory Leaks and Memory Corruption During Production Runs.
Proceedings of the 11th International Conference on High-Performance Computer Architecture (HPCA-11 2005), 2005

Treating Bugs as Allergies: A Safe Method for Surviving Software Failures.
Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating Systems, 2005

2004
iWatcher: Simple, General Architectural Support for Software Debugging.
IEEE Micro, 2004

AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-Based Invariants.
Proceedings of the 37th Annual International Symposium on Microarchitecture (MICRO-37 2004), 2004

iWatcher: Efficient Architectural Support for Software Debugging.
Proceedings of the 31st International Symposium on Computer Architecture (ISCA 2004), 2004

1997
A practical method for designing FIR digital filters in the complex domain.
IEEE Trans. Signal Processing, 1997


  Loading...