نتایج جستجو برای: orbital machines
تعداد نتایج: 100248 فیلتر نتایج به سال:
orbital lynphangioma is a low-flow or no-flow vascular malformation. it is a congenital and isolated hemodynamic lesion in which the clinical presentation and onset are related to orbital, peri-orbital or intracranial involvement. in addition, history of previous trauma and upper respiratory tract infection are important predictor factors. high resolution mri, doppler ultrasound and ct-scan are...
The paper presents our efforts in defining UASM, a unified syntax for Abstract State Machines (ASMs), based on the syntaxes of two of the main ASM frameworks, CoreASM and ASMETA, which have been adapted to accept UASM as input syntax of all their validation and
• Durch die starke Vernetzung ehemals unabhängiger Funktionen ergeben sich ungewollte Interaktionen und Seiteneffekte durch Nebenläufigkeit. Als Beispiel sei hier die Zentralverriegelung genannt, die neben der reinen Funktionalität des Verund Aufschließens mit Komfortfunktionen zum Einstellen von Sitz, Spiegeln und Radiosendern in Abhängigkeit vom verwendeten Schlüssel, mit Sicherheitsfunktione...
Article history: Received 20 February 2013 Received in revised form 11 October 2013 Accepted 5 February 2014 Available online xxxx
State Machines at the Cusp of the Millenium
During the attempts to build an Abstract State Machine (ASM) model for the semantics of C# programs, we tried to directly and faithfully reflect the intuitions and design decisions which are expressed in the C# Language Specification. This work and the comparison between the corresponding ASM models for C# and Java brought to light a few gaps and mistakes in the C# reference manual, inconsisten...
We apply the ASM semantics framework to define the await construct in the context of concurrent ASMs. We link CAL programs to concurrent control state ASMs with turbo ASM submachines.
State Machines for the Classroom – The Basics –
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید