logo biblio digital exactas
logo twitter logo instagram logo whatsapp logo mail

Navegar

Colección

Datos Estadísticas

Lista de

Program processors
5
"Electron dynamics in complex environments with real-time time dependent density functional theory in a QM-MM framework" (2014) Morzan, U.N.;Ramírez, F.F.;Oviedo, M.B. (...)Lebrero, M.C.G. Journal of Chemical Physics. 140(16)
"Dealing with practical limitations of distributed timed model checking for timed automata" (2006) Braberman, V.; Olivero, A.; Schapachnik, F. Formal Methods in System Design. 29(2):197-214
"On-the-fly workload prediction and redistribution in the distributed timed model checker zeus" (2005) Braberman, V.; Olivero, A.; Schapachnik, F. Proceedings of the 3rd International Workshop on Parallel Distributed Methods in Verification (PDMC 2004). 128(3):3-18
"On-line multi-threaded Scheduling" (2003) Feuerstein, E.; Mydlarz, M.; Stougie, L. Journal of Scheduling. 6(2):167-181
"Zeus: A distributed timed model-checker based on Kronos" (2002) Braberman, V.; Olivero, A.; Schapachnik, F. PDMC 2002, Parallel and Distributed Model Checking (Satellite Workshop of CONCUR 2002). 68(4):503-522