1 citations
- Centre Inria de l'université de BordeauxFR1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Institut national de recherche en sciences et technologies du numériqueFR1 paper
- Laboratoire Bordelais de Recherche en InformatiqueFR1 paper
- Laboratoire d'Informatique de Paris-NordFR1 paper
- LIP6FR1 paper
- Université Sorbonne Paris NordFR1 paper
- University of CopenhagenDK1 paper
2 papers
cs.DM2020★ 1 cited
Agafonov's Proof of Agafonov's Theorem: A Modern Account and New Insights
Thomas Seiller, Jakob Simonsen
We give a modern account of Agafonov's original proof of his eponymous theorem. The original proof was only reported in Russian in a journal not widely available, and the work most…
cs.PL2011
Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications
Damien Cassou, Emilie Balland, Charles Consel +1
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementation…