373 search results - page 28 / 75 » Synthesis of Trigger Properties |
136
Voted
DATE
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper, we present a system synthesis algorithm, called MOCSYN, which partitions and schedules embedded system specifications to intellectual property cores in an integrate...
117
Voted
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
131
Voted
FMSD
2006
15 years 3 months ago
2006
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...
111
Voted
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
112
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
Recently, the conventional lifting scheme that is widely used for the construction of Wavelets and 2-channel filter banks has been extended to M-channel filter banks (M > 2)....