نتائج البحث

Static performance guarantees for programs with Run-time Checks

• Authors : Klemen, Maximiliano; Stulova, Nataliia; López García, Pedro

Subjects: Informática

• Source: PPDP '18 Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming | 20th International Symposium on Principles and Practice of Declarative Programming

تفاصيل العنوان

Towards static performance guarantees for programs with run-time checks

• Authors : Klemen, Maximiliano; Stulova, Nataliia; López García, Pedro

Subjects: Informática

• Source: OpenAccess Series in Informatics | 34th International Conference on Logic Programming | 14-17 Jul 2018 | Oxford

تفاصيل العنوان

An approach to static performance guarantees for programs with Run-time Checks

• Authors : Klemen, Maximiliano; Stulova, Nataliia; López García, Pedro

Subjects: Informática

تفاصيل العنوان

An approach to static performance guarantees for pograms with run-time checks

• Authors : Klemen, Maximiliano; Stulova, Nataliia; López García, Pedro

Subjects: Informática

تفاصيل العنوان

PEPSI: Privacy-Enhanced Participatory Sensing Infrastructure.

• Authors : Cristofaro, Emiliano de; Soriente, Claudio

Subjects: Telecomunicaciones; Informática

• Source: Proceedings of the Fourth ACM Conference on Wireless Network Security ACM, WiSec '11 | The Fourth ACM Conference on Wireless Network Security ACM, WiSec '11 | 14/06/2011 - 17/06/2012 | Hamburgo,

تفاصيل العنوان

A Multilayer Network Approach for the Bimodal Bus–Pedestrian Line Planning Problem

• Authors : Canca, David; Navarro Carmona, Belén; Villa, Gabriel

Subjects: Ingeniería Industrial; Matemáticas

• Source: Mathematics, ISSN 2227-7390, 2023-10-06, Vol. 11, No. 19

تفاصيل العنوان

Design and assembly of an affordable amateur rocket engine test bench using linear guides to reduce energy lost to structural deformation

• Authors : Arenas Gonzalez, Gabriel; Jong Cantariño, Nicolás de; Serradilla Gil, Carlos

Subjects: Aeronáutica; Electrónica; Materiales

• Source: Proceedings 4th Symposium on Space Educational Activities | 4th Symposium on Space Educational Activities | April 27th, 28th, 29th 2022 | Barcelona, Spain

تفاصيل العنوان

A Simple Sequential Stopping Rule for Monte Carlo Simulation

• Authors : Mendo Tomás, Luis; Hernando Rábanos, José María

Subjects: Telecomunicaciones; Matemáticas

• Source: IEEE Transactions on Communications, ISSN 0090-6778, 2006-02, Vol. 54, No. 2

تفاصيل العنوان

Incremental and modular context-sensitive analysis

• Authors : García Contreras, Isabel; Morales, José F.; Hermenegildo, Manuel V.

Subjects: Informática

• Source: HCVS 2021 : Horn Clauses for Verification and Synthesis | 8th Workshop on Horn Clauses for Verification and Synthesis (HCVS) | 28 Mar 2021 | Luxemburgo

تفاصيل العنوان

Waste and work management with exposure to asbestos = Gestión de residuos y trabajos con exposición a amianto

• Authors : Romero Barriuso, Álvaro; Villena Escribano, Blasa María; González García, María de las Nieves

Subjects: Ingeniería Civil y de la Construcción

• Source: Proceedings | 2º Congreso Internacional de Gestión en Edificación (BIMIC 2019) | 8-10 May 2019 | Madrid, España

تفاصيل العنوان