


Остановите войну!
for scientists:
Kai Shen
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [j29]Wei Su, Xueqiao Wang, Ge Chen, Kai Shen:
Quasi-synchronization of bounded confidence opinion dynamics with a stochastic asynchronous rule. Sci. China Inf. Sci. 65(1) (2022) - [j28]Daniel Amyot, Okhaide Akhigbe, Malak Baslyman, Sepideh Ghanavati, Mahdi Ghasemi, Jameleddine Hassine, Lysanne Lessard, Gunter Mussbacher, Kai Shen, Eric Yu:
Combining Goal modelling with Business Process modelling Two Decades of Experience with the User Requirements Notation Standard. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 17 (2022) - [j27]Yuhui Hu, Kai Shen
, Konstantin Neusypin, Andrey V. Proletarsky, Maria Selezneva:
Hierarchic Controllability Analysis in High-Dynamic Guidance for Autonomous Vehicle Landing. IEEE Trans. Aerosp. Electron. Syst. 58(3): 1545-1557 (2022) - [j26]Jinwen Wang
, Zhihong Deng, Zhidong Meng, Kai Shen
:
Magnetoresistive Sensor Error Compensation Method Using Geometry-Constraint Contour Scaling. IEEE Trans. Instrum. Meas. 71: 1-9 (2022) - [i5]Xueying Zhang, Kai Shen, Chi Zhang, Xiaochuan Fan, Yun Xiao, Zhen He, Bo Long, Lingfei Wu:
Scenario-based Multi-product Advertising Copywriting Generation for E-Commerce. CoRR abs/2205.10530 (2022) - 2021
- [j25]Kai Shen, Dillard Robertson, Joseph K. Scott:
Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities. Autom. 134: 109911 (2021) - [j24]Chaoyang Zhai
, Meiling Wang
, Yi Yang
, Kai Shen
:
Robust Vision-Aided Inertial Navigation System for Protection Against Ego-Motion Uncertainty of Unmanned Ground Vehicle. IEEE Trans. Ind. Electron. 68(12): 12462-12471 (2021) - [c83]Bowen Mu, Xuejiao Yang, Kai Shen, Joseph K. Scott:
Improved Interval Reachability Bounds for Nonlinear Discrete-Time Systems using an Efficient One-Dimensional Partitioning Method. ACC 2021: 3664-3669 - [c82]Kai Shen, Lingfei Wu, Siliang Tang, Yueting Zhuang, Zhen He, Zhuoye Ding, Yun Xiao, Bo Long:
Learning to Generate Visual Questions with Noisy Supervision. NeurIPS 2021: 11604-11617 - [i4]Lingfei Wu, Yu Chen, Kai Shen, Xiaojie Guo, Hanning Gao, Shucheng Li, Jian Pei, Bo Long:
Graph Neural Networks for Natural Language Processing: A Survey. CoRR abs/2106.06090 (2021) - 2020
- [j23]Jinran Wang, Peng Dong
, Kai Shen
, Xun Song, Xiaodong Wang:
Distributed Consensus Student-t Filter for Sensor Networks With Heavy-Tailed Process and Measurement Noises. IEEE Access 8: 167865-167874 (2020) - [j22]Kai Shen, Joseph K. Scott
:
Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities. Math. Control. Signals Syst. 32(1): 101-127 (2020) - [j21]Kai Shen
, Meiling Wang
, Mengyin Fu, Yi Yang
, Zhang Yin
:
Observability Analysis and Adaptive Information Fusion for Integrated Navigation of Unmanned Ground Vehicles. IEEE Trans. Ind. Electron. 67(9): 7659-7668 (2020) - [j20]Meng Zhu
, Kai Shen:
Interactive Context for Mobile OS Resource Management. IEEE Trans. Mob. Comput. 19(3): 612-623 (2020) - [c81]Kai Shen, Lingfei Wu, Fangli Xu, Siliang Tang, Jun Xiao, Yueting Zhuang:
Hierarchical Attention Based Spatial-Temporal Graph-to-Sequence Learning for Grounded Video Description. IJCAI 2020: 941-947 - [i3]Tong Yang, Kai Shen, Sixuan He, Enyu Li, Peter Sun, Lin Zuo, Jiayue Hu, Yiwen Mo, Weiwei Zhang, Pingying Chen, Haonan Zhang, Jingxue Chen, Yu Guo:
CovidNet: To Bring the Data Transparency in Era of COVID-19. CoRR abs/2005.10948 (2020) - [i2]Wei Su, Xueqiao Wang, Ge Chen, Kai Shen:
Quasi-synchronization of bounded confidence opinion dynamics with stochastic asynchronous rule. CoRR abs/2009.01455 (2020)
2010 – 2019
- 2019
- [j19]Peng Dong
, Zhongliang Jing
, Henry Leung
, Kai Shen
, Minzhe Li:
The Labeled Multi-Bernoulli Filter for Multitarget Tracking With Glint Noise. IEEE Trans. Aerosp. Electron. Syst. 55(5): 2253-2268 (2019) - [j18]Peng Dong
, Zhongliang Jing
, Henry Leung
, Kai Shen
, Minzhe Li:
Robust Consensus Nonlinear Information Filter for Distributed Sensor Networks With Measurement Outliers. IEEE Trans. Cybern. 49(10): 3731-3743 (2019) - [c80]Mohammad Hedayati, Kai Shen, Michael L. Scott, Mike Marty:
Multi-Queue Fair Queuing. USENIX Annual Technical Conference 2019: 301-314 - [c79]Mohammad Hedayati, Spyridoula Gravani, Ethan Johnson, John Criswell, Michael L. Scott, Kai Shen, Mike Marty:
Hodor: Intra-Process Isolation for High-Throughput Data Plane Libraries. USENIX Annual Technical Conference 2019: 489-504 - 2018
- [j17]Jin Zheng
, Zhi Zhang, Qiuhao Tao, Kai Shen, Yue Wang:
An Accurate Multi-Row Panorama Generation Using Multi-Point Joint Stitching. IEEE Access 6: 27827-27839 (2018) - [j16]Peng Dong
, Zhongliang Jing, Kai Shen
, Minzhe Li:
A distributed consensus filter for sensor networks with heavy-tailed measurement noise. Sci. China Inf. Sci. 61(11): 119201:1-119201:3 (2018) - [j15]Qi Zhu, Bo Wu, Xipeng Shen
, Kai Shen, Li Shen, Zhiying Wang:
Resolving the GPU responsiveness dilemma through program transformations. Frontiers Comput. Sci. 12(3): 545-559 (2018) - [j14]Peng Dong
, Zhongliang Jing, Henry Leung, Kai Shen
, Jinran Wang:
Student-t mixture labeled multi-Bernoulli filter for multi-target tracking with heavy-tailed noise. Signal Process. 152: 331-339 (2018) - [j13]Kai Shen
, Zhongliang Jing, Peng Dong
:
Simultaneous target tracking and sensor location refinement in distributed sensor networks. Signal Process. 153: 123-131 (2018) - [c78]Kai Shen, Joseph K. Scott
:
Tight Reachability Bounds for Nonlinear Systems Using Nonlinear and Uncertain Solution Invariants. ACC 2018: 6236-6241 - [c77]Kai Shen, Joseph K. Scott
:
Mean Value Form Enclosures for Nonlinear Reachability Analysis. CDC 2018: 7112-7117 - [c76]Kai Shen, Zhongliang Jing, Peng Dong
, Yinshuai Sun, Jiyuan Cai:
Consensus and EM Based Sensor Registration in Distributed Sensor Networks. FUSION 2018: 1-5 - 2017
- [j12]Kai Shen, Joseph K. Scott
:
Rapid and accurate reachability analysis for nonlinear dynamic systems by exploiting model redundancy. Comput. Chem. Eng. 106: 596-608 (2017) - [j11]Qi Zhu, Bo Wu, Xipeng Shen
, Kai Shen, Li Shen, Zhiying Wang:
Understanding co-run performance on CPU-GPU integrated processors: observations, insights, directions. Frontiers Comput. Sci. 11(1): 130-146 (2017) - [j10]Kai Shen
, Zhongliang Jing, Peng Dong
:
A Consensus Nonlinear Filter With Measurement Uncertainty in Distributed Sensor Networks. IEEE Signal Process. Lett. 24(11): 1631-1635 (2017) - [j9]Peng Dong
, Zhongliang Jing
, Henry Leung, Kai Shen
:
Variational Bayesian Adaptive Cubature Information Filter Based on Wishart Distribution. IEEE Trans. Autom. Control. 62(11): 6051-6057 (2017) - [c75]Ari B. Hayes, Lingda Li, Mohammad Hedayati, Jia-Huan He, Eddy Z. Zhang, Kai Shen:
GPU Taint Tracking. USENIX Annual Technical Conference 2017: 209-220 - 2016
- [c74]Zhuan Chen, Kai Shen:
OrderMergeDedup: Efficient, Failure-Consistent Deduplication on Flash. FAST 2016: 291-299 - [c73]Kai Shen, Renke Wu, Haojie Zhou, Haibo Yu, Hao Zhong
:
A failure detection solution for multiple QoS in data center networks. Internetware 2016: 91-94 - [c72]Renke Wu, Linpeng Huang, Peng Yu, Kai Shen, Qiuwei Shi, Haojie Zhou:
Meta-Model Evolution with Self-Adaptation: An Empirical Development Approach for Distributed Parallel Computing Framework. Trustcom/BigDataSE/ISPA 2016: 2227-2234 - [c71]Meng Zhu, Kai Shen:
Energy Discounted Computing on Multicore Smartphones. USENIX Annual Technical Conference 2016: 129-141 - [c70]Sharanyan Srikanthan, Sandhya Dwarkadas, Kai Shen:
Coherence Stalls or Latency Tolerance: Informed CPU Scheduling for Socket and Core Sharing. USENIX Annual Technical Conference 2016: 323-336 - 2015
- [c69]Qi Zhu, Meng Zhu, Bo Wu, Xipeng Shen, Kai Shen, Zhiying Wang:
Software Engagement with Sleeping CPUs. HotOS 2015 - [c68]Sharanyan Srikanthan, Sandhya Dwarkadas, Kai Shen:
Data Sharing or Resource Contention: Toward Performance Transparency on Multicore Systems. USENIX Annual Technical Conference 2015: 529-540 - 2014
- [c67]Konstantinos Menychtas, Kai Shen, Michael L. Scott
:
Disengaged scheduling for fair, protected access to fast computational accelerators. ASPLOS 2014: 301-316 - [c66]Kai Shen, Stan Park, Meng Zhu:
Journaling of journal is (almost) free. FAST 2014: 287-293 - 2013
- [c65]Yunqing Wen, Xiang Zhang, Kai Shen, Peng Wang:
Towards Building Virtual Vocabularies in the Semantic Web. ADMA (1) 2013: 193-204 - [c64]Kai Shen, Arrvindh Shriraman, Sandhya Dwarkadas, Xiao Zhang, Zhuan Chen:
Power containers: an OS facility for fine-grained power and energy management on multicore servers. ASPLOS 2013: 65-76 - [c63]Xueqin Zhang, Kai Shen, Chengguang Xu, Kaifang Wang:
Design and Implementation of Parallel FFT on CUDA. DASC 2013: 583-589 - [c62]Yufeng Zhang, Lian Gao, Kai Shen, Kexin Zhang, Jine Yan, Wei Cheng, Junhua Zhang:
A simulator for mixed Doppler ultrasound signals from pulsatile blood flow and vessel wall with mild stenosis. EMBC 2013: 1903-1906 - [c61]Stan Park, Terence Kelly, Kai Shen:
Failure-atomic msync(): a simple and efficient mechanism for preserving the integrity of durable data. EuroSys 2013: 225-238 - [c60]Kai Shen, Stan Park:
FlashFQ: A Fair Queueing I/O Scheduler for Flash-Based SSDs. USENIX Annual Technical Conference 2013: 67-78 - [c59]Konstantinos Menychtas, Kai Shen, Michael L. Scott:
Enabling OS Research by Inferring Interactions in the Black-Box GPU Stack. USENIX Annual Technical Conference 2013: 291-296 - 2012
- [c58]Xiaoya Xiang, Bin Bao, Chen Ding, Kai Shen:
Cache Conscious Task Regrouping on Multicore Processors. CCGRID 2012: 603-611 - [c57]Stan Park, Kai Shen:
FIOS: a fair, efficient flash I/O scheduler. FAST 2012: 13 - [c56]Xiao Zhang, Rongrong Zhong, Sandhya Dwarkadas, Kai Shen:
A Flexible Framework for Throttling-Enabled Multicore Management (TEMM). ICPP 2012: 389-398 - [c55]Amal Fahad, Zhuan Chen, Kai Shen, Jeffrey Bigham, Assmaa Fahad:
An Evaluation of Web Acceleration Techniques for the Developing World. NSDR 2012 - [c54]Kai Shen, Arrvindh Shriraman, Sandhya Dwarkadas, Xiao Zhang:
Power and energy containers for multicore servers. SIGMETRICS 2012: 403-404 - [c53]Amal Fahad, Tolga Soyata
, Tai Wang, Gaurav Sharma, Wendi B. Heinzelman
, Kai Shen:
SOLARCAP: Super capacitor buffering of solar energy for self-sustainable field systems. SoCC 2012: 236-241 - 2010
- [c52]Kai Shen:
Request behavior variations. ASPLOS 2010: 103-116 - [c51]Christopher Stewart
, Kai Shen, Arun Iyengar, Jian Yin:
EntomoModel: Understanding and Avoiding Performance Anomaly Manifestations. MASCOTS 2010: 3-13 - [c50]Xin Li, Michael C. Huang
, Kai Shen, Lingkun Chu:
A Realistic Evaluation of Memory Hardware Errors and Software System Susceptibility. USENIX Annual Technical Conference 2010 - [i1]Dongning Guo, Jun Luo, Lei Zhang, Kai Shen:
Compressed Neighbor Discovery for Wireless Networks. CoRR abs/1012.1007 (2010)
2000 – 2009
- 2009
- [c49]Stan Park, Kai Shen:
A performance evaluation of scientific I/O workloads on Flash-based SSDs. CLUSTER 2009: 1-5 - [c48]Xiao Zhang, Sandhya Dwarkadas, Kai Shen:
Towards practical page coloring-based multicore cache management. EuroSys 2009: 89-102 - [c47]Kai Shen, Christopher Stewart
, Chuanpeng Li, Xin Li:
Reference-driven performance anomaly identification. SIGMETRICS/Performance 2009: 85-96 - [c46]Xiao Zhang, Sandhya Dwarkadas, Kai Shen:
Hardware Execution Throttling for Multi-core Resource Management. USENIX Annual Technical Conference 2009 - 2008
- [j8]Ming Zhong, Kai Shen, Joel I. Seiferas:
The Convergence-Guaranteed Random Walk and Its Applications in Peer-to-Peer Networks. IEEE Trans. Computers 57(5): 619-633 (2008) - [c45]Kai Shen, Ming Zhong, Sandhya Dwarkadas, Chuanpeng Li, Christopher Stewart
, Xiao Zhang:
Hardware counter driven on-the-fly request signatures. ASPLOS 2008: 189-200 - [c44]Xiaoqian Liu, Shoubao Yang, Leitao Guo, Kai Shen:
Profit Sharing Based Routing Trust Evaluation Algorithm in P2P Network. ChinaGrid 2008: 352-359 - [c43]Ming Zhong, Kai Shen, Joel I. Seiferas:
Replication degree customization for high availability. EuroSys 2008: 55-68 - [c42]Shuling Wang, Shoubao Yang, Kai Shen, Lihua Xie:
A Super Node Selecting Mechanism Based on AHP. GCC 2008: 403-406 - [c41]Ming Zhong, Kai Shen, Joel I. Seiferas:
Correlation-Aware Object Placement for Multi-Object Operations. ICDCS 2008: 512-521 - [c40]Christopher Stewart
, Matthew Leventi, Kai Shen:
Empirical examination of a collaborative web application. IISWC 2008: 90-96 - [c39]Christopher Stewart
, Kai Shen, Arun Iyengar, Jian Yin:
Configuration-space performance anomaly depiction. LADIS 2008: 9:1-9:5 - [c38]Terence Kelly, Kai Shen, Alex Zhang, Christopher Stewart:
Operational Analysis of Parallel Servers. MASCOTS 2008: 227-236 - [c37]Ming Zhong, Pin Lu, Kai Shen, Joel I. Seiferas:
Optimizing data popularity conscious bloom filters. PODC 2008: 355-364 - [c36]Kai Shen, Alex Zhang, Terence Kelly, Christopher Stewart
:
Operational analysis of processor speed scaling. SPAA 2008: 179-181 - [c35]Christopher Stewart, Terence Kelly, Alex Zhang, Kai Shen:
A Dollar from 15 Cents: Cross-Platform Management for Internet Services. USENIX Annual Technical Conference 2008: 199-212 - 2007
- [c34]Chuanpeng Li, Kai Shen, Athanasios E. Papathanasiou:
Competitive prefetching for concurrent sequential I/O. EuroSys 2007: 189-202 - [c33]Chuanpeng Li, Chen Ding, Kai Shen:
Quantifying the cost of context switch. Experimental Computer Science 2007: 2 - [c32]Liangmin Guo, Shoubao Yang, Leitao Guo, Kai Shen, Weina Lu:
Trust-aware Adaptive P2P Overlay Topology Based on Superpeer-partition. GCC 2007: 117-124 - [c31]Kai Shen, Shoubao Yang, Wei Chen, Xiaoqian Liu, Bin Wu:
Balancing Risk and Price: An Opportunity-Cost Approach for Job Scheduling in the Grid Market. GCC 2007: 521-527 - [c30]Xiao Zhang, Sandhya Dwarkadas, Girts Folkmanis, Kai Shen:
Processor Hardware Counter Statistics as a First-Class System Resource. HotOS 2007 - [c29]Pin Lu, Kai Shen:
Multi-Layer Event Trace Analysis for Parallel I/O Performance Tuning. ICPP 2007: 12 - [c28]Ming Zhong, Kai Shen, Joel I. Seiferas:
Object replication degree customization for high availability. PODC 2007: 344-345 - [c27]Pin Lu, Kai Shen:
Virtual Machine Memory Access Tracing with Hypervisor Exclusive Cache. USENIX Annual Technical Conference 2007: 29-43 - [c26]Xin Li, Kai Shen, Michael C. Huang
, Lingkun Chu:
A Memory Soft Error Measurement on Production Systems. USENIX Annual Technical Conference 2007: 275-280 - 2006
- [j7]Ying Chen, Shoubao Yang, Leitao Guo, Kai Shen:
A Dynamic Access Control Scheme Across Multi-Domains in Grid Environment. J. Comput. Res. Dev. 43(11): 1863-1869 (2006) - [j6]Kai Shen:
Parallel sparse LU factorization on different message passing platforms. J. Parallel Distributed Comput. 66(11): 1387-1403 (2006) - [j5]Ming Zhong, Kai Shen:
Random walk based node sampling in self-organizing networks. ACM SIGOPS Oper. Syst. Rev. 40(3): 49-55 (2006) - [c25]Kai Shen, Shoubao Yang, Minghua Tian, Pengzhan Liu:
Towards a Uniform Monitoring Framework Supporting Interoperability in Grid. GCC 2006: 50-53 - [c24]Christopher Stewart, Ming Zhong, Kai Shen, Thomas O'Neill:
Comprehensive Depiction of Configuration-dependent Performance Anomalies in Distributed Server Systems. HotDep 2006 - [c23]Chen Ding, Sandhya Dwarkadas, Michael C. Huang
, Kai Shen, J. B. Carter:
Program phase detection and exploitation. IPDPS 2006 - [c22]Ming Zhong, Kai Shen:
Popularity-Biased Random Walks for Peer-to-Peer Search under the Square-Root Principle. IPTPS 2006 - [c21]Peter DeRosa, Kai Shen, Christopher Stewart
, Jonathan Pearson:
Realism and simplicity: disk simulation for instructional OS performance evaluation. SIGCSE 2006: 308-312 - 2005
- [c20]Chuanpeng Li, Kai Shen:
Managing Prefetch Memory for Data-Intensive Online Servers. FAST 2005 - [c19]Kai Shen, Ming Zhong, Chuanpeng Li:
I/O System Performance Debugging Using Model-driven Anomaly Characterization. FAST 2005 - [c18]Kai Shen:
Parallel sparse LU factorization on second-class message passing platforms. ICS 2005: 351-360 - [c17]Lingkun Chu, Kai Shen, Hong Tang, Tao Yang, Jingyu Zhou:
Dependency isolation for thread-based multi-tier Internet services. INFOCOM 2005: 796-806 - [c16]Ming Zhong, Kai Shen, Joel I. Seiferas:
Non-uniform random membership management in peer-to-peer networks. INFOCOM 2005: 1151-1161 - [c15]Ying Chen, Shoubao Yang, Leitao Guo, Pengzhan Liu, Kai Shen:
Design and Implementation of Dynamic-Role Based Access Control Framework in Grid Environment. ITCC (2) 2005: 758-759 - [c14]Christopher Stewart, Kai Shen:
Performance Modeling and System Management for Multi-component Online Services. NSDI 2005 - [c13]Ming Zhong, Justin Moore, Kai Shen, Amy L. Murphy:
An Evaluation and Comparison of Current Peer-to-Peer Full-Text Keyword Search Techniques. WebDB 2005: 61-66 - 2004
- [j4]Christopher Stewart
, Kai Shen, Sandhya Dwarkadas, Michael L. Scott
, Jian Yin:
Profile-Driven Component Placement for Cluster-Based Online Services. IEEE Distributed Syst. Online 5(10) (2004) - [c12]Kai Shen:
Structure Management for Scalable Overlay Service Construction. NSDI 2004: 281-294 - [c11]Kai Shen, Lingkun Chu, Tao Yang:
Supporting Cluster-Based Network Services on Functionally Symmetric Software Architecture. SC 2004: 9 - [c10]Kai Shen, Yuan Sun:
Distributed Hashtable on Pre-structured Overlay Networks. WCW 2004: 63-81 - 2003
- [j3]Kai Shen, Tao Yang, Lingkun Chu:
Clustering Support and Replication Management for Scalable Network Services. IEEE Trans. Parallel Distributed Syst. 14(11): 1168-1179 (2003) - [c9]Lingkun Chu, Hong Tang, Tao Yang, Kai Shen:
Optimizing data aggregation for cluster-based internet services. PPoPP 2003: 119-130 - 2002
- [c8]Kai Shen, Tao Yang, Lingkun Chu:
Cluster Load Balancing for Fine-Grain Network Services. IPDPS 2002 - [c7]Kai Shen, Hong Tang, Tao Yang, Lingkun Chu:
Integrated Resource Management for Cluster-based Internet Services. OSDI 2002 - 2001
- [c6]Kai Shen, Tao Yang, Lingkun Chu, JoAnne Holliday, Douglas A. Kuschner, Huican Zhu:
Neptune: Scalable Replication Management and Programming Support for Cluster-based Network Services. USITS 2001: 197-208 - 2000
- [j2]Kai Shen, Tao Yang, Xiangmin Jiao
:
S+: Efficient 2D Sparse LU Factorization on Parallel Machines. SIAM J. Matrix Anal. Appl. 22(1): 282-305 (2000) - [j1]Hong Tang, Kai Shen, Tao Yang:
Program transformation and runtime support for threaded MPI execution on shared-memory machines. ACM Trans. Program. Lang. Syst. 22(4): 673-700 (2000)
1990 – 1999
- 1999
- [c5]Anurag Acharya, Huican Zhu, Kai Shen:
Adaptive Algorithms for Cache-Efficient Trie Search. ALENEX 1999: 296-311 - [c4]Hong Tang, Kai Shen, Tao Yang:
Compile/Run-Time Support for Threaded MPI Execution on Multiprogrammed Shared Memory Machines. PPoPP 1999: 107-118 - [c3]Bin Jiang, Steven Richman, Kai Shen, Tao Yang:
Efficient Sparse LU Factorization with Lazy Space Allocation. PPSC 1999 - [c2]Kai Shen, Hong Tang, Tao Yang:
Adaptive Two-level Thread Management for Fast MPI Execution on Shared Memory Machines. SC 1999: 49 - 1998
- [c1]Kai Shen, Xiangmin Jiao, Tao Yang:
Elimination Forest Guided 2D Sparse LU Factorization. SPAA 1998: 5-15