Event date: 2012-03-31 W dniach od 31 marca do 1 kwietnia 2012 r. w Tallinie, Estonia, odbędą się "Dziesiąte warsztaty nt. ilościowych aspektów języków programowania". Aspekty ilościowe w informatyce wiążą się z kwestiami ilości fizycznych (jak przestrzeń przechowywania, czas czy szerokość pasma) oraz ilości matematycznych (np. prawdopodobieństwo i miara wiarygodności, bezpieczeństwo i zaufanie). Te ilościowe wartości odgrywają główną rolę zarówno w definiowaniu architektury i projektowaniu języka oraz semantyki systemu, jak i w metodologiach i narzędziach analizy oraz weryfikacji właściwości systemu. Warsztaty będą forum do przedyskutowania problematyki wykorzystywania informacji ilościowych, tak bezpośrednio w modelu, jak i w roli narzędzia do analizowania systemów. Poruszane będą następujące tematy: - projektowanie probabilistycznych języków kwantowych funkcjonujących w czasie rzeczywistym oraz definiowanie modeli semantycznych dla tych języków; - metodologie analizowania właściwości probabilistycznych, czasowych i innych wymiernych cech oraz wykorzystania zasobów; - probabilistyczna analiza systemów, które nie posiadają eksplicytnych aspektów ilościowych; - zastosowania w systemach krytycznych z punktu widzenia bezpieczeństwa, protokołach komunikacyjnych, systemach sterowania, układach asynchronicznych, sprzęcie oraz innych domenach obejmujących problemy ilościowe.
Quality validation date: 2011-11-07
Dziesiąte warsztaty nt. ilościowych aspektów języków programowania, Tallin, Estonia
