50 search results - page 9 / 10 » Component-Based Abstraction Refinement for Timed Controller ... |
142
Voted
MAM
2006
15 years 5 months ago
2006
This paper presents a new design methodology able to bridge the gap between an abstract specification and a heterogeneous recone architecture. The EPICURE contribution is the resu...
148
click to vote
CODES
1999
IEEE
15 years 9 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
167
Voted
RSP
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— John von Neumann proposed his famous architecture in a context where hardware was very expensive and bulky. His goal was to maximize functionality with minimal hardware...
157
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Attenuation of sinusoidal disturbances with uncertain and arbitrarily time-varying frequencies is considered in the form of a generalized asymptotic regulation problem....
154
Voted
FSTTCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...