1636 search results - page 42 / 328 » InfoPad - An Experiment in System Level Design and Integrati... |
DAC
2002
ACM
16 years 23 days ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
ACMACE
2005
ACM
15 years 5 months ago
2005
ACM
FreeWill+ is a framework that aims at integrating various animation techniques for controlling human-like characters. With heterogeneity and multi-layering as its main design prin...
IFIP12
2004
15 years 1 months ago
2004
: The experience from years of development and use, the advance of technology, and the development of authoring tools for questions and tests has resulted in a sophisticated, compu...
129
click to vote
TVLSI
2010
14 years 6 months ago
2010
Program code in a computer system can be altered either by malicious security attacks or by various faults in microprocessors. At the instruction level, all code modifications are ...
IEEECIT
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper proposes a method of model-driven HW/SW co-design in embedded system design and discusses the key technology of model mapping, automatic generating codes and performanc...