نتایج جستجو برای: molecular machines
تعداد نتایج: 692961 فیلتر نتایج به سال:
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...
Nature has developed striking light-powered proteins such as bacteriorhodopsin, which can convert light energy into conformational changes for biological functions. Such natural machines are a great source of inspiration for creation of their synthetic analogues. However, synthetic molecular machines typically operate at the nanometre scale or below. Translating controlled operation of individu...
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 –
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید