349 search results - page 19 / 70 » Digital Systems Architectures Based on On-line Checkers |
EH
2005
IEEE
14 years 1 months ago
2005
IEEE
The structure and operation of multi-cellular organisms relies, among other things, on the specialization of the cells’ physical structure to a finite set of specific operatio...
ERCIMDL
2001
Springer
14 years 8 days ago
2001
Springer
Federated digital libraries are composed of distributed, autonomous, and often heterogeneous information services but provide users with a transparent, integrated view of collected...
DAC
2002
ACM
14 years 8 months 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...
EUROMICRO
2003
IEEE
14 years 1 months ago
2003
IEEE
We present a practical approach to the design of a Web system for 3D and volumetric data interrogation and visualization. This Web application provides different functionalities i...
DSD
2006
IEEE
14 years 1 months ago
2006
IEEE
The rising complexity, customization and short time to market of modern digital systems requires automatic methods for generation of high performance architectures for such system...