Hardware (111 Artikel)

This year, we received about 170 submissions to ICWL 2008. There were a total of 52 full papers, representing an acceptance rate of about 30%, plus one invited paper accepted for inclusion in this ...

The 10 full papers presented were carefully reviewed and selected from 35 submissions. The papers are organized in topical sections on Design and Development; Second Screen and Crossmedia; Interact...

This book constitutes the refereed proceedings of the 13th International Symposium on Applied Reconfigurable Computing, ARC 2017, held in Delft, The Netherlands, in April 2017. The 17 full papers a...

This book constitutes the proceedings of the International Conference on Cognitive Computing, ICCC 2020, held as part of SCF 2020 in Honolulu, HI, USA, in September 2020. The conference was held vi...

Invited Paper.- The Ten Most Powerful Principles for Quality in (Software and) Software Organizations for Dependable Systems.- Verification and Validation.- Empirical Assessment of Software On-Line...

Efficient Control of Selective Simulations.- Game-Tree Search with Adaptation in Stochastic Imperfect-Information Games.- Rediscovering *-Minimax Search.- *-Minimax Performance in Backgammon.- Asso...

It is now more than fifty years since the first paper on formal specifications of an information system was published by Young and Kent. Even if the term "conceptual model" was not used at that tim...

This book constitutes the proceedings of the 28th International Tyrrhenian Workshop on Digital Communication, TIWDC 2017, which took place in Palermo, Italy, in September 2017. The 18 papers presen...

Concepts, Design, Implementation

This book constitutes the refereed proceedings of the First HPCLATAM - CLCAR Joint Latin American High Performance Computing Conference, CARLA 2014, held in Valparaiso, Chile, in October 2014. The ...

5th Latin American Conference, CARLA 2018, Bucaramanga, Colombia, September 26-28, 2018, Revised Selected Papers

This book constitutes selected revised and extended papers from the 10th International Conference on High-Performance Computing Systems and Technologies in Scientific Research, Automation of Contro...

This book constitutes refereed proceedings of the 10th Ecuadorian Conference on Information and Communication Technologies, TICEC 2022, held in Manta, Ecuador, in October 2022. The 20 full papers w...

Interrupt Handling Schemes in Operating Systems

Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of techniques for hardware verificati...