EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World: IFIP International Workshop on Networked Applications, Colmenarejo, ... in Information and Communication Technology)

By David Larrabeiti, Andres Marin, IFIP International Workshop On Networked Applications 2005 Colmenarejo Spain, Carlos Delgado Kloos

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 inc...

Formal Semantics for VHDL

By Carlos Delgado Kloos

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 yea...

Formal Semantics for VHDL

By Carlos Delgado Kloos

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 yea...

EduTech Computer Aided Design Meets Computer Aided Learning

By Carlos Delgado Kloos

Hardware Description Languages and their Applications

By Carlos Delgado Kloos

EUNICE 2005 Networks and Applications Towards a Ubiquitously Connected World

By David Larrabeiti, Andres Marin, Carlos Delgado Kloos

Digital Education At the MOOC Crossroads Where the Interests of Academia and Business Converge

By Justin Reich, Mauro Calise, Martin Wirsing, Jose A. Ruiperez Valiente, Carlos Delgado Kloos

Digital Education Out to the World and Back to the Campus

By Daniel T. Seaton, Patrick Jermann, Su White, Mar Perez Sanagustin, Carlos Delgado Kloos

Practical Formal Methods for Hardware Design

By Carlos Delgado Kloos

Formal methods for hardware design still find limited use in industry. Yet current practice has to change to cope with decreasing design times and increasing quality requirements. This research rep...

Hardware Description Languages and Their Applications

By Eduard Cerny, Carlos Delgado Kloos