José M. Troya

Luis Llopis

J. Netw. Comput. Appl., 2011

Specifying aspect-oriented architectures in AO-ADL.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2011

2009

Designing distributed software with RT-CORBA and SDL.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2009

Adding Aspect-Oriented Concepts to the High-Performance Component Model of SBASCO.

[BibT_eX]

[DOI]

Proceedings of the 17th Euromicro International Conference on Parallel, 2009

Managing Multi-concern Application Complexity in AspectSBASCO.

[BibT_eX]

[DOI]

Proceedings of the Computational Science, 2009

2008

UM-RTCOM: An analyzable component model for real-time distributed systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2008

Anonymity analysis in credentials-based systems: A formal framework.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2008

Modeling ODP Computational Specifications Using UML.

[BibT_eX]

[DOI]

José Raúl Romero

Comput. J., 2008

2007

Supporting the development of CAM/DAOP applications: an integrated development process.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2007

Development of distributed real-time simulators based on CORBA.

[BibT_eX]

[DOI]

Daniel Garrido

Simul. Model. Pract. Theory, 2007

A tuple channel-based coordination model for parallel and distributed programming.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2007

Model-driven component adaptation in the context of Web Engineering.

[BibT_eX]

[DOI]

Nathalie Moreno Vergara

Antonio Vallecillo Moreno

Eur. J. Inf. Syst., 2007

A component-based nuclear power plant simulator kernel.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2007

TC-WSANs: A Tuple Channel based Coordination Model for Wireless Sensor and Actor Networks.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), 2007

Programming Approaches and Challenges for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Systems and Networks Communications (ICSNC 2007), 2007

Programming Wireless Sensor and Actor Networks with TC-WSANs.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Pervasive Services, 2007

2006

Specification of a framework for the anonymous use of privileges.

[BibT_eX]

[DOI]

Telematics Informatics, 2006

Experiences with component-oriented technologies in nuclear power plant simulators.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2006

Measuring the usability of software components.

[BibT_eX]

[DOI]

Manuel F. Bertoa

J. Syst. Softw., 2006

Anonymous attribute certificates based on traceable signatures.

[BibT_eX]

[DOI]

Internet Res., 2006

Dynamic Reconfiguration of Scientific Components Using Aspect Oriented Programming: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Using SBASCO to Solve Reaction-Diffusion Equations in Two-Dimensional Irregular Domains.

[BibT_eX]

[DOI]

Proceedings of the Computational Science, 2006

A Component Framework for Wireless Sensor and Actor Networks.

[BibT_eX]

[DOI]

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

2005

Security protocols analysis: A SDL-based approach.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2005

A Dynamic Component and Aspect-Oriented Platform.

[BibT_eX]

[DOI]

Comput. J., 2005

Integrating RT-CORBA in SDL.

[BibT_eX]

[DOI]

Proceedings of the SDL 2005: Model Driven, 2005

An Aspect Oriented Framework for Scientific Component Development.

[BibT_eX]

[DOI]

Proceedings of the 13th Euromicro Workshop on Parallel, 2005

A Coordination Middleware for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Systems Communications 2005 (ICW / ICHSN / ICMCS / SENET 2005), 2005

TCMote: a tuple channel coordination model for wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Pervasive Services 2005, 2005

A CCA-compliant Nuclear Power Plant Simulator Kernel.

[BibT_eX]

[DOI]

Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005

2004

Parallel LAN/WAN heuristics for optimization.

[BibT_eX]

[DOI]

Gabriel Luque

Parallel Comput., 2004

Parallel heterogeneous genetic algorithms for continuous optimization.

[BibT_eX]

[DOI]

Parallel Comput., 2004

Analyzing Architectural Evolution Issues of Multimedia Frameworks.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2004

Reverse engineering of temporal Boolean networks from noisy data using evolutionary algorithms.

[BibT_eX]

[DOI]

Neurocomputing, 2004

A framework for secure execution of software.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2004

Training compositional agents in negotiation protocols using ontologies.

[BibT_eX]

[DOI]

Integr. Comput. Aided Eng., 2004

A Trading Service for COTS Components.

[BibT_eX]

[DOI]

Luis Iribarne

Comput. J., 2004

A First Approach to Provide Anonymity in Attribute Certificates.

[BibT_eX]

[DOI]

Proceedings of the Public Key Cryptography, 2004

