45 search results - page 2 / 9 » Distributed Synthesis for Alternating-Time Logics |
119
Voted
ICCAD
2002
IEEE
16 years 13 days ago
2002
IEEE
Abstract— With the increasing cost of global communication onchip, high-performance designs for data-intensive applications require architectures that distribute hardware resourc...
127
Voted
ICCAD
2006
IEEE
16 years 13 days ago
2006
IEEE
Behavior synthesis and optimization beyond the register transfer level require an efficient utilization of the underlying platform features. This paper presents a platform-based ...
179
Voted
DATE
1999
IEEE
15 years 7 months ago
1999
IEEE
Dynamically reconfigurable embedded systems offer potential for higher performance as well as adaptability to changing system requirements at low cost. Such systems employ run-tim...
146
Voted
EUROMICRO
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper addresses the problem of component selection, task assignment and task scheduling for distributed embedded computer systems. Such systems have a large number of constra...
194
Voted
BANFF
1995
15 years 7 months ago
1995
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs ...