Search Results

There are 10233 results for: content related to: Resource partitioning for Integrated Modular Avionics: comparative study of implementation alternatives

  1. A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties

    Software: Practice and Experience

    Volume 46, Issue 4, April 2016, Pages: 493–511, Gianpiero Cabodi, Paolo Camurati and Stefano Quer

    Version of Record online : 11 MAR 2015, DOI: 10.1002/spe.2321

  2. Memory leak detection in Plumbr

    Software: Practice and Experience

    Volume 45, Issue 10, October 2015, Pages: 1307–1330, Vladimir Šor, Satish Narayana Srirama and Nikita Salnikov-Tarnovski

    Version of Record online : 3 JUN 2014, DOI: 10.1002/spe.2275

  3. A modeling methodology to facilitate safety-oriented architecture design of industrial avionics software

    Software: Practice and Experience

    Volume 45, Issue 7, July 2015, Pages: 893–924, Ji Wu, Tao Yue, Shaukat Ali and Huihui Zhang

    Version of Record online : 2 JUL 2014, DOI: 10.1002/spe.2281


    International Economic Review

    Volume 47, Issue 3, August 2006, Pages: 895–936, Gerard J. Van Den Berg and Bas Van Der Klaauw

    Version of Record online : 27 JUL 2006, DOI: 10.1111/j.1468-2354.2006.00399.x

  5. Planning of Truncated Sequential Binomial Test via Relative Efficiency

    Quality and Reliability Engineering International

    Volume 29, Issue 3, April 2013, Pages: 369–383, Yefim Haim Michlin and Ofer Shaham

    Version of Record online : 28 FEB 2012, DOI: 10.1002/qre.1387

  6. You have full text access to this Open Access content
    Low complexity estimation of carrier and sampling frequency offsets in burst-mode OFDM systems

    Wireless Communications and Mobile Computing

    Volume 16, Issue 9, 25 June 2016, Pages: 1018–1034, Yonathan Murin and Ron Dabora

    Version of Record online : 3 MAR 2015, DOI: 10.1002/wcm.2582

  7. A component model for hard real-time systems: CCM with ARINC-653

    Software: Practice and Experience

    Volume 41, Issue 12, November/December 2011, Pages: 1517–1550, Abhishek Dubey, Gabor Karsai and Nagabhushan Mahadevan

    Version of Record online : 15 JUN 2011, DOI: 10.1002/spe.1083

  8. Autogenerating microsecond solvers for nonlinear MPC: A tutorial using ACADO integrators

    Optimal Control Applications and Methods

    Volume 36, Issue 5, September/October 2015, Pages: 685–704, R. Quirynen, M. Vukov, M. Zanon and M. Diehl

    Version of Record online : 26 NOV 2014, DOI: 10.1002/oca.2152

  9. You have free access to this content
    Impact of cirrus crystal shape on solar spectral irradiance: A case study for subtropical cirrus

    Journal of Geophysical Research: Atmospheres (1984–2012)

    Volume 110, Issue D3, 16 February 2005, Manfred Wendisch, Peter Pilewskie, John Pommier, Steve Howard, Ping Yang, Andrew J. Heymsfield, Carl G. Schmitt, Darrel Baumgardner and Bernhard Mayer

    Version of Record online : 4 FEB 2005, DOI: 10.1029/2004JD005294


    The Manchester School

    Volume 79, Issue 1, January 2011, Pages: 100–124, SUBHADIP CHAKRABARTI and HANS HALLER

    Version of Record online : 16 DEC 2010, DOI: 10.1111/j.1467-9957.2010.02187.x

  11. You have free access to this content
    Investigating the origins of the Jovian decimetric emission's variability

    Journal of Geophysical Research: Space Physics (1978–2012)

    Volume 113, Issue A1, January 2008, D. Santos-Costa, S. J. Bolton, R. M. Thorne, Y. Miyoshi and S. M. Levin

    Version of Record online : 10 JAN 2008, DOI: 10.1029/2007JA012396

  12. Equilibria in an infinite horizon game with an incumbent, entry and switching costs

    International Journal of Economic Theory

    Volume 7, Issue 1, March 2011, Pages: 65–75, Gary Biglaiser and Jacques Crémer

    Version of Record online : 15 FEB 2011, DOI: 10.1111/j.1742-7363.2010.00150.x

  13. Modeling Big data-based systems through ontological trading

    Software: Practice and Experience

    Volume 47, Issue 11, November 2017, Pages: 1561–1596, Luis Iribarne, José-Andrés Asensio, Nicolás Padilla and Javier Criado

    Version of Record online : 20 MAR 2017, DOI: 10.1002/spe.2488

  14. A dependency-aware ontology-based approach for deploying service level agreement monitoring services in Cloud

    Software: Practice and Experience

    Volume 42, Issue 4, April 2012, Pages: 501–518, Amir Vahid Dastjerdi, Sayed Gholam Hassan Tabatabaei and Rajkumar Buyya

    Version of Record online : 27 JUL 2011, DOI: 10.1002/spe.1104

  15. A JAVA application framework for scientific software development

    Software: Practice and Experience

    Volume 42, Issue 8, August 2012, Pages: 1015–1036, F. Fdez-Riverola, D. Glez-Peña, H. López-Fernández, M. Reboiro-Jato and J.R. Méndez

    Version of Record online : 26 AUG 2011, DOI: 10.1002/spe.1108

  16. PBlaman: performance blame analysis based on Palladio contracts

    Concurrency and Computation: Practice and Experience

    Volume 26, Issue 12, 25 August 2014, Pages: 1975–2004, Frank Brüseke, Henning Wachsmuth, Gregor Engels and Steffen Becker

    Version of Record online : 25 FEB 2014, DOI: 10.1002/cpe.3226

  17. An Overview of ELECTRE Methods and their Recent Extensions

    Journal of Multi-Criteria Decision Analysis

    Volume 20, Issue 1-2, January-April 2013, Pages: 61–85, José Rui Figueira, Salvatore Greco, Bernard Roy and Roman Słowiński

    Version of Record online : 27 DEC 2012, DOI: 10.1002/mcda.1482

  18. Pleural mesothelioma: forecasts of the death toll in the area of Casale Monferrato, Italy

    Statistics in Medicine

    Volume 31, Issue 29, 20 December 2012, Pages: 4114–4134, Claudia Furlan and Cinzia Mortarino

    Version of Record online : 25 JUL 2012, DOI: 10.1002/sim.5523

  19. Cross-layer resource control and scheduling for improving interactivity in Android

    Software: Practice and Experience

    Volume 45, Issue 11, November 2015, Pages: 1549–1570, Sungju Huh, Jonghun Yoo and Seongsoo Hong

    Version of Record online : 11 AUG 2014, DOI: 10.1002/spe.2285

  20. Bayesian Non-Parametric Estimation of Smooth Hazard Rates for Seismic Hazard Assessment

    Scandinavian Journal of Statistics

    Volume 35, Issue 3, September 2008, Pages: 524–539, LUCA LA ROCCA

    Version of Record online : 1 APR 2008, DOI: 10.1111/j.1467-9469.2008.00595.x