SBASCO: Skeleton-Based Scientific Components.

[BibT_eX]

[DOI]

Proceedings of the 12th Euromicro Workshop on Parallel, 2004

A Component and Aspect-Based Architecture for Rapid Software Agent Development.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2004

Integrating Real-time Analysis in a Component Model for Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

2003

Adding Roles to CORBA Objects.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2003

Integrating Schedulability Analysis and Design Techniques in SD.

[BibT_eX]

[DOI]

Real Time Syst., 2003

Domain interaction patterns to coordinate HPF tasks.

[BibT_eX]

[DOI]

Parallel Comput., 2003

A secure solution for commercial digital libraries.

[BibT_eX]

[DOI]

Online Inf. Rev., 2003

Integrating PMI services in CORBA applications.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2003

An Object-oriented Methodology for Embedded Real-time Systems.

[BibT_eX]

[DOI]

Comput. J., 2003

Information processing in transmitting recombination.

[BibT_eX]

[DOI]

Appl. Math. Lett., 2003

Embedding Branch and Bound within Evolutionary Algorithms.

[BibT_eX]

[DOI]

Appl. Intell., 2003

Applying SDL to Formal Analysis of Security Systems.

[BibT_eX]

[DOI]

Proceedings of the SDL 2003: System Design, 2003

DAOP-ADL: Un Lenguaje de Descripción de Arquitecturas Software basado en Componentes y Aspectos.

[BibT_eX]

Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003

Putting Together Web Services and Compositional Software Agents.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering, International Conference, 2003

DAOP-ADL: An Architecture Description Language for Dynamic Component and Aspect-Based Development.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2003

High-level specification of security systems.

[BibT_eX]

[DOI]

Proceedings of the Global Telecommunications Conference, 2003

Applying the Semantic Web Layers to Access Control.

[BibT_eX]

[DOI]

Antonio Mana

Proceedings of the 14th International Workshop on Database and Expert Systems Applications (DEXA'03), 2003

A Component-Based Model for Predictable Embedded Systems.

[BibT_eX]

Proceedings of the International Conference on Embedded Systems and Applications, 2003

How to Specify Security Services: A Practical Approach.

[BibT_eX]

[DOI]

Proceedings of the Communications and Multimedia Security, 2003

A Component-Based Approach for Interoperability across FIPA-Compliant Platforms.

[BibT_eX]

[DOI]

Proceedings of the Cooperative Information Agents VII, 7th International Workshop, 2003

Building Software Agents from Software Components.

[BibT_eX]

[DOI]

Proceedings of the Current Topics in Artificial Intelligence, 2003

2002

Improving flexibility and efficiency by adding parallelism to genetic algorithms.

[BibT_eX]

[DOI]

Stat. Comput., 2002

A Border-based Coordination Language for Integrating Task and Data Parallelism.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2002

Heterogeneous Computing and Parallel Genetic Algorithms.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2002

Using UML Profiles for Documenting Web-Based Application Frameworks.

[BibT_eX]

[DOI]

Ann. Softw. Eng., 2002

Verification of Authentication Protocols using SDL-method.

[BibT_eX]

Proceedings of the Security in Information Systems, 2002

Plataforma para la Composición Dinámica de Componentes y Aspectos.

[BibT_eX]

Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

Arquitectura Composicional de Agentes de Negociación.

[BibT_eX]

Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

Protocol Engineering Applied to Formal Analysis of Security Systems.

[BibT_eX]

[DOI]

Proceedings of the Infrastructure Security, International Conference, 2002

Access Control Infrastructure for Digital Objects.

[BibT_eX]

[DOI]

Proceedings of the Information and Communications Security, 4th International Conference, 2002

Secure Content Distribution for Digital Libraries.

[BibT_eX]

[DOI]

Proceedings of the Digital Libraries: People, 2002

A Semantic Approach for Access Control in Web Services.

[BibT_eX]

[DOI]

Proceedings of the Web and the Grid: from e-science to e-business. EuroWeb 2002 Conference, 2002

.NET as a Platform for Implementing Concurrent Objects (Research Note).

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2002, 2002

Selecting Software Components with Multiple Interfaces.

[BibT_eX]

[DOI]

Luis Iribarne

Proceedings of the 28th EUROMICRO Conference 2002, 4-6 September 2002, Dortmund, Germany, 2002

Towards a Trustful and Flexible Environment for Secure Communications with Public Administrations.

[BibT_eX]

[DOI]

Proceedings of the Electronic Government, First International Conference, 2002

Separation of coordination in a dynamic aspect oriented framework.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Aspect-Oriented Software Development, 2002

2001

Coordinating distributed components on the web: an integrated development environment.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2001

Compatibility and inheritance in software architectures.

[BibT_eX]

[DOI]

Carlos Canal

Sci. Comput. Program., 2001

Controllers: reusable wrappers to adapt software components.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2001

Analyzing synchronous and asynchronous parallel distributed genetic algorithms.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2001

Extending CORBA Interfaces with Protocols.

[BibT_eX]

[DOI]

Comput. J., 2001

DIP: a pattern-based approach for task and data parallelism integration.

[BibT_eX]

[DOI]

Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

A Comparison of Several Evolutionary Heuristics for the Frequency Assignment Problem.

[BibT_eX]

[DOI]

Proceedings of the Connectionist Models of Neurons, 2001

Collaborative Virtual Environment Development: An Aspect-Oriented Approach.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 2001

Integrating Task and Data Parallelism by Means of Coordination Patterns.

[BibT_eX]

[DOI]

Proceedings of the High-Level Parallel Programming Models and Supportive Environments, 2001

Analyzing Directed Acyclic Graph Recombination.

[BibT_eX]

[DOI]

Proceedings of the Computational Intelligence, 2001

Towards an Aspect-Oriented Framework in the Design of Collaborative Virtual Environments.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS 2001), 2001

