Titlebook: Software Technology: Methods and Tools; 51st International C Manuel Mazzara,Jean-Michel Bruel,Alexander Petrenk Conference proceedings 2019

Disk199

cinder

Towards Static Verification of Clojure Contract-Based Programss enables users to formally prove Clojure programs enriched with pre- and post-conditions. This paper shows the translation rules, its implementation and discusses some of the challenges faced due to differences between the source and the target languages.

corpuscle

漂浮

Missile

Spontaneous Emotion Recognition in Response to Videos by 3D convolutions in our C3D networks architecture. In order to study the contribution of microexpressions to emotion recognition we are augmenting videos in two ways: reducing to 1 fps, thus losing a significant amount of temporal information, reducing to 10 fps, thus preserving most of the muscle movement information.

新娘

Interpretizer: A Compiler-Independent Conversion of Switch-Based Dispatch into Threaded Codes switch-based dispatch loops into efficient threaded code. Therefore, Interpretizer reverts to the virtual machine designers flexibility of choice of programming language and compiler while it preserves the efficiency of the produced interpreter.

座右铭

是限制

ELATE

Complex Systems: On Design and Architecture of Adaptable Dashboardsequires little to no maintenance while performing better than a manually-built and maintained dashboard. Nevertheless, such a system would have a broader set of additional requirements that will be discussed later. This paper presents the design and the architecture of types of adaptable dashboards that address the above-mentioned concerns.

前奏曲