نتایج جستجو برای: level process
تعداد نتایج: 2237399 فیلتر نتایج به سال:
This paper presents a new high-level synthesis methodology to generate optimized implementations for multi-process behavioral descriptions. The concurrent communicating processes specification paradigm is widely used in digital circuit and system design, and is employed in all popular hardware description languages. It has been shown that inter-process communication and synchronization can resu...
according to two steps: the first is performed by the pi-Diapason virtual machine that allows the extraction of all possible execution traces, while the second is done by the analyser, which allows properties expressed using logicDiapason to be checked over all the previously extracted traces. In addition to this formal verification, the animator lets us simulate one or more of the SOA’s execut...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید