Quick search
Advanced search in
Field to searchTerm
Add rule
Filters (6)
Download Results
3,409 research outcomes, page 1 of 341
  • publication . Conference object . Article . 2021
    Open Access English
    Authors:
    DrăgoiCezara; EneaConstantin; OzkanBurcu Kulahcioglu; MajumdarRupak; NiksicFilip;
    Publisher: HAL CCSD
    Project: EC | FOVEDIS (678177), EC | IMPACT (610150), ANR | SAFTA (ANR-17-CE25-0008)

    International audience; Large scale production distributed systems are difficult to design and test. Correctness must be ensured when processes run asynchronously, at arbitrary rates relative to each other, and in the presence of failures, e.g., process crashes or messa...

    Add to ORCIDorcid
  • publication . Conference object . 2021
    English
    Authors:
    Boissonnat, Jean-Daniel; Kachanovich, Siargey; Wintraecken, Mathijs;
    Publisher: HAL CCSD
    Project: ANR | 3IA@cote d'azur (ANR-19-P3IA-0002), EC | ISTplus (754411), EC | GUDHI (339025)

    International audience; Isomanifolds are the generalization of isosurfaces to arbitrary dimension and codimension, i.e. submanifolds of $R^d$ defined as the zero set of some multivariate multivalued smooth function f from $R^d$ to $R^{d-n}$, where n is the intrinsic dim...

  • publication . Conference object . Preprint . 2021
    Open Access English
    Authors:
    Colin M. Gray; Cristiana Santos; Nataliia Bielova; Michael Toth; Damian Clifford;
    Persistent Identifiers
    Publisher: HAL CCSD
    Project: EC | CO-OP ISOMPRPHISM (623051)

    User engagement with data privacy and security through consent banners has become a ubiquitous part of interacting with internet services. While previous work has addressed consent banners from either interaction design, legal, and ethics-focused perspectives, little re...

    Add to ORCIDorcid
  • publication . Conference object . 2021
    English
    Authors:
    Liu, Wanyu; Dementyev, Artem; Schwarz, Diemo; Flety, Emmanuel; Mackay, Wendy; BEAUDOUIN-LAFON, Michel; Bevilacqua, Frederic;
    Persistent Identifiers
    Publisher: HAL CCSD
    Project: EC | ONE (695464), EC | CREATIV (321135)

    International audience

    Add to ORCIDorcid
  • publication . Preprint . Other literature type . Article . Conference object . 2021
    Open Access English
    Authors:
    Bertrand, Nathalie; Bouyer, Patricia; Majumdar, Anirban;
    Persistent Identifiers
    Project: EC | EQUALIS (308087)

    International audience; Broadcast networks allow one to model networks of identical nodes communicating through message broadcasts. Their parameterized verification aims at proving a property holds for any number of nodes, under any communication topology, and on all po...

    Add to ORCIDorcid