Concept
Mobile development framework
Related publications (15)
An Autonomous Robotic Platform to Manipulate Collective Behavior in Ants
Eusocial life is characterized by division of labour, collective decision making and self organization, and regarded as the highest form of social organisation in groups. Ants are a model organism for research in collective behavior and the evolution of eu ...
EPFL2023Supporting Developers in Creating Web Apps for Education via an App Development Framework
Denis Gillet, Juan Carlos Farah, Sandy Ingram
As more educational activities are conducted online, the need for interactive applications (apps) that can effectively support educators in their practice is increasing. These apps are often created by web developers or by researchers, educators, and even ...
Editorial Universitat Politècnica de València2022LenslessPiCam: A Hardware and Software Platform for Lensless Computational Imaging with a Raspberry Pi
Martin Vetterli, Eric Bezzam, Sepand Kashani, Matthieu Martin Jean-André Simeoni
Lensless imaging seeks to replace/remove the lens in a conventional imaging system. The earliest cameras were in fact lensless, relying on long exposure times to form images on the other end of a small aperture in a darkened room/container (camera obscura) ...
2022Mechanical Characterization of Integrally-Attached Timber Plate Structures: Experimental studies and macro modeling technique
Spurred by the recent advancements in Computer-Aided Design (CAD), Integral Mechanical Attachment (IMA) technique has been resurrected. Using IMAs, connections between timber elements are established through their form, instead of using additional connecto ...
EPFL2020Algorithmic Verification of Component-based Systems
This dissertation discusses algorithmic verification techniques for concurrent component-based systems modeled in the Behavior-Interaction-Priority (BIP) framework with both bounded and unbounded concurrency. BIP is a component framework for mixed software ...
EPFL2017Biomechanical ToolKit: Open-source framework to visualize and process biomechanical data
C3D file format is widely used in the biomechanical field by companies and laboratories to store motion capture systems data. However, few software packages can visualize and modify the integrality of the data in the C3D file. Our objective was to develop ...
Elsevier2014Rigorous System Design: The BIP Approach
Rigorous system design requires the use of a single powerful component framework allowing the representation of the designed system at different levels of detail, from application software to its implementation. This is essential for ensuring the overall c ...
Springer2012Integration of Correct-by-Construction BIP Models into the MetroII Design Space Exploration Flow
Design correctness and performance are major issues which are usually considered separately, and with different emphasis, by traditional system design flows. In this paper we show that one can meaningfully connect and benefit from the advantages of two des ...
IEEE2012Programming the Cloud
Client + cloud computing is a disruptive, new computing platform, combining diverse client devices -- PCs, smartphones, sensors, and single-function and embedded devices -- with the unlimited, on-demand computation and data storage offered by cloud computi ...
ACM2011From high-level component-based models to distributed implementations
Although distributed systems are widely used nowadays, their implementation and deployment is still a time-consuming, error-prone, and hardly predictive task. In this paper, we propose a methodology for producing automatically efficient and correct-by-cons ...
ACM2010