Navegar

Colección

Datos Estadísticas

Lista de

Design
20
"Design optimization of an air atmospheric pressure plasma-jet device intended for medical use" (2018) Xaubet, M.;Baudler, J.-S.;Gerling, T. (...)Weltmann, K.-D. Plasma Processes and Polymers. 15(8)
"Tailoring oxygen redox reactions in ionic liquid based Li/O 2 batteries by means of the Li + dopant concentration" (2018) Cecchetto, L.;Tesio, A.Y.;Olivares-Marín, M. (...)Tonti, D. Sustainable Energy and Fuels. 2(1):118-124
"Discrete Event Modeling and Simulation-Driven Engineering for the ATLAS Data Acquisition Network" (2016) Bonaventura, M.; Foguelman, D.; Castro, R. Computing in Science and Engineering. 18(3):70-83
"Discrete Event Modeling and Simulation-Driven Engineering for the ATLAS Data Acquisition Network" (2016) Bonaventura, M.; Foguelman, D.; Castro, R. Computing in Science and Engineering. 18(3):70-83
"Synthesizing nonanomalous event-based controllers for liveness goals" (2013) D'Ippolito, N.; Braberman, V.; Piterman, N.; Uchitel, S. ACM Transactions on Software Engineering and Methodology. 22(1)
"Synthesizing nonanomalous event-based controllers for liveness goals" (2013) D'Ippolito, N.; Braberman, V.; Piterman, N.; Uchitel, S. ACM Transactions on Software Engineering and Methodology. 22(1)
"Abstractions for validation in action" (2012) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012. 7320 LNCS:192-218
"A co-design methodology for processor-centric embedded systems with hardware acceleration using FPGA" (2012) Pedre, S.; Krajník, T.; Todorovich, E.; Borensztejn, P. 8th Southern Programmable Logic Conference, SPL 2012
"Optical performance related to mechanical deformations of a Davies-Cotton mount for the high energy section of the Cherenkov Telescope Array" (2011) Rovero, A.C.;Supanitsky, A.D.;Actis, M. (...)Marconi, D. 32nd International Cosmic Ray Conference, ICRC 2011. 9:46-49
"Mutational analysis of kinetic partitioning in protein folding and protein-DNA binding" (2011) Sánchez, I.E.; Ferreiro, D.U.; De Prat Gay, G. Protein Engineering, Design and Selection. 24(1-2):179-184
"A scheduler synthesis methodology for joint SW/HW design exploration of SoC" (2010) Assayad, I.; Yovine, S. Design Automation for Embedded Systems. 14(2):75-103
"Mixture design for evaluation of potassium sorbate and xanthan gum effect on properties of tapioca starch films obtained by extrusion" (2010) Flores, S.K.;Costa, D.;Yamashita, F. (...)Grossmann, M.V. Materials Science and Engineering C. 30(1):196-202
"Complete Stokes polarimeters based on liquid crystal displays" (2010) Peinado, A.;Lizana, A.;Vidal, J. (...)Campos, J. Optics and Photonics for Information Processing IV. 7797
"Periodic operation of trickle bed reactors: An approach to catalyst design through modeling at the particle scale" (2005) Ayude, M.A.; Cassanello, M.C.; Haure, P.M.; Martínez, O.M. Industrial and Engineering Chemistry Research. 44(25):9594-9600
"Duration properties over real time system designs" (2000) Braberman, V.; Pieniazek, F.; IEEE Computer Society Technical Committee on Software Engineering 10th International Workshop on Software Specification and Design, IWSSD 2000:51-61
"Static checking of system behaviors using derived component assumptions" (2000) Inverardi, P.; Wolf, A.L.; Yankelevich, D. ACM Transactions on Software Engineering and Methodology. 9(3):239-272
"Verification of real-time designs: Combining scheduling theory with automatic formal verification" (1999) Braberman, V.A.; Felder, M. 7th European Software Engineering Conference, ESEC 1999 - Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, FSE 1999. 1687 LNCS:494-510
"Optical design: Are skew rays necessary? How many of them to evaluate eighth-order coefficients?" (1993) Comastri, S.A.; Simon, J.M. Pure and Applied Optics: Journal of the European Optical Society Part A Pure and Applied Optics: Journal of the European Optical Society Part A. 2(6):607-614