2607 search results - page 107 / 522 » Complete Functional Synthesis |
120
Voted
IJSYSC
2000
15 years 3 months ago
2000
This paper is concerned with the design of robust state feedback controllers for a class of uncertain time-delay systems. The uncertainty is assumed to satisfy a certain integral ...
109
Voted
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
: In this paper, we address the problem of synthesizing opaque systems. A secret predicate S over the runs of a system G is opaque to an external user having partial observability ...
133
click to vote
ICCAD
2003
IEEE
16 years 14 days ago
2003
IEEE
— Memory-intensive applications present unique challenges to an ASIC designer in terms of the choice of memory organization, memory size requirements, bandwidth and access latenc...
153
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
135
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
In the absence of a single module interface standard, integration of pre-designed modules in System-on-Chip design often requires the use of protocol converters. Existing approach...