|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 45 occurrences of 32 keywords
|
|
|
|
|
Results
Found 112 publication records. Showing 112 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jiafa Xu, Zhongli Wei, Wei Dong |
Uniqueness of positive solutions for a class of fractional boundary value problems.  |
Appl. Math. Lett.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong |
A note on entire choosability of plane graphs. |
Discrete Applied Mathematics |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wai-Tat Fu, Wei Dong |
Collaborative Indexing and Knowledge Exploration: A Social Learning Model. |
IEEE Intelligent Systems |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Wai-Tat Fu |
One piece at a time: why video-based communication is better for negotiation and conflict resolution. |
CSCW |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xian Zhang, Martin Leucker, Wei Dong |
Runtime Verification with Predictive Semantics. |
NASA Formal Methods |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Peng Li |
Parallel circuit simulation with adaptively controlled projective integration. |
ACM Trans. Design Autom. Electr. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Chun Chen, Xue Liu, Yunhao Liu, Jiajun Bu, Kougen Zheng |
SenSpire OS: A Predictable, Flexible, and Efficient Operating System for Wireless Sensor Networks. |
IEEE Trans. Computers |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoji Ye, Wei Dong, Peng Li, Sani R. Nassif |
Hierarchical Multialgorithm Parallel Circuit Simulation. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Chun Chen, Xue Liu, Jiajun Bu, Yi Gao |
A Lightweight and Density-Aware Reprogramming Protocol for Wireless Sensor Networks. |
IEEE Trans. Mob. Comput. |
2011 |
DBLP DOI BibTeX RDF |
Wireless sensor networks, network protocols |
| 1 | Guodong Teng, Kougen Zheng, Wei Dong |
MA-MCL: Mobile-Assisted Monte Carlo Localization for Wireless Sensor Networks. |
IJDSN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Junfeng Wang, Minhuan Huang, Jian Tang, Hongxia Zhou |
ATCS: An adaptive TCP coding scheme for satellite IP networks. |
TIIS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Weidong Wang, Dongmei Wu, Wei Dong, Zhijiang Du, Lining Sun |
PET/CT/MRI image fusion based on mobile robot. |
BMEI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Junfeng Wang, Juan Zhang |
A Zone-Diffusion Based Routing Protocol for LEO Satellite Networks. |
WASA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Guifen Chen, Jian Jiang, Guowei Wang |
Research and Application of Space-Time Evolution of Soil Fertility Data Mining Based on Visualization. |
CCTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Gao, Chun Chen, Jiajun Bu, Wei Dong, Daojing He |
ICAD: Indirect correlation based anomaly detection in dynamic WSNs. |
WCNC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Gao, Jiajun Bu, Wei Dong, Chun Chen, Lei Rao, Xue Liu |
Exploiting concurrency for efficient dissemination in Wireless Sensor Networks. |
DCOSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Yunhao Liu, Chao Wang, Xue Liu, Chun Chen, Jiajun Bu |
Link quality aware code dissemination in wireless sensor networks. |
ICNP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Moses Charikar, Kai Li |
Efficient k-nearest neighbor graph construction for generic similarity measures. |
WWW |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dat Dac Hoang, Hye-Young Paik, Wei Dong |
MashSheet: Mashups in Your Spreadsheet. |
WISE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunhao Liu, Yuan He, Mo Li, Jiliang Wang, Kebin Liu, Lufeng Mo, Wei Dong, Zheng Yang, Min Xi, Jizhong Zhao, Xiang-Yang Li |
Does wireless sensor network scale? A measurement study on GreenOrbs. |
INFOCOM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiliang Wang, Yunhao Liu, Mo Li, Wei Dong, Yuan He |
QoF: Towards comprehensive path quality measurement in wireless sensor networks. |
INFOCOM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Vacha Dave, Lili Qiu, Yin Zhang |
Secure friend discovery in mobile social networks. |
INFOCOM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Yunhao Liu, Chun Chen, Jiajun Bu, Chao Huang |
ℛ2: Incremental ℛeprogramming using ℛelocatable code in networked embedded systems. |
INFOCOM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Weidong Wang, Chun Xie, Dongmei Wu, Wei Dong, Zhijiang Du |
The kinematic model, motion planning and analysis for obstacle negotiation capability of the composite six-wheeled-legged robot. |
ROBIO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maoting Li, Xiaokai Gong, Wei Dong, Wenliang Li |
The cooling tower fan system fault monitoring based on the trunk of RS485. |
EMEIT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Fred Douglis, Kai Li, R. Hugo Patterson, Sazzala Reddy, Philip Shilane |
Tradeoffs in Scalable Data Routing for Deduplication Clusters. |
FAST |
2011 |
DBLP BibTeX RDF |
|
| 1 | Wei Dong |
Cultural difference in image searching. |
CHI Extended Abstracts |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Yang Wang 0006, Hua Li, Chang Nian Zhang |
A Novel Watermarking Scheme for Blind Objective Image Quality Assessment. |
I. J. Comput. Appl. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Wei Dong, Baogang Xu |
Some results on acyclic edge coloring of plane graphs. |
Inf. Process. Lett. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Chun Chen, Xue Liu, Jiajun Bu |
Providing OS Support for Wireless Sensor Networks: Challenges and Approaches. |
IEEE Communications Surveys and Tutorials |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Chun Chen, Xue Liu, Kougen Zheng, Rui Chu, Jiajun Bu |
FIT: A Flexible, Lightweight, and Real-Time Scheduling System for Wireless Sensor Platforms. |
IEEE Trans. Parallel Distrib. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanjiang Luo, Zhongwen Guo, Wei Dong, Feng Hong, Yiyang Zhao |
LDB: Localization with Directional Beacons for Sparse 3D Underwater Acoustic Sensor Networks. |
JNW |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Zhongli Wei, Changci Pang |
A note on positive non-constant steady-state solutions to a reaction-diffusion model. |
Applied Mathematics and Computation |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Xi-bin Zhao, Min Xi |
Page Size Optimization for Code Dissemination in Wireless Sensor Networks. |
WASA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wai-Tat Fu, Wei Dong |
Facilitating Knowledge Exploration in Folksonomies: Expertise Ranking by Link and Semantic Structures. |
SocialCom/PASSAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Zhu, Wei Dong, Zhefu Jiang, Xiaogang Shi, Zhen Xiao, Xiaoming Li |
Improving the performance of hypervisor-based fault tolerance. |
IPDPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mao Ye, Wei Dong, Yindong Ji, Shuai Wang |
A new concurrent mechanism for distributed hardware-in-the-loop simulation test system. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fuqing Wang, Wei Dong, Yindong Ji |
Logic deduction agent based distributed parallel test platform on hardware-in-the-loop simulation system. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, David Rostoucher, Michaël Gauthier |
Kinematics parameters estimation for an AFM/robot integrated micro-force measurement system. |
IROS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Huijie Fan, Wei Dong, Yandong Tang |
Globally Optimal and Region Scalable CV Model on Automatic Target Segmentation. |
ICIRA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Xue Liu, Chun Chen, Yuan He, Gong Chen, Yunhao Liu, Jiajun Bu |
DPLC: Dynamic Packet Length Control in Wireless Sensor Networks. |
INFOCOM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Changzhi Zhao, Wei Dong, Zhichang Qi |
Active Monitoring for Control Systems under Anticipatory Semantics. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuai Wang, Yindong Ji, Wei Dong, Shiyuan Yang |
A New Formal Test Method for Networked Software Integration Testing. |
ICCSA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Wai-Tat Fu |
Cultural difference in image tagging. |
CHI |
2010 |
DBLP DOI BibTeX RDF |
annotation, perception, tagging, attention, cultural difference, image tagging |
| 1 | Wei Dong, Yunhao Liu, Xiaofan Wu, Lin Gu, Chun Chen |
Elon: enabling efficient and long-term reprogramming for wireless sensor networks. |
SIGMETRICS |
2010 |
DBLP DOI BibTeX RDF |
reboot, wireless sensor network, component, reprogramming |
| 1 | Wei Dong, Wai-Tat Fu |
Toward a cultural-sensitive image tagging interface. |
IUI |
2010 |
DBLP DOI BibTeX RDF |
algorithm, annotation, perception, tagging, attention, cultural difference, image tagging |
| 1 | Cuiping Jia, Jingran Zhou, Wei Dong, Weiyou Chen |
Design and fabrication of silicon-based 8×8 MEMS optical switch array. |
Microelectronics Journal |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Peng Li |
A Parallel Harmonic-Balance Approach to Steady-State and Envelope-Following Simulation of Driven and Autonomous Circuits. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Baogang Xu |
A note on list improper coloring of plane graphs. |
Discrete Applied Mathematics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji Wang, Xiaodong Ma, Wei Dong, Hou-Feng Xu, Wanwei Liu |
Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis. |
J. Comput. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
memory leak detection, static analysis, flow-sensitive, demand-driven |
| 1 | Shuai Wang, Yindong Ji, Wei Dong, Shiyuan Yang |
Bridging Test Languages to Reuse Test Information: A Metamodel for Test Information. |
IRI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Chun Chen, Xue Liu, Jiajun Bu, Yunhao Liu |
Dynamic Linking and Loading in Networked Embedded Systems. |
MASS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Jiandong Li, Zhuo Lu |
Joint timing error, frequency offset and channel estimation for MIMO systems. |
IWCMC |
2009 |
DBLP DOI BibTeX RDF |
frequency offset, MIMO, channel estimation, timing error |
| 1 | Wei Dong, Rubin Wang, Zhikang Zhang |
Simulation Study of CPG Model: Exploring of a Certain Characteristics of Rhythm of Gait Movement on the Intelligent Creature. |
ISNN |
2009 |
DBLP DOI BibTeX RDF |
The rhythmic movement, Coordination, Rhythm, Variety, Central pattern generator (CPG) |
| 1 | Wei Dong, Chun Chen, Xue Liu, Jiajun Bu, Yunhao Liu |
Performance of Bulk Data Dissemination in Wireless Sensor Networks. |
DCOSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Peng Li |
Parallelizable stable explicit numerical integration for efficient circuit simulation. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
explicit numerical integration, parallel computing, transient simulation |
| 1 | Xiuming Zhu, Wei Dong, Aloysius K. Mok, Song Han, Jianping Song, Deji Chen, Mark Nixon |
A Location-Determination Application in WirelessHART. |
RTCSA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Deng, Wei Dong, Richard Socher, Li-Jia Li, Kai Li, Fei-Fei Li 0002 |
ImageNet: A large-scale hierarchical image database. |
CVPR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Peng Li |
Final-value ODEs: Stable numerical integration and its application to parallel circuit analysis. |
ICCAD |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jiandong Li, Wei Dong, Fusu Wang |
Joint Frequency Offset and Channel Estimation in Frequency Selective MIMO Correlated Fading Channels. |
VTC Spring |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dong Zhao, Wei Dong, Deyi Xue |
A Hybrid Model for Optimal Concurrent Design of Solid Oxide Fuel Cell System Considering Functional Performance and Production Cost. |
Concurrent Engineering: R&A |
2008 |
DBLP BibTeX RDF |
|
| 1 | Wei Dong, Litao Yang, Kailin Shen, Banghyun Kim, Gijs A. Kleter, Hans J. P. Marvin, Rong Guo, Wanqi Liang, Dabing Zhang |
GMDD: a database of GMO detection methods. |
BMC Bioinformatics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaodong Ma, Ji Wang, Wei Dong |
Shape Analysis by Refining on Abstract Evaluation Path. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guo Yu, Wei Dong, Zhuo Feng, Peng Li |
Statistical Static Timing Analysis Considering Process Variation Model Uncertainty. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Linyan Tu, Wei Dong, Yindong Ji, Xinya Sun |
A Meta-model Based Modeling Method for Geographic Information Model in CTCS Hardware-in-the-loop Simulation System. |
JCP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Chun Chen, Xue Liu, Kougen Zheng, Rui Chu, Jiajun Bu |
FIT: A Flexible, LIght-Weight, and Real-Time Scheduling System for Wireless Sensor Platforms. |
DCOSS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Martin Leucker, Christian Schallhart |
Impartial Anticipation in Runtime-Verification. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Ji Wang, Changzhi Zhao, Xian Zhang, Jie Tian |
Automating Software FMEA via Formal Analysis of Dependence Relations. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
Software FMEA, formal analysis, dependence relations |
| 1 | Wei Dong, Peng Li, Xiaoji Ye |
WavePipe: parallel transient simulation of analog and digital circuits on multi-core shared-memory machines. |
DAC |
2008 |
DBLP DOI BibTeX RDF |
parallel computing, multi-core, transient simulation |
| 1 | Kwang Yong Lim, F. Young Koon Goh, Wei Dong, Kim Doang Nguyen, I-Ming Chen, Song Huat Yeo, Henry Been-Lirn Duh, Chung Gon Kim |
A wearable, self-calibrating, wireless sensor network for body motion processing. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Kwang Yong Lim, Young Koon Goh, Kim Doang Nguyen, I-Ming Chen, Song Huat Yeo, Henry Been-Lirn Duh |
A low-cost motion tracker and its error analysis. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Jiandong Li, Zhuo Lu |
Parameter Estimation for MIMO Systems with Multiple Frequency Offsets. |
AINA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Moses Charikar, Kai Li |
Asymmetric distance estimation with sketches for similarity search in high-dimensional spaces. |
SIGIR |
2008 |
DBLP DOI BibTeX RDF |
asymmetric distance estimation, sketch, similarity search |
| 1 | Junmin Ye, Wei Dong, Zhichang Qi |
A Method to Generate Embedded Real-Time System Test Suites Based on Software Architecture Specifications. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Junmin Ye, Zemei Zhan, Zhenfang Zhang, Wei Dong, Zhichang Qi |
Design of Some Artificial Immune Operators in Software Test Cases Generation. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Chun Chen, Jiajun Bu, Kougen Zheng, Xiaofan Wu, Guodong Teng |
A Dynamic TimeSynchronization Scheme for Multihop Sensor Networks. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Junmin Ye, Junjie Wang, Wei Dong, Zhichang Qi |
Implementation of String Recognition Algorithm Based on the Principle of Artificial Immunology. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaodong Ma, Ji Wang, Wei Dong |
Computing Must and May Alias to Detect Null Pointer Dereference. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Doang Nguyen, Kwang Yong Lim, Wei Dong, Young Koon Goh, I-Ming Chen, Song Huat Yeo, Henry Been-Lirn Duh, Kang Li, Chen Hao Su |
Toward a Dynamic Model of Robotic Marionettes. |
RAM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Zhe Wang, Moses Charikar, Kai Li |
Efficiently matching sets of features with random histograms. |
ACM Multimedia |
2008 |
DBLP DOI BibTeX RDF |
random histogram, set of features, locality sensitive hashing |
| 1 | Wei Dong, Zhe Wang, William Josephson, Moses Charikar, Kai Li |
Modeling LSH for performance tuning. |
CIKM |
2008 |
DBLP DOI BibTeX RDF |
similarity search, locality sensitive hashing |
| 1 | Xiaoji Ye, Wei Dong, Peng Li, Sani R. Nassif |
MAPS: multi-algorithm parallel circuit simulation. |
ICCAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Peng Li, Garng M. Huang |
SRAM dynamic stability: theory, variability and analysis. |
ICCAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Jiandong Li, Zhuo Lu |
Joint Frequency Offset and Channel Estimation for MIMO Systems Based on Particle Swarm Optimization. |
VTC Spring |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong |
Modelling and model checking suspendible business processes via statechart diagrams and CSP. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Zhenbang Chen, Ji Wang |
A Contract-based Approach to Specifying and Verifying Safety Critical Systems. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Peng Li |
Hierarchical Harmonic-Balance Methods for Frequency-Domain Analog-Circuit Analysis. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Guo Yu, Peng Li, Wei Dong |
Achieving Low-Cost Linearity Test and Diagnosis of Sigma Delta ADCs via Frequency-Domain Nonlinear Analysis and Macromodeling. |
ISQED |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Ji Wang, Zhichang Qi, Ni Rong |
Compositional Verification of UML Dynamic Models. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen |
Axiomatizing Extended Temporal Logic Fragments Via Instantiation. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Guo Yu, Wei Dong, Zhuo Feng, Peng Li |
A Framework for Accounting for Process Model Uncertainty in Statistical Static Timing Analysis. |
DAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Peng Li |
Accelerating Harmonic Balance Simulation Using Efficient Parallelizable Hierarchical Preconditioning. |
DAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peng He, Jiandong Li, Wei Dong |
A Novel Distributed Topology Control Algorithm for Ad Hoc Networks. |
AINA Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Wang, Wei Dong, William Josephson, Qin Lv, Moses Charikar, Kai Li |
Sizing sketches: a rank-based analysis for similarity search. |
SIGMETRICS |
2007 |
DBLP DOI BibTeX RDF |
feature-rich data, sketch, similarity search |
| 1 | Wei Dong, Zhuo Feng, Peng Li |
Efficient VCO phase macromodel generation considering statistical parametric variations. |
ICCAD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mengluo Ji, Huaimin Wang, Mengjun Li, Wei Dong, Zhichang Qi |
An Value Range Analysis Based on Abstract Interpretation and Generalized Monotone Data Flow Framework. |
Journal of Computer Research and Development |
2006 |
DBLP BibTeX RDF |
|
| 1 | Cuiping Jia, Wei Dong, Caixia Liu, Xindong Zhang, Jingran Zhou, Zhicheng Zhong, Hailin Xue, Huidong Zang, Baokun Xu, Weiyou Chen |
Convex corners undercutting and rhombus compensation in KOH with and without IPA solution on (110) silicon. |
Microelectronics Journal |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Changci Pang, Wei Dong, Zhongli Wei |
Green's function and positive solutions of nth order m-point boundary value problem. |
Applied Mathematics and Computation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi |
Towards Formal Interfaces for Web Services with Transactions. |
SITIS |
2006 |
DBLP DOI BibTeX RDF |
Interface theory, Web service, Composition, Transaction |
| 1 | Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung |
An Interface Theory Based Approach to Verification of Web Services. |
COMPSAC |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 112 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")