142 search results - page 18 / 29 » Abstraction-guided synthesis of synchronization |
GLVLSI
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper we propose a hardware real time operating system (HW-RTOS) solution that makes use of a dedicated hardware in order to replace the standard support provided by the P...
ASYNC
2000
IEEE
14 years 1 months ago
2000
IEEE
New design technologies rely on truly reusable IP blocks with simple means of assembly. Asynchronous methodologies could be a promising option to implement these requirements. Pro...
ICMCS
2007
IEEE
14 years 25 days ago
2007
IEEE
Geometry-controlled image warping performs well in exhibiting shape variations but bad in exhibiting wrinkle such as fossette. Successfully applied in expression cloning, Expressi...
ATVA
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
SAC
2006
ACM
14 years 2 months ago
2006
ACM
Esterel is a concurrent synchronous language for developing reactive systems. As an alternative to the classical software and hardware synthesis paths, the reactive processing app...