8 Ergebnisse.

EduTech: Computer-Aided Design Meets Computer-Aided LearningEdited by Carlos Delgado Kloos and Abelardo Pardo Computation and communication technologies underpin work and development in many different areas. Among them, Computer-Aided Design of electronic systems and eLearning technologies are two areas which, though different, in fact share many concerns. The design of CAD and eLearning systems already touches on a number of parallels, such a...

This book constitutes the refereed proceedings of the 6th European Conference on Technology Enhanced Learning, EC-TEL 2011, held in Palermo, Italy, in September 2010. The 30 revised full papers presented were carefully reviewed and selected from 158 submissions. The book also includes 12 short papers, 8 poster papers, and 2 invited paper. There are many interesting papers on topics such as web 2.0 and social media, recommender systems, learni...

International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication.  The scope of the series includes: foundations of computer science, software theory and practice, education, computer applications in technology, communication systems, systems modeling and optimization, information systems, computers and society, computer systems technology, ...

International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication.  The scope of the series includes: foundations of computer science, software theory and practice, education, computer applications in technology, communication systems, systems modeling and optimization, information systems, computers and society, computer systems technology, ...

EduTech: Computer-Aided Design Meets Computer-Aided LearningEdited by Carlos Delgado Kloos and Abelardo Pardo Computation and communication technologies underpin work and development in many different areas. Among them, Computer-Aided Design of electronic systems and eLearning technologies are two areas which, though different, in fact share many concerns. The design of CAD and eLearning systems already touches on a number of parallels, such a...

The stream language.- Procedural level agents.- Register transfer level agents.- Gate level agents.- Switch level agents.- Conclusion.

It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs. The field has evolved enormously during the last few years, resulting in the fact that formal design and verification methods are nowadays supported by several tools, both commercial and academic. If different tools and users are to generate and read the same language then it is necessary that the same ...

In the past few decades Computer Hardware Description Languages (CHDLs) have been a rapidly expanding subject area due to a number of factors, including the advancing complexity of digital electronics, the increasing prevalence of generic and programmable components of software-hardware and the migration of VLSI design to high level synthesis based on HDLs. Currently the subject has reached the consolidation phase in which languages and standa...