Search - IFIP Open Digital Library Access content directly

Filter your results

62 results
Structure: Internal structure identifier : 302610
Page :
sorted by
Image document

Model Checking the Ant Colony Optimisation

 Lucio Mauro Duarte , Luciana Foss , Flávio Rech Wagner , Tales Heimfarth
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.221-232, ⟨10.1007/978-3-642-15234-4_22⟩
Conference papers hal-01054497v1
Image document

A UML Profile Oriented to the Requirements Modeling in Intelligent Tutoring Systems Projects

 Gilleanes Thorwald Araujo Guedes , Rosa Maria Vicari
Third IFIP TC12 International Conference on Artificial Intelligence (AI) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.133-142, ⟨10.1007/978-3-642-15286-3_13⟩
Conference papers hal-01054599v1
Image document

Use of Graph2Go in M-Learning: A View from the Pedagogical Model

 Silvia Batista , Patricia Behar , Liliana Passerino
IFIP TC 3 International Conference on Key Competencies in the Knowledge Society (KCKS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.12-22, ⟨10.1007/978-3-642-15378-5_2⟩
Conference papers hal-01054690v1
Image document

Recommendation of Learning Objects Applying Collaborative Filtering and Competencies

 Sílvio César Cazella , Eliseo Berni Reategui , Patrícia Behar
IFIP TC 3 International Conference on Key Competencies in the Knowledge Society (KCKS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.35-43, ⟨10.1007/978-3-642-15378-5_4⟩
Conference papers hal-01054676v1
Image document

In Search of the Affective Subject Interacting in the ROODA Virtual Learning Environment

 Magalí Teresinha Longhi , Patricia Alejandra Behar , Magda Bercht
IFIP TC 3 International Conference on Key Competencies in the Knowledge Society (KCKS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.234-245, ⟨10.1007/978-3-642-15378-5_23⟩
Conference papers hal-01054697v1
Image document

On the Performance of Grooming Strategies for Offloading IP Flows onto Lightpaths in Hybrid Networks

 Rudolf Biesbroek , Tiago Fioreze , Lisandro Zambenedetti Granville , Aiko Pras
16th EUNICE/IFIP WG 6.6 Workshop on Networked Services and Applications - Engineering, Control and Management (EUNICE), Jun 2010, Trondheim, Norway. pp.1-10, ⟨10.1007/978-3-642-13971-0_1⟩
Conference papers hal-01056496v1
Image document

Generating VHDL source code from UML models of embedded systems

 Tomas G. Moreira , Marco A. Wehrmeister , Carlos Eduardo Pereira , Jean-François Pétin , Eric Levrat
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.125-136, ⟨10.1007/978-3-642-15234-4_13⟩
Conference papers hal-00533288v1
Image document

Accounting Professor Competencies: Identification of Educational Elements in the Education Process of Accounting Professors in Distance Education

 Maria Ivanice Vendruscolo , Patricia Alejandra Behar
IFIP Conference on Information Technology in Educational Management (ITEM) and IFIP Conference on Key Competencies for Educating ICT Professionals (KCICTP), Jul 2014, Potsdam, Germany. pp.94-105, ⟨10.1007/978-3-662-45770-2_10⟩
Conference papers hal-01342689v1
Image document

Usability aspects of the inside-in approach for ancillary search tasks on the web

 Marco Winckler , Ricardo Cava , Eric Barboni , Philippe Palanque , Carla Freitas
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.211-230, ⟨10.1007/978-3-319-22668-2_18⟩
Conference papers hal-01343048v1
Image document

The Migration from Conventional Manufacturing Systems for Multi-Agent Paradigm: the First Step

 João Alvarez Peixoto , José Barata Oliveira , André Dionísio Rocha , Carlos Eduardo Pereira
6th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2015, Costa de Caparica, Portugal. pp.111-118, ⟨10.1007/978-3-319-16766-4_12⟩
Conference papers hal-01343472v1

VLSI-SoC: At the Crossroads of Emerging Trends

 Alex Orailoglu , H. Fatih Ugurdag , Luís Miguel Silveira , Martin Margala , Ricardo Reis
AICT-461, 2015, IFIP Advances in Information and Communication Technology, 978-3-319-23798-5. ⟨10.1007/978-3-319-23799-2⟩
Books hal-01380310v1

VLSI-SoC: Internet of Things Foundations

 Luc Claesen , Maria-Teresa Sanz-Pascual , Ricardo Reis , Arturo Sarmiento-Reyes
Springer, AICT-464, 2015, IFIP Advances in Information and Communication Technology, 978-3-319-25278-0. ⟨10.1007/978-3-319-25279-7⟩
Books hal-01383719v1
Image document

Fault-Tolerant Techniques to Manage Yield and Power Constraints in Network-on-Chip Interconnections

 Anelise Kologeski , Caroline Concatto , Fernanda Lima Kastensmidt , Luigi Carro
20th International Conference on Very Large Scale Integration (VLSI-SoC), Aug 2012, Santa Cruz, CA, United States. pp.144-161, ⟨10.1007/978-3-642-45073-0_8⟩
Conference papers hal-01456967v1
Image document

VLSI-SoC: From Algorithms to Circuits and System-on-Chip Design

 Andreas Burg , Ayşe Coşkun , Matthew Guthaus , Srinivas Katkoori , Ricardo Reis
Springer, AICT-418, 2013, IFIP Advances in Information and Communication Technology, 978-3-642-45072-3. ⟨10.1007/978-3-642-45073-0⟩
Books hal-01456969v1
Image document

A Passive Monitoring Tool for Evaluation of Routing in WirelessHART Networks

 Gustavo Kunzel , Jean Michel Winter , Ivan Muller , Carlos Eduardo Pereira , João Cesar Netto
4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.159-170, ⟨10.1007/978-3-642-38853-8_15⟩
Conference papers hal-01466670v1
Image document

A Structural Parametric Binaural 3D Sound Implementation Using Open Hardware

 Bruno Dal Bó Silva , Marcelo Götz
4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.306-317, ⟨10.1007/978-3-642-38853-8_28⟩
Conference papers hal-01466686v1
Image document

Compiler Optimizations Do Impact the Reliability of Control-Flow Radiation Hardened Embedded Software

 Rafael B. Parizi , Ronaldo R. Ferreira , Luigi Carro , Álvaro F. Moreira
4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.49-60, ⟨10.1007/978-3-642-38853-8_5⟩
Conference papers hal-01466693v1

Embedded Systems: Design, Analysis and Verification

 Gunar Schirner , Marcelo Götz , Achim Rettberg , Mauro C. Zanella , Franz J. Rammig
Springer, AICT-403, 2013, IFIP Advances in Information and Communication Technology, 978-3-642-38852-1. ⟨10.1007/978-3-642-38853-8⟩
Books hal-01466697v1
Image document

Low-Power Processors Require Effective Memory Partitioning

 Leonardo Steinfeld , Marcus Ritt , Fernando Silveira , Luigi Carro
4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.73-81, ⟨10.1007/978-3-642-38853-8_7⟩
Conference papers hal-01466703v1
Image document

Disambiguation Canvas: A Precise Selection Technique for Virtual Environments

 Henrique G. Debarba , Jerônimo G. Grandi , Anderson Maciel , Luciana Nedel , Ronan Boulic
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.388-405, ⟨10.1007/978-3-642-40477-1_24⟩
Conference papers hal-01504897v1

VLSI-SoC: Forward-Looking Trends in IC and Systems Design

 José L. Ayala , David Atienza Alonso , Ricardo Reis
Springer, AICT-373, 2012, IFIP Advances in Information and Communication Technology, 978-3-642-28565-3. ⟨10.1007/978-3-642-28566-0⟩
Books hal-01516071v1

VLSI-SoC: Advanced Research for Systems on Chip

 Salvador Mir , Chi-Ying Tsui , Ricardo Reis , Oliver Choy
Springer, AICT-379, 2012, IFIP Advances in Information and Communication Technology, 978-3-642-32770-4. ⟨10.1007/978-3-642-32770-4⟩
Books hal-01519769v1
Image document

Playback Policies for Live and On-Demand P2P Video Streaming

 Fabio V. Hecht , Thomas Bocek , Flávio Roberto Santos , Burkhard Stiller
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.15-28, ⟨10.1007/978-3-642-30054-7_2⟩
Conference papers hal-01531950v1

VLSI-SoC: Design Methodologies for SoC and SiP

 Christian Piguet , Ricardo Reis , Dimitrios Soudris
Springer, AICT-313, 2010, IFIP Advances in Information and Communication Technology, 978-3-642-12266-8
Books hal-01552841v1

VLSI-SoC: Technologies for Systems Integration

 Jürgen Becker , Marcelo Johann , Ricardo Reis
Springer, AICT-360, 2011, IFIP Advances in Information and Communication Technology, ⟨10.1007/978-3-642-23120-9⟩
Books hal-01569358v1
Image document

Techniques for Architecture Design for Binary Arithmetic Decoder Engines Based on Bitstream Flow Analysis

 Dieison Antonello Deprá , Sergio Bampi
17th International Conference on Very Large Scale Integration (VLSISOC), Oct 2009, Florianópolis, Brazil. pp.181-197, ⟨10.1007/978-3-642-23120-9_10⟩
Conference papers hal-01569361v1
Image document

Challenges and Emerging Technologies for System Integration beyond the End of the Roadmap of Nano-CMOS

 Sergio Bampi , Ricardo Reis
17th International Conference on Very Large Scale Integration (VLSISOC), Oct 2009, Florianópolis, Brazil. pp.21-33, ⟨10.1007/978-3-642-23120-9_2⟩
Conference papers hal-01569363v1
Image document

Performance and Energy Evaluation of Memory Organizations in NoC-Based MPSoCs under Latency and Task Migration

 Gustavo Girão , Daniel Barcelos , Flávio Rech Wagner
17th International Conference on Very Large Scale Integration (VLSISOC), Oct 2009, Florianópolis, Brazil. pp.56-80, ⟨10.1007/978-3-642-23120-9_4⟩
Conference papers hal-01569367v1

VLSI-SoC: Design for Reliability, Security, and Low Power

 Youngsoo Shin , Chi-Ying Tsui , Jae-Joon Kim , Kiyoung Choi , Ricardo Reis
Springer, AICT-483, 2016, IFIP Advances in Information and Communication Technology
Books hal-01578652v1
Image document

Ludic Re-enchantment and the Power of Locative Games: A Case Study of the Game Ingress

 Suely Fragoso , Breno Reis
10th International Conference on Culture, Technology, and Communication (CATAC), Jun 2016, London, United Kingdom. pp.131-148, ⟨10.1007/978-3-319-50109-3_9⟩
Conference papers hal-01619328v1
Page :