795 search results - page 49 / 159 » A Formal Approach to Heterogeneous Software Modeling |
105
click to vote
VLSID
2003
IEEE
16 years 26 days ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
126
Voted
CODES
2009
IEEE
15 years 4 months ago
2009
IEEE
Field Programmable Gate Arrays (FPGAs) have long held the promise of allowing designers to create systems with performance levels close to custom circuits but with a softwarelike ...
120
Voted
ICFEM
1998
Springer
15 years 4 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
105
Voted
BTW
2009
Springer
15 years 7 months ago
2009
Springer
: Many model management tasks, e.g., schema matching or merging, require the manual handling of metadata. Given the diversity of metadata, its many different representations and mo...
123
click to vote
FUIN
2006
15 years 15 days ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...