-
1
المؤلفون: Jay Thakkar, Pallab Dasgupta, Aritra Hazra, Antonio Anastasio Bruto da Costa, Soumyajit Dey, Amit Gurung, Sunandan Adhikary
المصدر: IEEE Embedded Systems Letters. 13:138-141
مصطلحات موضوعية: General Computer Science, business.industry, Computer science, Design flow, Decidability, Software, Computer engineering, Control and Systems Engineering, Satisfiability modulo theories, Control system, Scalability, Leverage (statistics), Fraction (mathematics), business
-
2
المؤلفون: Kamal Das, Amit Gurung, Rajarshi Ray
المصدر: Innovations in Systems and Software Engineering. 17:319-331
مصطلحات موضوعية: Multi-core processor, Computer simulation, Computer science, Complex system, Cyber-physical system, 020207 software engineering, 02 engineering and technology, Automaton, System dynamics, Computer engineering, 020204 information systems, Hybrid system, 0202 electrical engineering, electronic engineering, information engineering, Hybrid automaton, Software
-
3
المؤلفون: Amit Gurung
مصطلحات موضوعية: Third floor, Engineering, Architectural engineering, Electricity generation, Primary energy, business.industry, Solar heat, Glare (vision), Renewable technologies, Building-integrated photovoltaics, business
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e3356cc36edb37e9f3a790b06aacd411
https://doi.org/10.32920/ryerson.14660841 -
4
المؤلفون: Kamal Das, Amit Gurung, Rajarshi Ray
المصدر: Advanced Computing and Systems for Security: Volume 14 ISBN: 9789811642937
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::205f3455fe6bb67c9b6032948174aef9
https://doi.org/10.1007/978-981-16-4294-4_1 -
5
المؤلفون: Sergiy Bogomolov, Ezio Bartocci, Radu Grosu, Rajarshi Ray, Amit Gurung
المصدر: International Journal on Software Tools for Technology Transfer. 21:401-423
مصطلحات موضوعية: Multi-core processor, Speedup, Computer science, Breadth-first search, Parallel algorithm, 020207 software engineering, 02 engineering and technology, Computer engineering, Reachability, Hybrid system, 0202 electrical engineering, electronic engineering, information engineering, Benchmark (computing), Hybrid automaton, Software, Information Systems
-
6
المؤلفون: Sergiy Bogomolov, Amit Gurung, Dongxu Li, Rajarshi Ray, Goran Frehse, Georg Martius
المصدر: Nonlinear Analysis: Hybrid Systems. 42:101093
مصطلحات موضوعية: Optimization problem, Theoretical computer science, Linear programming, Control and Systems Engineering, Reachability, Computer science, Hybrid system, Scalability, Leverage (statistics), State (computer science), Time complexity, Analysis, Computer Science Applications
-
7
المؤلفون: Dongxu Li, Amit Gurung, Sergiy Bogomolov, Rajarshi Ray, Georg Martius, Goran Frehse
المساهمون: Newcastle University [Newcastle], Unité d'Informatique et d'Ingénierie des Systèmes (U2IS), École Nationale Supérieure de Techniques Avancées (ENSTA Paris), Frehse, Goran
المصدر: HSCC '19: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control
HSCC '19: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2019, Montreal, Canada
HSCCمصطلحات موضوعية: 0209 industrial biotechnology, Theoretical computer science, Optimization problem, Computer science, 02 engineering and technology, [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], Nonlinear optimization problem, Safety property, 020901 industrial engineering & automation, Reachability, Hybrid system, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], Scalability, 0202 electrical engineering, electronic engineering, information engineering, Leverage (statistics), 020201 artificial intelligence & image processing, Time complexity, ComputingMilieux_MISCELLANEOUS
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a5069396dc9ddc2bce41b337506b5ff8
https://hal.archives-ouvertes.fr/hal-02446204 -
8
المؤلفون: Amit Gurung, and Rajarshi Ray
المصدر: 2018 IEEE International Conference on Electronics, Computing and Communication Technologies (CONECCT).
مصطلحات موضوعية: 0209 industrial biotechnology, Planar projection, Computer science, Computation, Perspective (graphical), Approximation algorithm, Polytope, 02 engineering and technology, Visualization, 020901 industrial engineering & automation, Approximation error, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Projection (set theory), Algorithm
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e6841759c86b0af3a2fa8249631d2f5e
https://doi.org/10.1109/conecct.2018.8482373 -
9
المؤلفون: Rajarshi Ray, Amit Gurung
المصدر: ICPE
مصطلحات موضوعية: Netlib, FOS: Computer and information sciences, Linear programming, Computer science, 020207 software engineering, 02 engineering and technology, Parallel computing, Solver, CUDA, Simplex algorithm, Computer Science - Distributed, Parallel, and Cluster Computing, Performance comparison, Control system, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Distributed, Parallel, and Cluster Computing (cs.DC), IBM
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c3a13246d1669d94bcc0067971986dba
-
10
المؤلفون: Radu Grosu, Ezio Bartocci, Arup Deka, Sergiy Bogomolov, Amit Gurung, Rajarshi Ray
المصدر: MEMOCODE
مصطلحات موضوعية: Model checking, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer science, Breadth-first search, 020207 software engineering, 02 engineering and technology, Parallel computing, Load balancing (computing), Data structure, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), Computer Science - Software Engineering, Load management, Operator (computer programming), Computer Science - Distributed, Parallel, and Cluster Computing, Reachability, Hybrid system, Precomputation, 0202 electrical engineering, electronic engineering, information engineering, SPIN model checker, 020201 artificial intelligence & image processing, Algorithm design, Hybrid automaton, Distributed, Parallel, and Cluster Computing (cs.DC)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5aec6b05110888e8e1ae23e28f5be059