1329 search results - page 96 / 266 » Constraint-based model synthesis |
113
click to vote
FASE
2009
Springer
15 years 11 months ago
2009
Springer
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
128
click to vote
FPGA
2009
ACM
15 years 11 months ago
2009
ACM
In recent years, the maximum logic capacity of each successive FPGA family has been increasing by more than 50%, which motivates scalable solutions. Meanwhile, academic research i...
131
click to vote
ICNC
2009
Springer
15 years 11 months ago
2009
Springer
—With the aim to minimize boarding time and devise procedures for boarding strategies, this paper develop the synthesis of Improved Genetic Algorithms and simulation. This paper ...
128
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
Improving testability during the early stages of High-Level Synthesis (HLS) has several benefits, including reduced test hardware overhead, reduced test costs, reduced design iter...
130
click to vote
ESOP
2003
Springer
15 years 9 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...