894 search results - page 101 / 179 » Optimizations for LTL Synthesis |
173
Voted
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
In networked control systems the controller of a physicallydistributed plant is implemented as a collection of tightlyinteracting, concurrent processes running on a distributed ex...
133
click to vote
CODES
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper proposes a new efficient buffer management technique called shift buffering for automatic code synthesis from synchronous dataflow graphs (SDF). Two previous buffer man...
160
click to vote
MICRO
2005
IEEE
15 years 9 months ago
2005
IEEE
Scheduling algorithms used in compilers traditionally focus on goals such as reducing schedule length and register pressure or producing compact code. In the context of a hardware...
121
click to vote
GLVLSI
2003
IEEE
15 years 9 months ago
2003
IEEE
Concerned by the wall that Moore’s Law is expected to hit in the next decade, the integrated circuit community is turning to emerging nanotechnologies for continued device impro...
180
click to vote
RTSS
1998
IEEE
15 years 8 months ago
1998
IEEE
The energy efficiency of systems-on-a-chip can be much improved if one were to vary the supply voltage dynamically at run time. In this paper we describe the synthesis of systems-...