Michel Ferreira - Academia.edu (original) (raw)

Papers by Michel Ferreira

Research paper thumbnail of WAM Local Analysis

Lecture Notes in Computer Science, 2002

The abstract interpretation framework has been used mainly in the global analysis of programs. Mo... more The abstract interpretation framework has been used mainly in the global analysis of programs. Most often also, this interpretation is applied to the source Prolog program. In this paper we present an abstract interpretation of more local nature, and applied to the intermediate code (WAM). The purpose of obtaining a more efficient specialized version of the program remains the same

Bookmarks Related papers MentionsView impact

Research paper thumbnail of The MyYapDB Deductive Database System

Lecture Notes in Computer Science, 2004

We describe the MyYapDB, a deductive database system coupling the Yap Prolog compiler and the MyS... more We describe the MyYapDB, a deductive database system coupling the Yap Prolog compiler and the MySQL DBMS. We use our OPTYap extension of the Yap compiler, which is the first available system that can exploit parallelism from tabled logic programs. We describe the major features of the system, give a simplified description of the implementation and present a performance comparison

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Large-scale simulation of V2V environments

Proceedings of the 2008 ACM symposium on Applied computing - SAC '08, 2008

Page 1. Large-Scale Simulation of V2V Environments Hugo Conceiç ˜ao, Luıs Damas, Michel Ferreira ... more Page 1. Large-Scale Simulation of V2V Environments Hugo Conceiç ˜ao, Luıs Damas, Michel Ferreira DCC/FCUP & LIACC University of Porto R. Campo Alegre, 1021/1055 4169-007 Porto, Portugal {hc,luis,michel}@dcc.fc.up.pt ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Using exit time predictions to optimize self automated parking lots

17th International IEEE Conference on Intelligent Transportation Systems (ITSC), 2014

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Online Predictive Model for Taxi Services

Lecture Notes in Computer Science, 2012

Bookmarks Related papers MentionsView impact

Research paper thumbnail of User Defined Indexing

Lecture Notes in Computer Science, 2009

Abstract. Logic programming provides an ideal framework for tackling complex data, such as the mu... more Abstract. Logic programming provides an ideal framework for tackling complex data, such as the multi-dimensional vector-based data used to represent spatial databases. Unfortunately, the usefulness of logic pro-gramming systems if often hampered by the fact that most of ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Large-scale simulation of V2V environments

ACM Symposium on Applied Computing, 2008

Page 1. Large-Scale Simulation of V2V Environments Hugo Conceiç ˜ao, Luıs Damas, Michel Ferreira ... more Page 1. Large-Scale Simulation of V2V Environments Hugo Conceiç ˜ao, Luıs Damas, Michel Ferreira DCC/FCUP & LIACC University of Porto R. Campo Alegre, 1021/1055 4169-007 Porto, Portugal {hc,luis,michel}@dcc.fc.up.pt ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Stereoscopic aerial photography: an alternative to model-based urban mobility approaches

Mobile Computing and Networking, 2009

Abstract In the absence of large-scale deployments of VANETs, simulation based research is until ... more Abstract In the absence of large-scale deployments of VANETs, simulation based research is until now the only choice available to address and validate the design of protocols in the context of vehicular networks. The simulation frameworks involved in this research have to ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Can ride-sharing become attractive? A case study of taxi-sharing employing a simulation modelling approach

IET Intelligent Transport Systems, 2015