Trading for COTS Components in Open Environments.

[BibT_eX]

[DOI]

Luis Iribarne

Proceedings of the 27th EUROMICRO Conference 2001: A Net Odyssey, 2001

Supporting Heterogeneous Users in Collaborative Virtual Environments Using AOP.

[BibT_eX]

[DOI]

Proceedings of the Cooperative Information Systems, 9th International Conference, 2001

Deriving hard real-time embedded systems implementations directly from SDL specifications.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Symposium on Hardware/Software Codesign, 2001

2000

Towards an open multimedia service framework.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2000

On the Computational Power of Adaptive Systems.

[BibT_eX]

[DOI]

Comput. Artif. Intell., 2000

Influence of the Migration Policy in Parallel Distributed GAs with Structured and Panmictic Populations.

[BibT_eX]

[DOI]

Appl. Intell., 2000

Extending CORBA Interfaces with p-Calculus for Protocol Compatibility.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 2000

SDL and hard real time systems: new design and analyze techniques.

[BibT_eX]

Proceedings of the SAM 2000, 2000

On the Influence of the Representation Granularity in Heuristic Forma Recombination.

[BibT_eX]

[DOI]

Proceedings of the Applied Computing 2000, 2000

Using Dynastic Exploring Recombination to Promote Diversity in Genetic Search.

[BibT_eX]

[DOI]

Proceedings of the Parallel Problem Solving from Nature, 2000

Cellular Evolutionary Algorithms: Evaluating the Influence of Ratio.

[BibT_eX]

[DOI]

Proceedings of the Parallel Problem Solving from Nature, 2000

BCL: A Border-based Coordination Language.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

Una Metodología de Desarrollo Orientada a Objtos para Sistemas Empotrados de Tiempo Real.

[BibT_eX]

Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000

Integration of Task and Data Parallelism: A Coordination-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the High Performance Computing, 2000

Using a Hybrid Evolutionary-A* Approach for Learning Reactive Behaviors.

[BibT_eX]

[DOI]

Proceedings of the Real-World Applications of Evolutionary Computing, 2000

Combining Software Components and Mobile Agents.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agent World, First International Workshop, 2000

New Issues in Object Interoperability.

[BibT_eX]

[DOI]

Juan Hernández Núñez

Proceedings of the Object-Oriented Technology, 2000

Development of Secure Internet Applications for Governmental Environments.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 2000

Distributed Storage and Revocation in Digital Certificate Databases.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 11th International Conference, 2000

1999

A Java Framework for Web-Based Multimedia and Collaborative Applications.

[BibT_eX]

[DOI]

IEEE Internet Comput., 1999

A survey of parallel distributed genetic algorithms.

[BibT_eX]

[DOI]

Complex., 1999

Specification and Refinement of Dynamic Software Architectures.

[BibT_eX]

Carlos Canal

Proceedings of the Software Architecture, 1999

Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems.

[BibT_eX]

Proceedings of the SDL '99 The Next Millennium, 1999

Coordinación de Componentes Distribuidos: un Enfoque Generativo Basado en Arquitectura del Software.

[BibT_eX]

Proceedings of the IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'99), 1999

Optimal Discrete Recombination: Hybridising Evolution Strategies with the A* Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Engineering Applications of Bio-Inspired Artificial Neural Networks, 1999

An Analysis of Synchronous and Asynchronous Parallel Distributed Genetic Algorithms with Structured and Panmictic Islands.

[BibT_eX]

[DOI]

Proceedings of the Parallel and Distributed Processing, 1999

Middleware Support for Multimedia Collaborative Applications over the Web: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Interactive Distributed Multimedia Systems and Telecommunication Services, 1999

Improving the Scalability of Dynastically Optimal Forma Recombination by Tuning the Granularity of the Representation.

[BibT_eX]

Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 1999), 1999

Entropic and Real-Time Analysis of the Search with Panmictic, Structured, and Parallel Distributed Genetic Algorithms.

[BibT_eX]

Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 1999), 1999

Tacking Epistatic Problems Using Dynastically Optimal Recombination.

[BibT_eX]

[DOI]

Proceedings of the Computational Intelligence, 1999

Specifying Reusable Controllers for Software Components (Short Paper).

[BibT_eX]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

Object Interoperability.

[BibT_eX]

[DOI]

Juan Hernández Núñez

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Stochastic reverse hill climbing and iterated local search.

[BibT_eX]

[DOI]

Proceedings of the 1999 Congress on Evolutionary Computation, 1999

Numerical and real time analysis of parallel distributed GAs with structured and panmictic populations.

[BibT_eX]

[DOI]

Proceedings of the 1999 Congress on Evolutionary Computation, 1999

1998

Genetic Forma Recombination in Permutation Flowshop Problems.

[BibT_eX]

[DOI]

Evol. Comput., 1998

Un estudio de la potencia computacional y robustez de los algoritmos evolutivos paralelos.

[BibT_eX]

[DOI]

Inteligencia Artif., 1998

Multilingual and multiparadigm integration of a tuple channel-based coordination model.

[BibT_eX]

[DOI]

Proceedings of the 1998 ACM symposium on Applied Computing, 1998

Utilizing Dynastically Optimal Forma Recombination in Hybrid Genetic Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Parallel Problem Solving from Nature, 1998

Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages.

[BibT_eX]

[DOI]

Proceedings of the Computing in Object-Oriented Parallel Environments, 1998

On Decision-Making in Strong Hybrid Evolutionary Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998

A Reflective Component Model for Open Systems.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997

DRL: A Distributed Real-Time Logic Language.

[BibT_eX]

[DOI]

Comput. Lang., 1997

A Component-Oriented Architecture to Design Multimedia Services on a Distributed Platform.

[BibT_eX]

[DOI]

Proceedings of the Worldwide Computing and Its Applications, International Conference, 1997

The Tuple Channel Coordination Model.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997

Logic Channels: A Coordination Approach to Distributed Programming.

[BibT_eX]

[DOI]

