1678 search results - page 62 / 336 » An ASM Specification of C |
ISCAS
2003
IEEE
14 years 28 days ago
2003
IEEE
SystemC will become more and more important for the design of digital circuits from the specification down to the RT-Level. Complex systems often contain analog components. This p...
KBSE
1998
IEEE
13 years 12 months ago
1998
IEEE
Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components ind...
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
A real-timehigh-performanceand fault-tolerantFPGA-based hardware architecture for the processing of synthetic apertureradar (SAR) images has been developed for advanced spaceborner...
MOC
2002
13 years 7 months ago
2002
In a series of papers, B. C. Carlson produced tables of elliptic integrals, evaluating them in terms of easily computed symmetrical functions, using a group of multivariate recurre...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
Collaborative, visual design tools are typically difficult to build and evolve. We describe a meta tool for specification and generation of multiple view, multiple user visual desi...