Sledovat
RK Shyamasundar
Název
Citace
Citace
Rok
Communicating reactive processes
G Berry, S Ramesh, RK Shyamasundar
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
2121993
City data fusion: Sensor data fusion in the internet of things
M Wang, C Perera, PP Jayaraman, M Zhang, P Strazdins, ...
International Journal of Distributed Systems and Technologies (IJDST) 7 (1 …, 2016
1252016
May-happen-in-parallel analysis of X10 programs
S Agarwal, R Barik, V Sarkar, RK Shyamasundar
Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of …, 2007
1222007
Smart cities cybersecurity and privacy
DB Rawat, KZ Ghafoor
Elsevier, 2018
1192018
Computing predicate abstractions by integrating BDDs and SMT solvers
R Cavada, A Cimatti, A Franzén, K Kalyanasundaram, M Roveri, ...
Formal Methods in Computer Aided Design (FMCAD'07), 69-76, 2007
732007
Hybrid and Real-Time Systems: International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings
O Maler
Springer Science & Business Media, 1997
73*1997
Deadlock-free scheduling of X10 computations with bounded resources
S Agarwal, R Barik, D Bonachea, V Sarkar, RK Shyamasundar, K Yelick
Proceedings of the nineteenth annual ACM symposium on Parallel algorithms …, 2007
712007
Compositional semantics for real-time distributed computing
R Koymans, RK Shyamasundar, WP de Roever, R Gerth, S Arun-Kumar
Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings, 167-189, 1985
661985
A transformational methodology for proving termination of logic programs
MRK Krishna Rao, D Kapur, RK Shyamasundar
Computer Science Logic: 5th Workshop, CSL'91 Berne, Switzerland, October 7 …, 1992
64*1992
Compositional semantics for real-time distributed computing
R Koymans, RK Shyamasundar, WP de Roever, R Gerth, S Arun-Kumar
Information and Computation 79 (3), 210-256, 1988
641988
Realizing purpose-based privacy policies succinctly via information-flow labels
NVN Kumar, RK Shyamasundar
2014 IEEE Fourth International Conference on Big Data and Cloud Computing …, 2014
572014
Static code analysis
S Chandra, P Dhoolia, M Gowri III, M Gupta, RK Shyamasundar, S Sinha
US Patent 8,806,441, 2014
482014
Static analysis of real-time distributed systems
LY Liu, RK Shyamasundar
IEEE Transactions on Software Engineering 16 (4), 373-388, 1990
481990
Failure detection and membership management in grid environments
A Jain, RK Shyamasundar
Fifth IEEE/ACM International Workshop on Grid Computing, 44-52, 2004
472004
A translation of Statecharts to Esterel
SA Seshia, RK Shyamasundar, AK Bhattacharjee, SD Dhodapkar
FM’99—Formal Methods: World Congress on Formal Methods in the Development …, 1999
461999
An optimal multiprocessor real-time scheduling algorithm
A Khemka, RK Shyamasundar
Journal of parallel and distributed computing 43 (1), 37-45, 1997
431997
An efficient, secure and delegable micro-payment system
V Patil, RK Shyamasundar
IEEE International Conference on e-Technology, e-Commerce and e-Service …, 2004
412004
Concurrent static single assignment for general barrier synchronized parallel programs
HJ Shah, RK Shyamasundar, P Varma
US Patent 8,566,801, 2013
382013
SLA monitor: A system for dynamic monitoring of adaptive web services
N Goel, NVN Kumar, RK Shyamasundar
2011 IEEE Ninth European Conference on Web Services, 109-116, 2011
372011
Activity diagrams: A formal framework to model business processes and code generation
AK Bhattacharjee, RK Shyamasundar
Journal of Object Technology 8 (1), 189-220, 2009
372009
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20