ABSTRACT Improved urban mobility can be attained through more efficient vehicle usage and better ... more ABSTRACT Improved urban mobility can be attained through more efficient vehicle usage and better road network utilisation, namely through increased vehicle occupancy and new operation modes. In this study, the authors focus on a dynamic and distributed taxi-sharing system that takes advantage of nowadays widespread availability of communication and distributed computation to provide a cost-efficient, door-to-door and flexible service, offering a quality of service similar to conventional taxis. This system has been evaluated following a simulation modelling approach, including a realistic and accurate replication of the taxi operation in the city of Porto using empirical data (real origin/destination data and average occupancy rates). Simulation results show improved performance in terms of reduced fares (up to 8%), reduced total travel distance (up to 9%) and smaller operation costs. Furthermore, they proposed that several trade-offs (e.g. service performance against passengers' transit times) should be considered during the system deployment and operation. In this study, it was also shown that increased system penetration rate and demand level can even further improve the system performance.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Multiple Specialization of WAM Code

Lecture Notes in Computer Science, 1998

Program specialization is normally supported by global analysis of the program. Compilers use the... more Program specialization is normally supported by global analysis of the program. Compilers use the information deduced to generate more efficient, specialized implementations of the program. This specialization can be single or multiple, depending if each procedure of the program is specialized into one or more versions. We present a Prolog compiler that does multiple specialization, using an algorithm that works

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Automatic link balancing using Fuzzy Logic Control of handover parameter

21st Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, 2010

Bookmarks Related papers MentionsView impact

Research paper thumbnail of A predictive model for the passenger demand on a taxi network

2012 15th International IEEE Conference on Intelligent Transportation Systems, 2012

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Virtual traffic lights in partial deployment scenarios

2013 IEEE Intelligent Vehicles Symposium (IV), 2013

ABSTRACT Vehicular ad hoc networks (VANETs) are seen as an important enabling technology for impr... more ABSTRACT Vehicular ad hoc networks (VANETs) are seen as an important enabling technology for improving both traffic safety and efficiency. Virtual Traffic Lights (VTLs) are a promising proposal for reducing travel time by efficiently controlling road intersections. VTLs use vehicle-to-vehicle communication to dynamically optimize traffic flow and they display traffic light information on the windshield. However, research so far has assumed that all vehicles are equipped with VTL support and it has ignored the incremental deployment phase, which could last decades. In this paper we present a solution for a VTL partial deployment scenario that is based on the idea of having VTL equipped cars display traffic light information on the outside of the vehicle. This allows drivers in non-equipped vehicles, or even pedestrians, to see the light color and respond accordingly. We show that the benefits of VTLs in terms of intersection throughput and average delay reduction grow as a function of the penetration rate of equipped vehicles.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of On the Urban Connectivity of Vehicular Sensor Networks

Lecture Notes in Computer Science, 2008

Bookmarks Related papers MentionsView impact

Research paper thumbnail of A Cautionary View of Mobility and Connectivity Modeling in Vehicular Ad-Hoc Networks

VTC Spring 2009 - IEEE 69th Vehicular Technology Conference, 2009

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Urban Connectivity Analysis of VANETs through Stereoscopic Aerial Photography

2009 IEEE 70th Vehicular Technology Conference Fall, 2009

Bookmarks Related papers MentionsView impact

Research paper thumbnail of VNS: An integrated framework for vehicular networks simulation

2012 IEEE Vehicular Networking Conference (VNC), 2012

Abstract Vehicular networks are becoming one of the most important emerging technologies to enabl... more Abstract Vehicular networks are becoming one of the most important emerging technologies to enable Intelligent Transportation Systems (ITS). A strong research effort has been made in the last few years in the design and development of new systems using vehicle-to-vehicle or vehicle-to-infrastructure communications. Therefore, a large-scale evaluation of these networks is of critical importance. However, due to the prohibitive costs of real test-beds, computer simulation is the only viable solution. Building upon previous work, we extend ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Reducing the environmental impact of taxi operation: The taxi-sharing use case

2012 12th International Conference on ITS Telecommunications, 2012

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Scalable VANET Simulations with NS-3

2012 IEEE 75th Vehicular Technology Conference (VTC Spring), 2012

Abstract The study of large scale scenarios in vehicular ad-hoc networks is of critical importanc... more Abstract The study of large scale scenarios in vehicular ad-hoc networks is of critical importance to the design of communication protocols and applications. Since management and operation of a large number of real nodes is unpractical, simulation is considered as the most viable methodology to evaluate such large scale scenarios. However, the widely used simulator NS-3 has limited performance and scalability, causing the simulation of medium scale networks with more than 1,000 nodes to become very hard. In this paper we identify ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Driver-Centric VANET Simulation

Lecture Notes in Computer Science, 2011

Bookmarks Related papers MentionsView impact

Research paper thumbnail of WAM Local Analysis

Lecture Notes in Computer Science, 2002

The abstract interpretation framework has been used mainly in the global analysis of programs. Mo... more The abstract interpretation framework has been used mainly in the global analysis of programs. Most often also, this interpretation is applied to the source Prolog program. In this paper we present an abstract interpretation of more local nature, and applied to the intermediate code (WAM). The purpose of obtaining a more efficient specialized version of the program remains the same

Bookmarks Related papers MentionsView impact

Research paper thumbnail of The MyYapDB Deductive Database System

Lecture Notes in Computer Science, 2004

We describe the MyYapDB, a deductive database system coupling the Yap Prolog compiler and the MyS... more We describe the MyYapDB, a deductive database system coupling the Yap Prolog compiler and the MySQL DBMS. We use our OPTYap extension of the Yap compiler, which is the first available system that can exploit parallelism from tabled logic programs. We describe the major features of the system, give a simplified description of the implementation and present a performance comparison

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Large-scale simulation of V2V environments

Proceedings of the 2008 ACM symposium on Applied computing - SAC '08, 2008

Page 1. Large-Scale Simulation of V2V Environments Hugo Conceiç ˜ao, Luıs Damas, Michel Ferreira ... more Page 1. Large-Scale Simulation of V2V Environments Hugo Conceiç ˜ao, Luıs Damas, Michel Ferreira DCC/FCUP & LIACC University of Porto R. Campo Alegre, 1021/1055 4169-007 Porto, Portugal {hc,luis,michel}@dcc.fc.up.pt ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Using exit time predictions to optimize self automated parking lots

17th International IEEE Conference on Intelligent Transportation Systems (ITSC), 2014

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Online Predictive Model for Taxi Services

Lecture Notes in Computer Science, 2012

Bookmarks Related papers MentionsView impact

Research paper thumbnail of User Defined Indexing

Lecture Notes in Computer Science, 2009

Abstract. Logic programming provides an ideal framework for tackling complex data, such as the mu... more Abstract. Logic programming provides an ideal framework for tackling complex data, such as the multi-dimensional vector-based data used to represent spatial databases. Unfortunately, the usefulness of logic pro-gramming systems if often hampered by the fact that most of ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Large-scale simulation of V2V environments

ACM Symposium on Applied Computing, 2008

Page 1. Large-Scale Simulation of V2V Environments Hugo Conceiç ˜ao, Luıs Damas, Michel Ferreira ... more Page 1. Large-Scale Simulation of V2V Environments Hugo Conceiç ˜ao, Luıs Damas, Michel Ferreira DCC/FCUP & LIACC University of Porto R. Campo Alegre, 1021/1055 4169-007 Porto, Portugal {hc,luis,michel}@dcc.fc.up.pt ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Stereoscopic aerial photography: an alternative to model-based urban mobility approaches

Mobile Computing and Networking, 2009

Abstract In the absence of large-scale deployments of VANETs, simulation based research is until ... more Abstract In the absence of large-scale deployments of VANETs, simulation based research is until now the only choice available to address and validate the design of protocols in the context of vehicular networks. The simulation frameworks involved in this research have to ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Can ride-sharing become attractive? A case study of taxi-sharing employing a simulation modelling approach

IET Intelligent Transport Systems, 2015

ABSTRACT Improved urban mobility can be attained through more efficient vehicle usage and better ... more ABSTRACT Improved urban mobility can be attained through more efficient vehicle usage and better road network utilisation, namely through increased vehicle occupancy and new operation modes. In this study, the authors focus on a dynamic and distributed taxi-sharing system that takes advantage of nowadays widespread availability of communication and distributed computation to provide a cost-efficient, door-to-door and flexible service, offering a quality of service similar to conventional taxis. This system has been evaluated following a simulation modelling approach, including a realistic and accurate replication of the taxi operation in the city of Porto using empirical data (real origin/destination data and average occupancy rates). Simulation results show improved performance in terms of reduced fares (up to 8%), reduced total travel distance (up to 9%) and smaller operation costs. Furthermore, they proposed that several trade-offs (e.g. service performance against passengers' transit times) should be considered during the system deployment and operation. In this study, it was also shown that increased system penetration rate and demand level can even further improve the system performance.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Multiple Specialization of WAM Code

Lecture Notes in Computer Science, 1998

Program specialization is normally supported by global analysis of the program. Compilers use the... more Program specialization is normally supported by global analysis of the program. Compilers use the information deduced to generate more efficient, specialized implementations of the program. This specialization can be single or multiple, depending if each procedure of the program is specialized into one or more versions. We present a Prolog compiler that does multiple specialization, using an algorithm that works

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Automatic link balancing using Fuzzy Logic Control of handover parameter

21st Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, 2010

Bookmarks Related papers MentionsView impact

Research paper thumbnail of A predictive model for the passenger demand on a taxi network

2012 15th International IEEE Conference on Intelligent Transportation Systems, 2012

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Virtual traffic lights in partial deployment scenarios

2013 IEEE Intelligent Vehicles Symposium (IV), 2013

ABSTRACT Vehicular ad hoc networks (VANETs) are seen as an important enabling technology for impr... more ABSTRACT Vehicular ad hoc networks (VANETs) are seen as an important enabling technology for improving both traffic safety and efficiency. Virtual Traffic Lights (VTLs) are a promising proposal for reducing travel time by efficiently controlling road intersections. VTLs use vehicle-to-vehicle communication to dynamically optimize traffic flow and they display traffic light information on the windshield. However, research so far has assumed that all vehicles are equipped with VTL support and it has ignored the incremental deployment phase, which could last decades. In this paper we present a solution for a VTL partial deployment scenario that is based on the idea of having VTL equipped cars display traffic light information on the outside of the vehicle. This allows drivers in non-equipped vehicles, or even pedestrians, to see the light color and respond accordingly. We show that the benefits of VTLs in terms of intersection throughput and average delay reduction grow as a function of the penetration rate of equipped vehicles.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of On the Urban Connectivity of Vehicular Sensor Networks

Lecture Notes in Computer Science, 2008

Bookmarks Related papers MentionsView impact

Research paper thumbnail of A Cautionary View of Mobility and Connectivity Modeling in Vehicular Ad-Hoc Networks

VTC Spring 2009 - IEEE 69th Vehicular Technology Conference, 2009

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Urban Connectivity Analysis of VANETs through Stereoscopic Aerial Photography

2009 IEEE 70th Vehicular Technology Conference Fall, 2009

Bookmarks Related papers MentionsView impact

Research paper thumbnail of VNS: An integrated framework for vehicular networks simulation

2012 IEEE Vehicular Networking Conference (VNC), 2012

Abstract Vehicular networks are becoming one of the most important emerging technologies to enabl... more Abstract Vehicular networks are becoming one of the most important emerging technologies to enable Intelligent Transportation Systems (ITS). A strong research effort has been made in the last few years in the design and development of new systems using vehicle-to-vehicle or vehicle-to-infrastructure communications. Therefore, a large-scale evaluation of these networks is of critical importance. However, due to the prohibitive costs of real test-beds, computer simulation is the only viable solution. Building upon previous work, we extend ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Reducing the environmental impact of taxi operation: The taxi-sharing use case

2012 12th International Conference on ITS Telecommunications, 2012

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Scalable VANET Simulations with NS-3

2012 IEEE 75th Vehicular Technology Conference (VTC Spring), 2012

Abstract The study of large scale scenarios in vehicular ad-hoc networks is of critical importanc... more Abstract The study of large scale scenarios in vehicular ad-hoc networks is of critical importance to the design of communication protocols and applications. Since management and operation of a large number of real nodes is unpractical, simulation is considered as the most viable methodology to evaluate such large scale scenarios. However, the widely used simulator NS-3 has limited performance and scalability, causing the simulation of medium scale networks with more than 1,000 nodes to become very hard. In this paper we identify ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Driver-Centric VANET Simulation

Lecture Notes in Computer Science, 2011

Bookmarks Related papers MentionsView impact