Search results for "Long Li"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Tao Gong, Lei Qi, Long Li	Lifelike evolution of CSnet and Bitnet: Birth to death.	ICNC	2011	DBLP DOI BibTeX RDF
1	Lihua Li, Long Li, Jie Liu	Application of modeling technology in driving simulator system.	EMEIT	2011	DBLP DOI BibTeX RDF
1	Wei Wu, Long Li, Jie Yang 0007, Yan Liu	A modified gradient-based neuro-fuzzy learning algorithm and its convergence.	Inf. Sci.	2010	DBLP DOI BibTeX RDF
1	Mingyi He, Long Li	Advance in triangular mesh simplification study.	ICARCV	2010	DBLP DOI BibTeX RDF
1	Jie Yang 0007, Long Li, Yan Liu, Jing Wang, Wei Wu	Choice of initial bias in max-min fuzzy neural networks.	IJCNN	2010	DBLP DOI BibTeX RDF
1	Long Li, Yu Zhang, Yiyun Chen, Yong Li	Certifying Concurrent Programs Using Transactional Memory.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	concurrent program safety, program verification, transactional memory, proof-carrying code
1	Benhui Chen, Long Li, Jinglu Hu	A novel EDAs based method for HP model protein folding.	IEEE Congress on Evolutionary Computation	2009	DBLP DOI BibTeX RDF
1	Long Li, Jie Yang 0007, Wei Wu, Tianshuang Wu	An intuitionistic fuzzy associative memory network and its learning rule.	GrC	2009	DBLP DOI BibTeX RDF
1	Chunxiao Lin, Yiyun Chen, Long Li, Bei Hua	Garbage Collector Verification for Proof-Carrying Code.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	program safety, program verification, proof-carrying code, garbage collector
1	Andrew McCreight, Zhong Shao, Chunxiao Lin, Long Li	A general framework for certifying garbage collectors and their mutators.	PLDI	2007	DBLP DOI BibTeX RDF	assembly code verification, garbage collection, abstract data type, separation logic, proof-carrying code
1	Jinquan Dai, Long Li, Bo Huang 0002	Pipelined Execution of Critical Sections Using Software-Controlled Caching in Network Processors.	CGO	2007	DBLP DOI BibTeX RDF
1	Xiaofeng Guo, Jinquan Dai, Long Li, Zhiyuan Lv, Prashant R. Chandra	Latency Hiding in Multi-Threading and Multi-Processing of Network Applications.	PACT	2007	DBLP DOI BibTeX RDF
1	Qinyu Liao, Xin Luo, Anil Gurung, Long Li	Workplace Internet Use Monitoring and Employee Behavior Intention Change.	AMCIS	2007	DBLP BibTeX RDF
1	Xiaofeng Guo, Jinquan Dai, Long Li, Zhiyuan Lv, Prashant R. Chandra	Latency hiding through multithreading on a network processor.	PPOPP	2007	DBLP DOI BibTeX RDF	compiler, multicore, code motion, latency hiding
1	Steven M. Gallo, Long Li, Zihua Hu, Marc S. Halfon	REDfly: a Regulatory Element Database for Drosophila.	Bioinformatics	2006	DBLP DOI BibTeX RDF
1	Sen Xiang, Yiyun Chen, Chunxiao Lin, Long Li	Modularly Certified Dynamic Storage Allocation in SCAP.	QSIC	2006	DBLP DOI BibTeX RDF
1	Long Li, Haixia Liu, Yan Shi, Changhong Liang	Generalized system function analysis of resonant behavior of electromagnetic open systems.	Science in China Series F: Information Sciences	2005	DBLP DOI BibTeX RDF
1	Jinquan Dai, Bo Huang 0002, Long Li, Luddy Harrison	Automatically partitioning packet processing applications for pipelined architectures.	PLDI	2005	DBLP DOI BibTeX RDF	live-set transmission, pipelining transformation, parallel, network processor, program partition, packet processing
1	Long Li, Bo Huang 0002, Jinquan Dai, Luddy Harrison	Automatic multithreading and multiprocessing of C programs for IXP.	PPOPP	2005	DBLP DOI BibTeX RDF	network processor, multi-threading, critical section, code motion, multi-processing
1	Arthur J. Krener, Long Li	Normal Forms and Bifurcations of Discrete Time Nonlinear Control Systems.	SIAM J. Control and Optimization	2002	DBLP DOI BibTeX RDF

Publications of "Long Li" ( http://dblp.L3S.de/Authors/Long_Li )