Michel Ferreira - Academia.edu (original) (raw)
Papers by Michel Ferreira
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
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
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
17th International IEEE Conference on Intelligent Transportation Systems (ITSC), 2014
Bookmarks Related papers MentionsView impact
Lecture Notes in Computer Science, 2012
Bookmarks Related papers MentionsView impact
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
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
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
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
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
21st Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, 2010
Bookmarks Related papers MentionsView impact
2012 15th International IEEE Conference on Intelligent Transportation Systems, 2012
Bookmarks Related papers MentionsView impact
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
Lecture Notes in Computer Science, 2008
Bookmarks Related papers MentionsView impact
VTC Spring 2009 - IEEE 69th Vehicular Technology Conference, 2009
Bookmarks Related papers MentionsView impact
2009 IEEE 70th Vehicular Technology Conference Fall, 2009
Bookmarks Related papers MentionsView impact
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
2012 12th International Conference on ITS Telecommunications, 2012
Bookmarks Related papers MentionsView impact
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
Lecture Notes in Computer Science, 2011
Bookmarks Related papers MentionsView impact
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
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
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
17th International IEEE Conference on Intelligent Transportation Systems (ITSC), 2014
Bookmarks Related papers MentionsView impact
Lecture Notes in Computer Science, 2012
Bookmarks Related papers MentionsView impact
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
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
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
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
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
21st Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, 2010
Bookmarks Related papers MentionsView impact
2012 15th International IEEE Conference on Intelligent Transportation Systems, 2012
Bookmarks Related papers MentionsView impact
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
Lecture Notes in Computer Science, 2008
Bookmarks Related papers MentionsView impact
VTC Spring 2009 - IEEE 69th Vehicular Technology Conference, 2009
Bookmarks Related papers MentionsView impact
2009 IEEE 70th Vehicular Technology Conference Fall, 2009
Bookmarks Related papers MentionsView impact
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
2012 12th International Conference on ITS Telecommunications, 2012
Bookmarks Related papers MentionsView impact
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
Lecture Notes in Computer Science, 2011
Bookmarks Related papers MentionsView impact