
Nicolas Palix
35
Documents
Affiliation actuelle
- Conception de couches systèmes performantes, robustes, sécurisées, flexibles, et moins énergivores (KRAKOS)
Identifiants chercheurs
Site web
Publications
17
13
11
6
6
6
6
5
5
5
5
5
4
4
4
4
4
3
3
3
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
2
10
10
8
8
5
2
1
Publications
|
Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance2020 USENIX Annual Technical Conference, USENIX, Jul 2020, Boston / Virtual, United States
Communication dans un congrès
hal-02901169
v1
|
|
Provable Multicore Schedulers with Ipanema: Application to Work ConservationEurosys 2020 - European Conference on Computer Systems, Apr 2020, Heraklion / Virtual, Greece. ⟨10.1145/3342195.3387544⟩
Communication dans un congrès
hal-02554342
v1
|
|
Understanding scheduler performance : a feature-based approachCompas 2019 - Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France
Communication dans un congrès
hal-02558763
v1
|
|
Fork/Wait and Multicore Frequency Scaling: a Generational Clash10th Workshop on Programming Languages and Operating Systems, Oct 2019, Huntsville, Canada. pp.53-59, ⟨10.1145/3365137.3365400⟩
Communication dans un congrès
hal-02349987
v2
|
MDC-Cast: A Total-Order Broadcast Protocol for Multi-Datacenter Environments2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS), Oct 2018, Salvador, Brazil. pp.241-250
Communication dans un congrès
hal-02017993
v1
|
|
|
Ipanema : un langage dédié pour le développement d'ordonnanceurs multi-coeur sûrsCompas 2017: Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2017, Sophia Antipolis, France
Communication dans un congrès
hal-02111160
v1
|
|
Towards Proving Optimistic Multicore SchedulersHotOS 2017 - 16th Workshop on Hot Topics in Operating Systems, ACM SIGOPS, May 2017, Whistler, British Columbia, Canada. pp.6, ⟨10.1145/3102980.3102984⟩
Communication dans un congrès
hal-01556597
v1
|
|
Improving pattern tracking with a language-aware tree differencing algorithmSANER 2015 - 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering, Mar 2015, Montreal, Canada. pp.43-52, ⟨10.1109/SANER.2015.7081814⟩
Communication dans un congrès
hal-01213907
v1
|
Integrated architecture exploration workflow: A NoC-based case studyInternational Symposium on Rapid System Prototyping, Oct 2012, Tampere, Finland. pp.135-141, ⟨10.1109/RSP.2012.6380702⟩
Communication dans un congrès
hal-00940379
v1
|
|
Faults in Linux: Ten Years LaterASPLOS 2011 - 16th International Conference on Architectural Support for Programming Languages and Operating Systems, Mar 2011, Newport Beach, California, United States. pp.305-318, ⟨10.1145/1950365.1950401⟩
Communication dans un congrès
hal-00940355
v1
|
|
|
Finding Error Handling Bugs in OpenSSL Using CoccinelleEuropean Dependable Computing Conference, Apr 2010, Valencia, Spain. pp.191-196, ⟨10.1109/EDCC.2010.31⟩
Communication dans un congrès
hal-00940375
v1
|
{How Often do Experts Make Mistakes?}9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10), Mar 2010, Rennes et Saint Malo, France. pp.9-16
Communication dans un congrès
hal-01293789
v1
|
|
|
Tracking Code Patterns over Multiple Software Versions with HerodotosAOSD'10 - ACM International Conference on Aspect-Oriented Software Development, Mar 2010, Rennes and Saint Malo, France. pp.169-180, ⟨10.1145/1739230.1739250⟩
Communication dans un congrès
hal-00941123
v1
|
|
WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux CodeDSN'09 - IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2009, Lisbon, Portugal. pp.43-52, ⟨10.1109/DSN.2009.5270354⟩
Communication dans un congrès
hal-00941142
v1
|
|
High-level Programming Support for Robust Pervasive Computing Applications6th IEEE Conference on Pervasive Computing and Communications, Mar 2008, Hong Kong, China
Communication dans un congrès
inria-00333602
v1
|
|
Pantaxou: a Domain-Specific Language for Developing Safe Coordination ServicesSeventh International Conference on Generative Programming and Component Engineering, Oct 2008, Nashville, United States. pp.149-160
Communication dans un congrès
inria-00333637
v1
|
|
A SIP-based Programming Framework for Advanced Telephony Applications2nd LNCS Conference on Principles, Systems and Applications of IP Telecommunications, Jul 2008, Heidelberg, Germany
Communication dans un congrès
inria-00333609
v1
|
|
Ontology-Directed Generation of Frameworks For Pervasive Service DevelopmentProceedings of The 4th IEEE Workshop on Middleware Support for Pervasive Computing (PerWare 07), Mar 2007, United States. pp.501 - 508
Communication dans un congrès
hal-00306009
v1
|
Ontology-Directed Generation of Frameworks For Pervasive Service DevelopmentProceedings of the 4th IEEE Workshop on Middleware Support for Pervasive Computing (PerWare'07), Mar 2007, White Plains, NY, United States. pp.501--506
Communication dans un congrès
inria-00343533
v1
|
|
|
A Stepwise Approach to Developing Languages for SIP Telephony Service CreationIPTComm '07: Proceedings of the 1st international conference on Principles, systems and applications of IP telecommunications, Jul 2007, New York City, United States. pp.79-88
Communication dans un congrès
inria-00196520
v1
|
|
Language Technology for Internet-Telephony Service CreationIEEE International Conference on Communications, Jun 2006, Istanbul, Turkey. pp.1795-1800, ⟨10.1109/ICC.2006.254980⟩
Communication dans un congrès
inria-00196518
v1
|
|
A High-Level, Open-Ended Architecture For SIP-based ServicesProceedings of the tenth International Conference on Intelligence in service delivery Networks (ICIN 2006), May 2006, Bordeaux, France. pp.364-365
Communication dans un congrès
inria-00196516
v1
|
Dispositif de routage pour un système de téléphonie sur IPEuropean Union, Patent n° : EP1887774. 2008
Brevet
inria-00350014
v1
|
|
Dispositif d'interconnexion d'un système d'informations d'entreprise(s) à un serveurFrance, Patent n° : 06291276.1. 2006
Brevet
inria-00414682
v1
|
|
Faults in Linux: Ten Years Later[Research Report] RR-7357, INRIA. 2010, pp.21
Rapport
(rapport de recherche)
inria-00509256
v2
|
|
Herodotos: A Tool to Expose Bugs' Lives[Research Report] RR-6984, INRIA. 2009, pp.16
Rapport
(rapport de recherche)
inria-00406306
v1
|
|
A Domain-Specific IDL and its Compiler for Pervasive Computing Applications[Research Report] RR-6213, INRIA. 2007
Rapport
(rapport de recherche)
inria-00153375
v3
|
Ontology-Directed Generation of Frameworks For Pervasive Service Development[Research Report] 2006
Rapport
(rapport de recherche)
inria-00111032
v1
|
|
|
Telephony Software Engineering: A Domain-Specific Language Approach[Research Report] RR-5548, INRIA. 2005, pp.29
Rapport
(rapport de recherche)
inria-00070459
v1
|
|
Langages dédiés au développement de services de communicationsRéseaux et télécommunications [cs.NI]. Université Sciences et Technologies - Bordeaux I, 2008. Français. ⟨NNT : ⟩
Thèse
tel-00340864
v1
|
Chargement...
Chargement...