Publications in VIVO

Co-author Network

Co-investigator Network

ALCARAZ CARRASCO, SALVADOR Person (Active)

Positions

Profesor Titular Escuela Universitaria, Ingeniería de Computadores 2018 -
MIEMBRO, Grupo de Arquitectura y Tecnología de Computadores 2007 - 2020
Profesor Titular Escuela Universitaria, Física y Arquitectura de Computadores 2007 - 2018
Profesor Titular Escuela Universitaria, Física y Arquitectura de Computadores 2002 - 2007
Profesor Interino Titular E.U., Física y Arquitectura de Computadores 2001 - 2002
Profesor Titular Escuela Universitaria, Física y Arquitectura de Computadores 2000 - 2001
Profesor Interino Titular E.U., Física y Arquitectura de Computadores 2000 - 2001
Profesor Asociado, Física y Arquitectura de Computadores 1999 - 2000

Publications
Research
Teaching
Contact
Other
View All

selected publications

academic article
- Offloading Edge Vehicular Services in Realistic Urban Environments. IEEE ACCESS. 11491-11502. 2020
- Dynamic Resource Management of Real-Time Edge Services for Intelligent Vehicular Networks . ELEKTRONIKA IR ELEKTROTECHNIKA. 58-61. 2019
- Modelling VM Migration in a Fog Computing Environment. ELEKTRONIKA IR ELEKTROTECHNIKA. 75-81. 2019
- Study on OSPF algebraic formal modelling using ACP. ELEKTRONIKA IR ELEKTROTECHNIKA. 77-83. 2018
- Formal Specification of Spanning Tree Protocol Using ACP. ELEKTRONIKA IR ELEKTROTECHNIKA. 84-91. 2017
- Accommodating Short and Long Web Traffic Flows over a DiffServ Architecture. LECT NOTES COMPUT SC. 14-28. 2011
- A Statistically Customisable Web Benchmarking Tool. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. 89-99. 2009
- Analysis of burstiness monitoring and detection in an adaptive Web system. COMPUTER NETWORKS. 668-679. 2009
- Algoritmo Predictivo-Adaptativo para Conmutadores en Agrupaciones de Servidores Web. IEEE LATIN AMERICA TRANSACTIONS. 62-68. 2006
- A Predictive-Adaptive Algorithm for a Web Switch . WSEAS TRANSACTIONS ON INFORMATION SCIENCE AND APPLICATIONS. 384-392. 2004
- Comparison of predictive techniques in Cluster-Based Network Servers with Resource Allocation. IEEE COMPUTER SOCIETY ORDER NUMBER P2251. 545-552. 2004
- Low Cost Digital Oscilloscope. WSEAS TRANSACTIONS ON CIRCUITS AND SYSTEMS. 2030-2034. 2004
- Performance Analysis of a Predictive - Adaptive Algorithm in Cluster-based Network Servers with Resource Allocation. LECT NOTES COMPUT SC. 615-626. 2004
- Publicacion web automatizada.. MUNDO LINUX. 2001
book
- Problemas resueltos de Redes de Computadores. LIMENCOP. 2005
- Apuntes de Telemática para Ingenieros Técnicos de Telecomunicación. UNIVERSIDAD MIGUEL HERNÁNDEZ. 2003
- Arquitectura de Redes, Sistemas y Servicios (Volumen I). UNIVERSIDAD MIGUEL HERNÁNDEZ. 2003
- FUNDAMENTOS DE SISTEMAS OPERATIVOS. CUADERNO DE PRáCTICAS . UNIVERSIDAD MIGUEL HERNÁNDEZ. 2003
- Ejercicios de electrónica y fundamentos tecnológicos de los computadores.. UNIVERSIDAD MIGUEL HERNÁNDEZ. 2002
- Manual de Informática de usuario.. LIMENCOP. 2002
- Multimedia de casos prácticos resueltos mediante hoja de cálculo.. UNIVERSIDAD MIGUEL HERNÁNDEZ. 2002
- Programación Orientada a Objetos con Java.. LIMENCOP. 2002
- Sistemas de Conmutación en telefonía.. UNIVERSIDAD MIGUEL HERNÁNDEZ. 2002
- Tecnología de Computadores. UNIVERSIDAD MIGUEL HERNÁNDEZ. 2002
- Telemática.. LIMENCOP. 2002
- Introducción a la Telemática y redes de computadores. ED. ALCARAZ. 2000
chapter
- Algebraic specification of ABP protocol using different time constraints. Proceedings of the 21st International Conference on Electronics. 1-6. 2017
- FTP algebraic formal modelling using ACP study on FTP active mode and passive mode. SIMULTECH 2017 - Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications. 362-373. 2017
- Multicast algebraic formal modelling using ACP study on PIM Dense Mode and Sparse Mode. ICETE 2017 - Proceedings of the 14th International Joint Conference on e-Business and TelecommunicationsVolume 1, 2017. 57-68. 2017
- A Token Bucket Model with Assured Forwarding for Web Traffic. Network-Based Information Systems. 298-307. 2007
- Handling HTTP Flows Over a DiffServ Framework. Actas XXXIII Conferencia Latinoamericana en Informática . 123-135. 2007
- Promoting Web Traffic over DiffServ Architecture,. 22nd International Symposium on Computer and Information Sciences (ISCIS). 376-381. 2007
- Service differentiation and QoS in a scalable content-aware load balancing algorithm. The 40th Annual Simulation Symposium. 178-193. 2007
- A New Token Bucket DiffServ Policy for Web Traffic. Proceedings of International Conference on Telecommunications & Multimedia. 1-8. 2006
- Una Estrategia de QoS para Tráfico HTTP Basada en Políticas Token Bucket. Actas de la XXXII Conferencia Latino-Americana de Estudios en Informática, CLEI 2006. 261-2610. 2006
- Prediction Accuracy Study of an Adaptive Algorithm in Cluster Based Network Servers with Resource Allocation. Prediction Accuracy Study of an Adaptive Algorithm in Cluster Based Network Servers with Resource Allocation. 298-308. 2005
- Resource allocation study based on burstiness for a Web Switch . PROCEEDINGS OF THE 4TH INTERNATIONAL INFORMATION AND TELECOMMUNICATION TECHNOLOGIES SYMPOSIUM. 134-137. 2005
- Algoritmos de dispatching y balanceo de carga en un entorno web-cluster. 12 CONVENCION CIENTIFICA DE INGENIERIA Y ARQUITECTURA. 791-796. 2004
- Comparison of predictive techniques in Cluster-Based Network Servers with Resource Allocation. MASCOTS'04. Proceedings IEEE Computer Society Press. 545-552. 2004
- Performance Analysis of a Predictive ¿ Adaptive Algorithm in Cluster-based Network Servers with Resource Allocation. 19th International Symposium Computer and Information Science (ISCIS) Proceedings (LNCS). 616-626. 2004
- Terminales sin disco basados en GNU/Linux para docencia. IX Jornadas de Enseñanza Universitaria de la Informática. 385-392. 2003
congress communication
- Algebraic modelling of a generic Fog scenario for moving IoT devices 2020
- Arithmetic Study on Energy Saving for some common Data Centre Topologies. 1-7. 2020
- Fat Tree Algebraic Formal Modelling applied to Fog Computing. 1-17. 2020
- Formal Algebraic Description of a Fog/IoT Computing Environment. 1-6. 2020
- Formal Algebraic Specification of an IoTFog Data Centre for Fat Tree or Leaf and Spine architectures. 1-6. 2020
- Formal algebraic modelling of a city-wide smart parking system. 1-6. 2020
- MQTT Algebraic Formal Modelling using ACP. 1-5. 2020
- Modelling Edge Computing in Urban Mobility Simulation Scenarios. 539-543. 2020
- Modelling a Folded N-Hypercube Topology for migration in Fog Computing 2020
- Modelling a Leaf and Spine Topology for VM Migration in Fog Computing. 1-5. 2020
- Modelling a Plain N-Hypercube Topology for migration in Fog Computing 2020
- Algebraic Formal Modelling for HTTP Main Methods Using ACP. 1-6. 2019
- Algebraic Formal Modelling for EIGRP using ACP Formal Description Modelling on EIGRP Routing Protocol. 259-266. 2018
- OSPF Algebraic Formal Modelling using ACP - A Formal Description on OSPF Routing Protocol.. 1-266. 2018
- Study on Mobility and Migration in a Fog Computing Environment. 1-222. 2018
- Algebraic specification of ABP protocol using different time constraints. 1-6. 2017
- FTP Algebraic Formal Modelling using ACP - Study on FTP Active Mode and Passive Mode. 362-373. 2017
- Multicast Algebraic Formal Modelling Using ACP. 57-68. 2017
- Accommodating short and long web traffic flows over a DiffServ architecture. 14-28. 2011
- Adaptive Admission Control Algorithm in a QoS-aware Web System. 604-606. 2009
- A Statistically Customisable Web Benchmarking Tool 2008
- Burstiness detection in a Web Adaptive cluster system. 1-6. 2008
- A Token Bucket Model with Assured Forwarding for Web Traffic. 298-307. 2007
- Handling HTTP Flows Over a DiffServ Architecture. 1-7. 2007
- Promoting Web Traffic Over a DiffServ Architecture. 1-8. 2007
- Token Bucket Policies Applied to Web Traffic in DiffServ Environment 2007
- A New Token Bucket DiffServ Policy for Web Traffic. 1-12. 2006
- An implementation of a Layer-7 Load Balancer in OPNET Modeler 2006
- Una Estrategia de QoS para Tráfico HTTP Basada en Políticas Token Bucket. 1-12. 2006
- A Predictive-Adaptive Algorithm for a Web Switch 2004
- Algoritmos de dispatching y balanceo de carga en un entorno web-cluster 2004
- Comparison of predictive techniques in Cluster-Based Network Servers with Resource Allocation 2004
- Low Cost Digital Oscilloscope 2004
- Mecanismos de dispatching en una arquitectura Web Cluster 2004
- Performance Analysis of a Predictive ¿ Adaptive Algorithm in Cluster-based Network Servers with Resource Allocation 2004
- Terminales sin disco basados en GNU / Linux para docencia 2003

supported publications or other works