Yanxiang He

From MaRDI portal
Person:436740


List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Overview on mechanized theorem proving
 
2020-08-12Paper
Compiler-Assisted Refresh Minimization for Volatile STT-RAM Cache
IEEE Transactions on Computers
2017-05-16Paper
An autonomous defense against SYN flooding attacks: detect and throttle attacks at the victim side independently
Journal of Parallel and Distributed Computing
2012-07-26Paper
Self-adaptive management policy for scale-free networks
 
2009-03-06Paper
An enhanced Good-Turing approach
 
2009-03-06Paper
Phrase-Based Statistical Language Modeling from Bilingual Parallel Corpus
Combinatorics, Algorithms, Probabilistic and Experimental Methodologies
2009-03-03Paper
Developing semantic business model for VO construction on semantic grid
Wuhan University Journal of Natural Sciences
2007-06-08Paper
Energy efficient connectivity maintenance in wireless sensor networks
 
2007-05-08Paper
scientific article; zbMATH DE number 5150349 (Why is no real title available?)
 
2007-05-08Paper
A greedy algorithm for capacity-constrained surrogate placement in CDNs
 
2007-04-05Paper
Process of petri nets extension
Wuhan University Journal of Natural Sciences
2007-01-16Paper
Web fuzzy clustering and a case study
Wuhan University Journal of Natural Sciences
2006-08-23Paper
A direct execution approach to simulating mobile agent algorithms
The Journal of Supercomputing
2005-01-19Paper
scientific article; zbMATH DE number 2040819 (Why is no real title available?)
 
2004-02-11Paper


Research outcomes over time


This page was built for person: Yanxiang He