Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Roni Rosner"'
Publikováno v:
PLoS ONE, Vol 10, Iss 5, p e0127339 (2015)
Developmental processes in cells require a series of complex steps. Often only a single master regulator activates genes in these different steps. This poses several challenges: some targets need to be ordered temporally, while co-functional targets
Externí odkaz:
https://doaj.org/article/282cfcc9e1114cd6b1125323a7ff690c
Publikováno v:
EMBO reports. 16(3)
Reprogramming to pluripotency is a low-efficiency process at the population level. Despite notable advances to molecularly characterize key steps, several fundamental aspects remain poorly understood, including when the potential to reprogram is firs
Publikováno v:
PLoS ONE, Vol 10, Iss 5, p e0127339 (2015)
PLoS ONE
PLoS ONE
Developmental processes in cells require a series of complex steps. Often only a single master regulator activates genes in these different steps. This poses several challenges: some targets need to be ordered temporally, while co-functional targets
Autor:
Mauricio Breternitz, Cheng Wang, Wei Liu, Youfeng Wu, Esfir Natanzon, Roni Rosner, Shiliang Hu, Edson Borin, Shai Rotem
Publikováno v:
CGO
Dynamic binary translation is a key component of Hardware/Software (HW/SW) co-design, which is an enabling technology for processor microarchitecture innovation. There are two well-known dynamic binary optimization techniques based on atomic executio
Publikováno v:
Power-Aware Computer Systems ISBN: 9783540240310
PACS
PACS
We present the PARROT concept aimed at both higher performance and power-awareness. The PARROT microarchitectural framework integrates trace caching, dynamic optimizations and pipeline decoupling. We employ a gradual and selective approach for applyi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d83059b8d1af704f11d1f61ca91385db
https://doi.org/10.1007/978-3-540-28641-7_14
https://doi.org/10.1007/978-3-540-28641-7_14
Publikováno v:
ISCA
We present the PARROT concept that seeks to achievehigher performance with reduced energy consumptionthrough gradual optimization of frequently executed codetraces. The PARROT microarchitectural framework integratestrace caching, dynamic optimization
Publikováno v:
ICS
This paper performs a comprehensive investigation of dynamic selection for long atomic traces. It introduces a classification of trace selection methods and discusses existing and novel dynamic selection approaches - including loop unrolling, procedu
Publikováno v:
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
For pt.II by T. Hirst and D. Harel see Proc. 15th Coll. Trees in Algebra and programming. Lec. Notes in Comp. Sci., Springer (1990). The difficulty of reasoning about programs is addressed. Specifically, the question of whether the additional succinc
Autor:
Amir Pnueli, Roni Rosner
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540504030
Concurrency
Concurrency
We consider the synthesis of a reactive module with input x and output y, which is specified by the linear temporal formula ϕ(x, y). We show that there exists a program satisfying ϕ iff the branching time formula (∀x)(∃y)Aϕ(x, y) is valid over
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e5a1626e7c948452c9a9dc155d3b3afd
https://doi.org/10.1007/3-540-50403-6_28
https://doi.org/10.1007/3-540-50403-6_28
Autor:
Roni Rosner, Amir Pnueli
Publikováno v:
Automata, Languages and Programming ISBN: 9783540513711
ICALP
ICALP
We consider the synthesis of a reactive asynchronous module which communicates with its environment via the shared input variable x and the shared output variable y, assuming that the module is specified by the linear temporal formula ϕ(x,y). We der
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::13076312d4f4efef8d258f2ac0f6d094
https://doi.org/10.1007/bfb0035790
https://doi.org/10.1007/bfb0035790