|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 38 occurrences of 25 keywords
|
|
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Aifang Xie, Huawen Liu, Feng Qin, Zilin Zeng |
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 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Qin, Michal Baczynski, Aifang Xie |
Distributive Equations of Implications Based on Continuous Triangular Norms (I). |
IEEE T. Fuzzy Systems |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Qin, Ping-Chong Yang |
On the distributive equation of implication based on a continuous t-norm and a continuous Archimedean t-conorm. |
BMEI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoqing (Harry) Xu, Michael D. Bond, Feng Qin, Atanas Rountev |
LeakChaser: helping programmers narrow down causes of memory leaks. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rongchang Yuan, Haigan Yuan, Si Chen, Longqing Sun, Feng Qin, Han Zhang, Yukun Zhu, Daokun Ma |
Research on the k-Coverage Local Wireless Network and Its Communication Coordination Mechanism Design. |
CCTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Qi Gao, Wenbin Zhang, Zhezhe Chen, Mai Zheng, Feng Qin |
2ndStrike: toward manifesting hidden concurrency typestate bugs. |
ASPLOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Qin, Meihua Lu |
On Distributive Equations of Implications and Contrapositive Symmetry Equations of Implications Based on a Continuous t-Norm. |
IUKM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mai Zheng, Vignesh T. Ravi, Feng Qin, Gagan Agrawal |
GRace: a low-overhead mechanism for detecting data races in GPU programs. |
PPOPP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aifang Xie, Feng Qin |
Solutions to the functional equation I(x, y)=I(x, I(x, y)) for a continuous D-operation. |
Inf. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Qin, Ping Fang |
A New Kind of Fuzzy Relational equations. |
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Qin, Li Yang |
Distributive equations of implications based on nilpotent triangular norms. |
Int. J. Approx. Reasoning |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhezhe Chen, Qi Gao, Wenbin Zhang, Feng Qin |
FlowChecker: Detecting Bugs in MPI Libraries via Message Flow Checking. |
SC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaoqun Xu, Feng Qin |
The Analysis of the Energy Function of Chaotic Neural Network with White Noise. |
ICIC |
2009 |
DBLP DOI BibTeX RDF |
energy function, chaotic neural network, Lyapunov exponent, white noise |
| 1 | Qi Gao, Wenbin Zhang, Yan Tang, Feng Qin |
First-aid: surviving and preventing memory management bugs during production runs. |
EuroSys |
2009 |
DBLP DOI BibTeX RDF |
memory bug diagnosis, software reliability, software failure, error prevention |
| 1 | Feng Qin, Ping Fang |
A new kind of fuzzy relation equations. |
FUZZ-IEEE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhi-Hong Yi, Feng Qin, Wei-Cai Li |
Generalizations to the constructions of t-norms: Rotation(-annihilation) construction. |
Fuzzy Sets and Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Tang, Qi Gao, Feng Qin |
LeakSurvivor: Towards Safely Tolerating Memory Leaks for Garbage-Collected Languages. |
USENIX Annual Technical Conference |
2008 |
DBLP BibTeX RDF |
|
| 1 | Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou |
AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants. |
IEEE Micro |
2007 |
DBLP DOI BibTeX RDF |
reliability, testing, debugging, concurrent program, hardware support, concurrency bug, bug detection, program invariant, atomicity violation |
| 1 | Feng Qin, Joseph Tucek, Yuanyuan Zhou, Jagadeesan Sundaresan |
Rx: Treating bugs as allergies—a safe method to survive software failures. |
ACM Trans. Comput. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Reliability, Availability, Bug, Software Failure |
| 1 | Qi Gao, Feng Qin, Dhabaleswar K. Panda |
DMTracker: finding bugs in large-scale parallel programs by detecting anomaly in data movements. |
SC |
2007 |
DBLP DOI BibTeX RDF |
parallel programs, anomaly detection, data movements, bug detection |
| 1 | Guoqing (Harry) Xu, Atanas Rountev, Yan Tang, Feng Qin |
Efficient checkpointing of java software using context-sensitive capture and replay. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
checkpoint, replay |
| 1 | San-Min Wang, Feng Qin, Ming-Yan Wang |
Solutions to Cintula's open problems. |
Fuzzy Sets and Systems |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou |
AVIO: detecting atomicity violations via access interleaving invariants. |
ASPLOS |
2006 |
DBLP DOI BibTeX RDF |
concurrent program, hardware support, concurrency bug, bug detection, program invariant, atomicity violation |
| 1 | Feng Qin, Cheng Wang, Zhenmin Li, Ho-Seop Kim, Yuanyuan Zhou, Youfeng Wu |
LIFT: A Low-Overhead Practical Information Flow Tracking System for Detecting Security Attacks. |
MICRO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuanyuan Zhou, Pin Zhou, Feng Qin, Wei Liu, Josep Torrellas |
Efficient and flexible architectural support for dynamic monitoring. |
TACO |
2005 |
DBLP DOI BibTeX RDF |
dynamic monitoring, thread-level speculation (TLS), software debugging, Architectural support |
| 1 | Feng Qin, Joseph Tucek, Jagadeesan Sundaresan, Yuanyuan Zhou |
Rx: treating bugs as allergies - a safe method to survive software failures. |
SOSP |
2005 |
DBLP DOI BibTeX RDF |
reliability, availability, bug, software failure |
| 1 | Feng Qin, Joseph Tucek, Yuanyuan Zhou |
Treating Bugs as Allergies: A Safe Method for Surviving Software Failures. |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Feng Qin, Shan Lu, Yuanyuan Zhou |
SafeMem: Exploiting ECC-Memory for Detecting Memory Leaks and Memory Corruption During Production Runs. |
HPCA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pin Zhou, Feng Qin, Wei Liu, Yuanyuan Zhou, Josep Torrellas |
iWatcher: Simple, General Architectural Support for Software Debugging. |
IEEE Micro |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Pin Zhou, Feng Qin, Wei Liu, Yuanyuan Zhou, Josep Torrellas |
iWatcher: Efficient Architectural Support for Software Debugging. |
ISCA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Pin Zhou, Wei Liu, Long Fei, Shan Lu, Feng Qin, Yuanyuan Zhou, Samuel P. Midkiff, Josep Torrellas |
AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-Based Invariants. |
MICRO |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Qin |
A practical method for designing FIR digital filters in the complex domain. |
IEEE Transactions on Signal Processing |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")