arrow
返回
C

Carlos A. Varela

rensselaer polytechnic institute

22H指数
145论文数
2.0K被引数
收录论文 10
发表时间
Formal Verification of Safety-Critical Aerospace Systems安全关键航空航天系统的正式验证
err2023-05-01
err12
PREAI
errPaul, Saswata; Cruz, Elkin; Dutta, Airin; Bhaumik, Ankita; Blasch, Erik; Agha, Gul; Patterson, Stacy; Kopsaftopoulos, Fotis; Varela, Carlos
err分享
err收藏
err分享
err收藏
A Manifesto for Future Generation Cloud Computing: Research Directions for the Next Decade
err2018-11-19
err190
errOAAI
errBuyya, Rajkumar; Srirama, Satish Narayana; Casale, Giuliano; Calheiros, Rodrigo; Simmhan, Yogesh; Varghese, Blesson; Gelenbe, Erol; Javadi, Bahman; Vaquero, Luis Miguel; Netto, Marco A. S.; Toosi, Adel Nadjaran; Rodriguez, Maria Alejandra; Llorente, Ignacio M.; Di Vimercati, Sabrina De Capitani; Samarati, Pierangela; Milojicic, Dejan; Varela, Carlos; Bahsoon, Rami; De Assuncao, Marcos Dias; Rana, Omer; Zhou, Wanlei; Jin, Hai; Gentzsch, Wolfgang; Zomaya, Albert Y.; Shen, Haiying
err分享
err收藏
err分享
err收藏
Airplane Flight Safety Using Error-Tolerant Data Stream Processing
err2017-04-01
err51
PREAI
errImai, Shigeru; Blasch, Erik; Galli, Alessandro; Zhu, Wennan; Lee, Frederick; Varela, Carlos A.
err分享
err收藏
Use of run time predictions for automatic co-allocation of multi-cluster resources for iterative parallel applications
err2011-10-01
err9
PREAI
errNetto, Marco A. S.; Vecchiola, Christian; Kirley, Michael; Varela, Carlos A.; Buyya, Rajkurnar
err分享
err收藏
Maximum likelihood fitting of tidal streams with application to the Sagittarius dwarf tidal tails
err2008-08-20
err26
errOAAI
errCole, Nathan; Newberg, Heidi Jo; Magdon-Ismail, Malik; Desell, Travis; Dawsey, Kristopher; Hayashi, Warren; Liu, Xinyang Fred; Purnell, Jonathan; Szymanski, Boleslaw; Varela, Carlos; Willett, Benjamin; Wisniewski, James
err分享
err收藏
err分享
err收藏
The Internet Operating System: Middleware for adaptive distributed computing
err2006-11-01
err36
errOAAI
errEl Maghraoui, Kaoutar; Desell, Travis J.; Szymanski, Boleslaw K.; Varela, Carlos A.
err分享
err收藏