Parallel buffers for concurrent programs may be implemented using multiple tuners.
Des tampons parallèles pour émissions simultanées peuvent être mis en oeuvre au moyen de syntoniseurs multiples.
The method prompts the user regarding the other channels that form the set of channels on that band, and solicits input for recording one or more concurrent programs of the band, which can all be recorded on the single receiving tuner.
Le procédé incite l'utilisateur en ce qui concerne les autres chaînes qui forment le jeu de chaînes sur cette bande, et sollicite une entrée pour enregistrer une ou plusieurs émissions simultanées de la bande, qui peuvent toutes être enregistrées sur le syntoniseur de réception unique.
software fault tolerance of concurrent programs using controlled re-execution
tolérance aux failles de logiciel de programmes concurrents par réexécution commandée
fast and accurate static data-race detection for concurrent programs
détection rapide et précise de "data race" statique pour programmes concurrents
The contribution of this thesis is to extend this framework to higher-order concurrent programs.
La contribution de cette thèse est d'étendre ce cadre aux programmes concurrents d'ordre supérieur.
The third chapter is devoted to aspects of static analyzers that are specific to concurrent programs.
Le troisième chapitre est consacré aux aspects spécifiques de l'analyse de programmes concurrents.
Unfortunately, using locks it is difficult to write correct concurrent programs that perform efficiently.
Malheureusement, il est difficile d'écrire des programmes concurrents efficaces et corrects reposant sur des verrous.
Because concurrency is so difficult, we found some very good programmers writing some really poor concurrent programs.
Parce que la concurrence est tellement difficile, de très bons développeurs écrivaient parfois de très mauvais programmes concurrents.
In this thesis we propose a combinatorial model of increasingly labeled structures to deal with runs of synchronized concurrent programs.
Dans cette thèse nous proposons un modèle combinatoire de structures croissantes pour modéliser les exécutions de programmes concurrents synchronisés.
The invention relates to systematic testing of concurrent programs according to interleaving coverage criteria.
La présente invention se rapporte à des tests systématiques de programmes concurrents en fonction de critères de couverture d'entrelacement.
In this thesis, we develop static criteria to control the resource consumption of higher-order concurrent programs.
Dans cette thèse, nous développons des critères statiques pour contrôler la consommation en ressources de programmes concurrents d'ordre supérieur.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.