logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
V

Vijay K. Garg

university of texas system

49H指数
520论文数
8.3K被引数
收录论文 17
发表时间
logo
Monitoring Distributed Systems Based on Partial Order Executions with Global States基于部分有序执行和全局状态的分布式系统监控
errRUNTIME VERIFICATION, RV 2025
IF0
err2026-01-01
err0
PREAI
errOmer, Moran; Peled, Doron; Porat, Ely; Garg, Vijay K.
err分享
err收藏
Fault Tolerance in Distributed Systems Using Fused Data Structures
errIEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
IF6
err2013-04-01
err13
PREAI
errBalasubramanian, Bharath; Garg, Vijay K.
err分享
err收藏
Efficient Algorithms for Global Snapshots in Large Distributed Systems
errIEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
IF6
err2010-05-01
err22
PREAI
errGarg, Rahul; Garg, Vijay K.; Sabharwal, Yogish
err分享
err收藏
Solving computation slicing using predicate detection
errIEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
IF6
err2007-12-01
err8
PREAI
errMittal, Neeraj; Sen, Alper; Garg, Vijay K.
err分享
err收藏
Efficient detection of a locally stable predicate in a distributed system
errJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF4
err2007-04-01
err8
errOAAI
errAtreya, Ranganath; Mittal, Neeraj; Kshemkalyani, Ajay D.; Garg, Vijay K.; Singhal, Mukesh
err分享
err收藏
Formal verification of simulation traces using computation slicing
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2007-04-01
err24
PREAI
errSen, Alper; Garg, Vijay K.
err分享
err收藏
Adaptive general perfectly periodic scheduling
errINFORMATION PROCESSING LETTERS
IF0.6
err2006-05-01
err9
PREAI
errPatil, S; Garg, VK
err分享
err收藏
Predicate control: synchronization in distributed computations with look-ahead谓词控制: 具有前瞻的分布式计算中的同步
errJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF4
err2004-02-01
err4
PREAI
errTarafdar, A; Garg, VK
err分享
err收藏
Distributed recovery with K-optimistic logging
errJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF4
err2003-12-01
err11
PREAI
errDamani, OP; Wang, YM; Garg, VK
err分享
err收藏
Control of stochastic discrete event systems modeled by probabilistic languages概率语言建模的随机离散事件系统的控制
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2001-04-01
err47
PREAI
errKumar, R; Garg, VK
err分享
err收藏
A probabilistic language formalism for stochastic discrete-event systems
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err1999-01-01
err56
PREAI
errGarg, VK; Kumar, R; Marcus, SI
err分享
err收藏
Efficient detection of channel predicates in distributed systems
errJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF4
err1997-09-01
err7
PREAI
errGarg, VK; Chase, CM; Kilgore, R; Mitchell, JR
err分享
err收藏
Monitoring functions on global states of distributed programs
errJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF4
err1997-03-01
err15
PREAI
errTomlinson, AI; Garg, VK
err分享
err收藏
Finite buffer realization of input-output discrete event systems (vol 40, pg 1042, 1995)
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err1996-04-01
err0
PREAI
errKumar, R; Garg, VK; Marcus, SI
err分享
err收藏
Supervisory control of real-time discrete-event systems using lattice theory
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err1996-01-01
err38
PREAI
errCofer, DD; Garg, VK
err分享
err收藏
Digital wireless local loop system
errIEEE COMMUNICATIONS MAGAZINE
IF8.2
err1996-01-01
err13
PREAI
errGarg, VK; Sneed, EL
err分享
err收藏
Detection of strong unstable predicates in distributed programs
errIEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
IF6
err1996-01-01
err66
PREAI
errGarg, VK; Waldecker, B
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
S
Steven I. Marcus
H 指数: 48 · 论文数: 321
R
Ratnesh Kumar
H 指数: 47 · 论文数: 403
D
Doron Peled
H 指数: 43 · 论文数: 251
M
Mukesh Singhal
H 指数: 42 · 论文数: 384
Y
Yi‐Min Wang
H 指数: 36 · 论文数: 208
查看更多