991 search results - page 26 / 199 » MetaCore: An Application Specific DSP Development System |
137
click to vote
SIGSOFT
1996
ACM
15 years 8 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
148
click to vote
ECBS
1999
IEEE
15 years 8 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
153
Voted
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
A design flow for processor platforms with on-chip coarse-grain reconfigurable logic is presented. The reconfigurable logic is realized by a 2-Dimensional Array of Processing Elem...
141
click to vote
CSREAESA
2006
15 years 5 months ago
2006
Traditional simulation-based energy estimation is not practical because the simulation time has increased from minutes and hours and weeks. Therefore, simulation assisted by speci...
141
Voted
INFORMATICALT
2002
15 years 3 months ago
2002
The objective of expert systems is the use of Artificial Intelligence tools so as to solve problems within specific prefixed applications. Even when such systems are widely applied...