Folgen
RK Shyamasundar
Titel
Zitiert von
Zitiert von
Jahr
Communicating reactive processes
G Berry, S Ramesh, RK Shyamasundar
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
2161993
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
1242016
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
1242007
Smart cities cybersecurity and privacy
DB Rawat, KZ Ghafoor
Elsevier, 2018
1182018
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
1171988
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
722007
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
702007
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
66*1992
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
552014
Failure detection and membership management in grid environments
A Jain, RK Shyamasundar
Fifth IEEE/ACM International Workshop on Grid Computing, 44-52, 2004
492004
Static analysis of real-time distributed systems
LY Liu, RK Shyamasundar
IEEE Transactions on Software Engineering 16 (4), 373-388, 1990
481990
Static code analysis
S Chandra, P Dhoolia, M Gowri III, M Gupta, RK Shyamasundar, S Sinha
US Patent 8,806,441, 2014
472014
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
471999
An optimal multiprocessor real-time scheduling algorithm
A Khemka, RK Shyamasundar
Journal of parallel and distributed computing 43 (1), 37-45, 1997
451997
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
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
402009
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
e-coupons: An Efficient, Secure and Delegable Micro-Payment System
V Patil, RK Shyamasundar
Information Systems Frontiers 7, 371-389, 2005
372005
Concurrent static single assignment for general barrier synchronized parallel programs
HJ Shah, RK Shyamasundar, P Varma
US Patent 8,566,801, 2013
342013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20