The Community for Technology Leaders
2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems (DCPS) (2016)
Vienna, Austria
April 12, 2016 to April 12, 2016
ISBN: 978-1-5090-1151-3
TABLE OF CONTENTS

P-FRP task scheduling: A survey (Abstract)

Xingliang Zou , Department of Computer Science University of Houston Houston, TX, 77004, USA
Albert M.K. Cheng , Department of Computer Science University of Houston Houston, TX, 77004, USA
Yu Jiang , School of Computer Science and Technology Heilongjiang University Harbin, Heilongjiang, 150080, China
pp. 1-8

Real-time capabilities in functional languages (Abstract)

Jeffrey C Murphy , University at Buffalo
Bhargav Shivkumar , University at Buffalo
Lukasz Ziarek , University at Buffalo
pp. 1-10

Architecture for logic programing with arrangements of finite-state machines (Abstract)

Vladimir Estivill-Castro , School of ICT Griffith University Nathan Campus, 4111, Australia
Rene Hexel , School of ICT Griffith University Nathan Campus, 4111, Australia
Alberto Ramırez Regalado , DTIC Universitat Pompeu Fabra Barcelona, 08018, Spain
pp. 1-8

Dependability assessment of networked embedded software systems (Abstract)

Kaliappa Ravindran , Department of Computer Science The City University of New York, New York, NY 10019
pp. 1-7
74 ms
(Ver 3.3 (11022016))