Sciweavers

7 search results - page 2 / 2
» sbcci 2004
Sort
View
SBCCI
2004
ACM
127views VLSI» more  SBCCI 2004»
13 years 11 months ago
A formal software synthesis approach for embedded hard real-time systems
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
Raimundo S. Barreto, Marília Neves, Meuse N...
SBCCI
2004
ACM
111views VLSI» more  SBCCI 2004»
13 years 11 months ago
A partial reconfigurable architecture for controllers based on Petri nets
Digital Control System in the industry has been used in most of the applications based on expensive Programmable Logical Controllers (PLC). These Systems are, in general, highly c...
Paulo Sérgio B. do Nascimento, Paulo Romero...