The C standard does not specify the memory layouts of types, opening the door for portability problems that arise from discrepancies in how various platforms choose to represent types in memory. I report on the design and implementation of a framework that provides automated help for finding and understanding these discrepancies. A dynamic analysis gathers memory layout constraints on types. An...

Human-centric communication platforms, like social networks such as Facebook or Twitter, weblogs, Wiki-systems or Apache Wave, are systems that support humans to communicate, collaborate interactively, and exchange content. Over the last years, modern communication systems have evolved to provide different more interactive ways of communication, where several users have the possibility to concu...

Social networks have been resorted to as effective platforms for social mobility in many parts of the world. This mobility occurs when social media users exploit their interpersonal relationships, especially their ‘weak ties’ (Granovetter, 1973). Social networks enable their users to be producers of information, rather than mere consumers, and to be socially and politically well-informed. They ...

Efficient parallelization of genetic algorithms (GAs) on state-of-the-art multi-threading or many-threading platforms is a challenge due to the difficulty of schedulation of hardware resources regarding the concurrency of threads. In this paper, for resolving the problem, a novel method is proposed, which parallelizes the GA by designing three concurrent kernels, each of which running some depe...

In free-space optical (FSO) communication, high-precision pointing is a critical technology required for rapid acquisition to reduce link establishment time and increase communication time. FSO on motion platform necessary expand the area promote of global network. However, accuracy an terminal low due numerous error sources coupling. This paper evaluates proposes model avoid problems resulting...