|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 33 occurrences of 27 keywords
|
|
|
|
|
Results
Found 87 publication records. Showing 87 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Prakash Bhat, Satoshi Nagata, Luis Campoy, Ignacio Berberana, Thomas Derham, Guangyi Liu, Xiaodong Shen, Pingping Zong, Jin Yang |
LTE-advanced: an operator perspective.  |
IEEE Communications Magazine  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar Damnjanovic, Juan Montojo, Joonyoung Cho, Hyoungju Ji, Jin Yang, Pingping Zong |
UE's role in LTE advanced heterogeneous networks. |
IEEE Communications Magazine |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tianfei Wang, Jin Yang, Bin Li |
Improved Upper Bounds for the Laplacian Spectral Radius of a Graph. |
Electr. J. Comb. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jin Yang, Tang Liu, Ling xi Peng, Xue Jun Li, Gang Luo |
Multilevel Network Security Monitoring and Evaluation Model. |
JSW |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tang Liu, Jian Peng, Jin Yang, Chunli Wang |
Energy efficient prediction clustering algorithm for multilevel heterogeneous wireless sensor networks |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Caiming Liu, Jin Yang, Run Chen, Yan Zhang, Jinquan Zeng |
Research on immunity-based intrusion detection technology for the Internet of Things. |
ICNC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chaozhe Jiang, Jin Yang, Jixue Yuan |
Development and sustainable strategies of RITS in China. |
ICAL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Caiming Liu, Run Chen, Yan Zhang, Luxin Xiao, Chao Chen, Jin Yang |
A Distributed Surveillance Model for Network Security Inspired by Immunology. |
AICI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fuchun Sun, Jin Yang, Minnan Luo, Huaping Liu |
Optimal necessary conditions for general SISO Mamdani fuzzy systems as function approximators within a given accuracy. |
FUZZ-IEEE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang, Tobias Simon, Christopher Mueller, Daniel Klan, Kai-Uwe Sattler |
Comparing and Refining Gossip Protocols for Fault Tolerance in Wireless P2P Systems. |
PDP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dang-Hoan Tran, Jin Yang, Kai-Uwe Sattler |
Decentralized Change Detection in Wireless Sensor Network Using DFT-based Synopsis. |
Mobile Data Management |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Hagerman, Karl Werner, Jin Yang |
MIMO Performance at 700MHz: Field Trials of LTE with Handheld UE. |
VTC Fall |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang |
Faculty Adopters of Podcasting: Satisfaction, University Support and Belief in Podcasting. |
IJICTE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Qinliang Su, Aiping Huang, Zhaoyang Zhang, Kai Xu, Jin Yang |
A Non-Cooperative Method for Path Loss Estimation in Femtocell Networks |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Dapeng Yan, Daqing Ge, Jin Yang, Ling Zhang, Yan Wang, Xiaofang Guo |
PSI analyses of land subsidence due to economic development near the city of Hangzhou, China. |
IGARSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang |
Self-organization Data Harvesting and Fusion for Building a Resource Map. |
AlgoSyn |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jin Yang, Yumei Wen, Ping Li |
Approximate entropy-based leak detection using artificial neural network in water distribution pipelines. |
ICARCV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang, Yu Sun, Yimin Zhou, Shixin Sun |
Incremental Rate Control for H.264 Scalable Video Coding. |
GLOBECOM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kecheng Hao, Fei Xie, Sandip Ray, Jin Yang |
Optimizing equivalence checking for behavioral synthesis. |
DATE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jin Yang |
Gossip-Based Data Fusion Framework for Radio Resource Map. |
Mobile Data Management |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang, Jiannong Cao, Weigang Wu, Cheng-Zhong Xu |
Efficient algorithms for fault tolerant mobile agent execution. |
IJHPCN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang, XiaoJie Liu, Tao Li, Gang Liang, SunJun Liu |
Distributed agents model for intrusion detection based on AIS. |
Knowl.-Based Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengyu Zhang, Jian Yuan, Jianshu Chen, Jian Wang, Jin Yang |
Analyzing amplify-and-forward and decode-and-forward cooperative strategies in Wyner's channel model. |
WCNC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang |
Formal Verification for High-Assurance Behavioral Synthesis. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang, Peng Jin, YanWei Hong, Gang Luo |
Improved Method for Network Danger Evaluation Based on Immunology Principle. |
ICNC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Meng Xu, Jin Yang, Ziyou Gao |
Using One-at-a-Time Sensitivity Analysis Designs for Genetic Algorithm Solving Continuous Network Design Problems. |
CSO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang, Jiannong Cao, Weigang Wu |
Efficient global checkpointing algorithms for mobile agents. |
Concurrency and Computation: Practice and Experience |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Weigang Wu, Jiannong Cao, Jin Yang |
A fault tolerant mutual exclusion algorithm for mobile ad hoc networks. |
Pervasive and Mobile Computing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Weigang Wu, Jiannong Cao, Jin Yang, Michel Raynal |
Using asynchrony and zero degradation to speed up indulgent consensus protocols. |
J. Parallel Distrib. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio M. de Paula, Marcel Gort, Alan J. Hu, Steven J. E. Wilton, Jin Yang |
BackSpace: Formal Analysis for Post-Silicon Debug. |
FMCAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Chen, Fei Xie, Jin Yang |
Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation. |
DAC |
2008 |
DBLP DOI BibTeX RDF |
automatic abstraction refinement, generalized symbolic trajectory evaluation, model checking |
| 1 | Nicola Ueffing, Jens Stephan, Evgeny Matusov, Loïc Dugast, George F. Foster, Roland Kuhn, Jean Senellart, Jin Yang |
Tighter Integration of Rule-Based and Statistical MT in Serial System Combination. |
COLING |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jin Yang, Yumei Wen, Ping Li |
Application of blind system identification in acoustic source location. |
ICARCV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongquan Qiang, Guillaume Vivier, Jin Yang, Ning Xu |
Inter-Cell Interference Modeling for OFDMA Systems with Beamforming. |
VTC Fall |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Weigang Wu, Jiannong Cao, Jin Yang, Michel Raynal |
Design and Performance Evaluation of Efficient Consensus Protocols for Mobile Ad Hoc Networks. |
IEEE Trans. Computers |
2007 |
DBLP DOI BibTeX RDF |
fault tolerance, mobile computing, mobile ad hoc network, distributed algorithm, Consensus, failure detector |
| 1 | Jin Yang, Tao Li, SunJun Liu, Tiefang Wang, Diangang Wang, Gang Liang |
Computer Forensics System Based on Artificial Immune Systems. |
J. UCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jianzhong Cui, Zhixiang Yin, Jin Yang |
Molecular Computation: Solving 3-Vertex-Colourability Problem. |
ICIC |
2007 |
DBLP DOI BibTeX RDF |
3-vertex-colourability, NP-complete, DNA computing |
| 1 | Zhixiang Yin, Jin Yang, Jianzhong Cui, Jiaxiu Zhang |
Evolutionary Model for Sequence Generation. |
ICIC |
2007 |
DBLP DOI BibTeX RDF |
DNA Sequence Generation System, DNA coding method, DNA computing, Hamiltonian path problem, Evolution model |
| 1 | Zhixiang Yin, Jianzhong Cui, Jin Yang |
A Surface-Based DNA Computing for the Positive Integer Linear Programming Problem. |
ICIC |
2007 |
DBLP DOI BibTeX RDF |
0-1 Programming Problem, Integer linear programming, DNA Computing, NP-Complete Problem |
| 1 | Yan Chen, Yujing He, Fei Xie, Jin Yang |
Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation. |
FMCAD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski |
Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael L. Blinov, Jin Yang, James R. Faeder, William S. Hlavacek |
Graph Theory for Rule-Based Modeling of Biochemical Networks. |
T. Comp. Sys. Biology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xun Gong, Tao Li, Gang Liang, Tiefang Wang, Jin Yang, Xiaoqin Hu |
Immunity and Mobile Agent Based Grid Intrusion Detection. |
ICIC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gang Liang, Tao Li, Xun Gong, Yaping Jiang, Jin Yang, Jiancheng Ni |
NASC: A Novel Approach for Spam Classification. |
ICIC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gang Liang, Tao Li, Jiancheng Ni, Yaping Jiang, Jin Yang, Xun Gong |
An Immunity-Based Dynamic Multilayer Intrusion Detection System. |
ICIC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhixiang Yin, Jianzhong Cui, Jin Yang, Jin Xu |
DNA Computing Model of the Integer Linear Programming Problem Based on Molecular Beacon. |
ICIC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Guowu Yang, Jin Yang, Xiaoyu Song, Fei Xie |
Maximal Models of Assertion Graph in GSTE. |
TAMC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang |
Verification Challenges and Opportunities in the New Era of Microprocessor Design. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiefang Wang, Tao Li, Xun Gong, Jin Yang, Xiaoqin Hu, Diangang Wang, Hui Zhao |
Family Gene Based Grid Trust Model. |
ICNC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xun Gong, Tao Li, Tiefang Wang, Jin Yang, Gang Liang, Xiaoqin Hu |
Grid Intrusion Detection Based on Immune Agent. |
ICNC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Weigang Wu, Jiannong Cao, Jin Yang, Michel Raynal |
A Hierarchical Consensus Protocol for Mobile Ad Hoc Networks. |
PDP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang, Jiannong Cao, Weigang Wu |
CIC: An Integrated Approach to Checkpointing in Mobile Agent Systems. |
SKG |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xun Gong, Tao Li, Ji Lu, Tiefang Wang, Gang Liang, Jin Yang, Feixian Sun |
Immunity and Mobile Agent Based Intrusion Detection for Grid. |
PRIMA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xun Gong, Tao Li, Tiefang Wang, Jin Yang, SunJun Liu, Gang Liang |
An Immune Mobile Agent Based Grid Intrusion Detection Model. |
SEAL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | SunJun Liu, Tao Li, Kui Zhao, Jin Yang, Xun Gong, Jianhua Zhang |
Immune-Based Dynamic Intrusion Response Model. |
SEAL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang, Jiannong Cao, Weigang Wu, Corentin Travers |
The notification based approach to implementing failure detectors in distributed systems. |
Infoscale |
2006 |
DBLP DOI BibTeX RDF |
QoS, performance evaluation, fault tolerance, failure detector, heartbeat |
| 1 | Jin Yang, Jiannong Cao, Weigang Wu |
Checkpoint Placement Algorithms for Mobile Agent System. |
GCC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang, Avi Puder |
Tightly integrate dynamic verification with formal verification: a GSTE based approach. |
ASP-DAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiushan Feng, Alan J. Hu, Jin Yang |
Partitioned model checking from software specifications. |
ASP-DAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Guowu Yang, Jin Yang, William N. N. Hung, Xiaoyu Song |
Implication of assertion graphs in GSTE. |
ASP-DAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang, Jiannong Cao, Weigang Wu, Cheng-Zhong Xu |
Parallel Algorithms for Fault-Tolerant Mobile Agent Execution. |
ICA3PP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang, Jiannong Cao, Weigang Wu, Cheng-Zhong Xu |
A Framework for Transactional Mobile Agent Execution. |
GCC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiannong Cao, Jin Yang, Wai Ting Chan, Cheng-Zhong Xu |
Exception Handling in Distributed Workflow Systems Using Mobile Agents. |
ICEBE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yumei Wen, Ping Li, Jin Yang, Zhangmin Zhou |
Adaptive Leak Detection and Location in Underground Buried Pipelines. |
I. J. Information Acquisition |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang, Ming Huang |
A Case Study on Research Assistant System From Knowledge Management Perspective. |
CELDA |
2004 |
DBLP BibTeX RDF |
|
| 1 | William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski |
Quantum logic synthesis by symbolic reachability analysis. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
model checking, formal verification, quantum computing, satisfiability, reversible logic |
| 1 | Juanru Wang, Songzheng Zhao, Jin Yang |
Study on the Cultivation of Core Competence Based on Tacit Knowledge. |
ICEB |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jin Yang, Carl-Johan H. Seger |
Compositional Specification and Model Checking in GSTE. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiannong Cao, Liang Zhang, Jin Yang, Sajal K. Das |
A Reliable Mobile Agent Communication Protocol. |
ICDCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Kelvin Ng, Alan J. Hu, Jin Yang |
Generating Monitor Circuits for Simulation-Friendly GSTE Assertion Graphs. |
ICCD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang, Carl-Johan H. Seger |
Introduction to generalized symbolic trajectory evaluation. |
IEEE Trans. VLSI Syst. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan J. Hu, Jeremy Casas, Jin Yang |
Reasoning about GSTE Assertion Graphs. |
CHARME |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan J. Hu, Jeremy Casas, Jin Yang |
Efficient Generation of Monitor Circuits for GSTE Assertion Graphs. |
ICCAD |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang, Carl-Johan H. Seger |
Generalized Symbolic Trajectory Evaluation - Abstraction in Action. |
FMCAD |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang, Amit Goel |
GSTE through a case study. |
ICCAD |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang, Carl-Johan H. Seger |
Introduction to Generalized Symbolic Trajectory Evaluation. |
ICCD |
2001 |
DBLP BibTeX RDF |
|
| 1 | John Weisgerber, Jin Yang, Pete Fisher |
Pacific Rim Portable Translator. |
AMTA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang, Andreas Tiemeyer |
Lazy symbolic model checking. |
DAC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang |
Diversity receiver scheme and system performance evaluation for a CDMA system. |
IEEE Transactions on Communications |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang, Ioannis Kriaras |
Wireless VoIP: Opportunities and Challenges. |
MDA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang, Elke D. Lange |
SYSTRAN on AltaVista: A User Study on Real-Time Machine Translation on the Internet. |
AMTA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang, Aloysius K. Mok, Farn Wang |
Symboloc Model Checking for Event-Driven Real-Time Systems. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
binary decision diagrams |
| 1 | Peter Au, John Darlington, Moustafa Ghanem, Yike Guo, Hing Wing To, Jin Yang |
Co-ordinating Heterogeneous Parallel Computation. |
Euro-Par, Vol. I |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | John Darlington, Yike Guo, Hing Wing To, Jin Yang |
Functional Skeletons for Parallel Coordination. |
Euro-Par |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang, Aloysius K. Mok, Douglas A. Stuart |
A new generation modechart verifie. (PDF / PS) |
IEEE Real Time Technology and Applications Symposium |
1995 |
DBLP DOI BibTeX RDF |
modechart verifier, vf3, arbitrary hierarchy, verification process speed, zone-based computation graph, on-the-fly deterministic pruning, outgoing edge reduction, graph nodes, quotient graph, real-time logic formula, graph size, SARTOR project, real-time systems, formal verification, graph theory, operational semantics, diagrams, computer aided software engineering, search space reduction |
| 1 | John Darlington, Yike Guo, Hing Wing To, Jin Yang |
Parallel Skeletons for Structured Composition. |
PPOPP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang, Aloysius K. Mok, Farn Wang |
Symbolic Model Checking for Event-Driven Real-Time Systems. |
IEEE Real-Time Systems Symposium |
1993 |
DBLP BibTeX RDF |
|
Displaying result #1 - #87 of 87 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")