Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

فلترة النتائج

Collection : Pumalab (Isti Cnr - Consiglio Nazionale Delle Ricerche / National Research Council) فلترة بواسطة : موضوع

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Report

A collection of models of a bike-sharing case study

Authors : Ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania

Subjects: Bike-sharing systems; Tool chain; Variability analysis

Source: QUANTICOL TR-QC-07-2014. Technical report, 2014.

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

اقرأ أكثر حفظ في قائمتي

Report

Model checking value-passing modal specifications

Authors : Ter Beek, Maurice H.; Gnesi, Stefania; Mazzanti, Franco

Subjects: Product Families; Variability; Model Checking

Source: TR-QC-03-2013. Technical report, 2013.

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

اقرأ أكثر حفظ في قائمتي

Report

Notes on non-Markovian Extension of Value Passing CCS

Authors : Latella, Diego; Loreti, Michele; Massink, Mieke

Subjects: Stochastic Process aAlgebra; Value Passing CCS; PH-Distributions

Source: Technical report, 2008.

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

اقرأ أكثر حفظ في قائمتي

Report

Notes on Markovian Extension of a Dialect of Value Passing CCS

Authors : Latella, Diego; Loreti, Michele; Massink, Mieke

Subjects: Stochastic Process Algebra; Value Passing CCS; info:eu-repo/classification/acm/H.1 Models and Principles

Source: Technical report, 2008.

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

اقرأ أكثر حفظ في قائمتي

Review

Editorial activity - PVM/MPI 2003

Authors : Dongarra, Jack; Laforenza, Domenico; Orlando, Salvatore ...

Subjects: Message passing interface; Parallel virtual machine; Cluster computing

Source: In: Lecture Notes in Computer Science. Editorial, vol. 2840 pp. v - vi. Recent Advances in Parallel Virtual Machine and Message Passing Interface. 10th European PVM/MPI

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

اقرأ أكثر حفظ في قائمتي