Proceedings of the 11th International Parallel Processing Symposium (IPPS '97), 1997

A Hybrid Genetic Algorithm for the 0-1 Multiple Knapsack Problem.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Artificial Neural Nets and Genetic Algorithms, 1997

Integrating an Entry Consistency Memory Model and Concurrent Object-Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par '97 Parallel Processing, 1997

On the Addition of Properties to Components.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Applying Distributed Shared Memory Techniques for Implementing Distributed Objects.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Concurrent Smart Evaluation of Datalog Queries.

[BibT_eX]

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

Distributed Programming with a Logic Channel Based Coordination Model.

[BibT_eX]

[DOI]

Comput. J., 1996

Genetic Algorithms for Protocol Validation.

[BibT_eX]

[DOI]

Proceedings of the Parallel Problem Solving from Nature, 1996

Data Flow Parallel Evaluation of Datalog Queries.

[BibT_eX]

Proceedings of the I Jornadas de Investigación y Docencia en Bases de Datos, 1996

Modelling and verification of the MCS layer with Spin.

[BibT_eX]

[DOI]

Pedro Merino

Proceedings of the Spin Verification System, 1996

Data Flow Evaluation of Datalog Queries.

[BibT_eX]

Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic Programming, 1996

EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols.

[BibT_eX]

[DOI]

Pedro Merino

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Studying the Cost of Logic Languages in an Abstract Interpretation Framework for Granularity Analysis.

[BibT_eX]

[DOI]

María-del-Mar Gallardo

Proceedings of the Logic Programming Synthesis and Transformation, 1995

GENESIS: An Object-Oriented Framework for Simulation of Neural Network Models.

[BibT_eX]

[DOI]

Proceedings of the Artificial Neural Nets and Genetic Algorithms, 1995

Hybridizing Genetic Algorithms with Branch and Bound Techniques for the Resolution of the TSP.

[BibT_eX]

[DOI]

Proceedings of the Artificial Neural Nets and Genetic Algorithms, 1995

A Genetic Algorithm for Load Balancing in Parallel Query Evaluation for Deductive Relational Data Bases.

[BibT_eX]

[DOI]

Proceedings of the Artificial Neural Nets and Genetic Algorithms, 1995

1994

An Object-Based Tool and Methodological Approach for Distributed Programming.

[BibT_eX]

Manuel I. Capel

Softw. Concepts Tools, 1994

DROL: A Distributed and Real-Time Object-Oriented Logic Environment.

[BibT_eX]

[DOI]

Comput. J., 1994

Load Balancing and Query Optimization in DataFlow Parallel Evaluation of Datalog Programs.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994

Implementation Issues of a Distributed Real-Time Logic Language.

[BibT_eX]

[DOI]

Proceedings of the Integration of Declarative Paradigms, 1994

D2: A Model for Datalog Parallel Evaluation.

[BibT_eX]

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

Granularity Analysis of Concurrent Logic Languages based on Abstract Interpretation.

[BibT_eX]

María-del-Mar Gallardo

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

Comunicacion entre objetos mediante la unificacion de canales logicos.

[BibT_eX]

Francisco J. Durán

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993

Distributed active objects: A methodological proposal and tool for distributed programming with transputer systems.

[BibT_eX]

[DOI]

Manuel I. Capel

A. Palma

Microprocess. Microprogramming, 1993

A parlog based real-time distributed logic environment.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 1993

An OR Parallel Prolog Model for Distributed Memory Systems.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1993

A Prolog interpreter for OR parallelism evaluation on distributed systems.

[BibT_eX]

[DOI]

Manuel Roldán

Proceedings of the 1993 Euromicro Workshop on Parallel and Distributed Processing, 1993

Compositionality Issues of Concurrent Object-Oriented Logic Languages.

[BibT_eX]

[DOI]

Proceedings of the PARLE '93, 1993

A Methodological Scheme and Tool for Program Transformation with Transputer Systems.

[BibT_eX]

Manuel I. Capel

A. Palma

Proceedings of the Parallel Computing: Trends and Applications, 1993

URANO: An Object-Oriented Artificial Neural Network Simulation Tool.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Neural Computation, 1993

Full Automatic ANN Design: A Genetic Approach.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Neural Computation, 1993

Parlog Programs Nontermination Analysis.

[BibT_eX]

María-del-Mar Gallardo

Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992

A Declarative Environment for Distributed Programming.

[BibT_eX]

Proceedings of the Algorithms, Software, Architecture, 1992

L2||O2: Operational and Declarative Semantics.

[BibT_eX]

[DOI]

Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992

1991

Extending an Object Oriented Concurrent Logic Language for Neural Network Simulations.

[BibT_eX]

[DOI]

Proceedings of the Artificial Neural Networks, 1991

1989

A study of parallel branch-and-bound algorithms with best-bound-first search.

[BibT_eX]

[DOI]

M. Ortega

Parallel Comput., 1989

Live nodes distribution in parallel branch and bound algorithms.

[BibT_eX]

[DOI]

M. Ortega

Antonio Ramón Vaquero Sánchez

Microprocess. Microprogramming, 1989

1982

Optimization and approximation algorithm for placement of records on linear storage devices.

[BibT_eX]

[DOI]

Computing, 1982

1981

An Approximation Algorithm for Reducing Expected Head Movement in Linear Storage Devices.

[BibT_eX]

[DOI]

A. Vaquero

Inf. Process. Lett., 1981

1980

Placement of Records on Linear Storage Devices.

[BibT_eX]

A. Vaquero