biblio.bib
@INPROCEEDINGS{adya02,
AUTHOR = {A. Adya and J. Howell and M. Theimer and W. J. Bolosky and J. R. Douceur},
TITLE = {{C}ooperative {T}ask {M}anagement without {M}anual {S}tack {M}anagement or, {E}vent-{D}riven is {N}ot the {O}pposite of {T}hreaded {P}rogramming},
PAGES = {289 -- 302},
CROSSREF = {UATC02},
URL = {http://research.microsoft.com/~adya/pubs/usenix2002-fibers.pdf},
ABSTRACT = {
},
COMMENT = {/home/thesards/loyaute/RESEARCH/articles/Cooperative Task Management without Manual Stack Management.pdf}
}
@BOOK{appe02,
AUTHOR = {A. W. Appel and J. Palsberg},
TITLE = {{M}odern {C}ompiler {I}mplementation in {J}ava},
YEAR = 2002,
EDITION = {second},
PUBLISHER = {Cambridge University Press, Cambridge, United Kingdom},
ISBN = {0-521-82060-X}
}
@INPROCEEDINGS{barf99,
AUTHOR = {P. Barford and M. Crovella},
TITLE = {{A} {P}erformance {E}valuation of {H}yper {T}ext {T}ransfer {P}rotocols},
PAGES = {188 -- 197},
CROSSREF = {MMCS99},
URL = {http://www.cs.bu.edu/faculty/crovella/paper-archive/sigm99.ps},
ABSTRACT = {
},
COMMENT = {/home/thesards/loyaute/RESEARCH/articles/A Performance Evaluation of Hyper Text Transfer Protocols.ps.gz}
}
@BOOK{bera99,
AUTHOR = {B. Bérard and M. Bidoit and F. Laroussinie and A. Petit and P. Schnoebelen},
TITLE = {{V}érification de {L}ogiciels : {T}echniques et {O}utils du {M}odel-{C}hecking},
YEAR = {1999},
PUBLISHER = {Vuibert Informatique, Paris, France},
ISBN = {2-7117-8646-3},
NOTE = {With G. Cécé, C. Dufourd, A. Finkel, L. Petrucci and G. Sutre}
}
@INPROCEEDINGS{bers01,
AUTHOR = {J. Berstel and S. C. Reghizzi and G. Roussel and P. San Pietro},
TITLE = {{A} {S}calable {F}ormal {M}ethod for {D}esign and {A}utomatic {C}hecking of {U}ser {I}nterfaces},
PAGES = {453 -- 462},
CROSSREF = {ICSE01},
URL = {http://www.elet.polimi.it/upload/sanpietr/pubs/ICSE2001-originalsubmission.pdf},
ABSTRACT = {Cet article s'intéresse à la spécification formelle, à la conception et à l'implantation des
composants comportementaux des interfaces graphiques utilisateurs. Les séquences plus ou moins complexes
des événements et des actions constituant le dialogue entre l'utilisateur et l'interface sont spécifiés
sous forme de grammaires attribuées et plus précisemment de grammaires de communications VEG
(Visual Event Grammar). La spécification en VEG est complètement indépendante de l'apparence de l'interface
ce qui permet de l'intégrer avec différentes apparences (Gtk, Swing, AWT, ...) mais aussi du langage de
programmation de l'application (C, C++, Java, ...). De plus cette spécification peut être vérifié avec le
vérificateur de modèle SPIN afin de tester sa consistance mais aussi sa correction et ainsi de détecter
les interblocages ou les états qui sont inatteignables, mais aussi pour générer des tests afin de valider
certains comportements. En utilisant des analyseurs syntaxiques, du code efficace est généré et des
applications de tailles importantes (application médicale, librairie de construction de graphe, ...)
peuvent être développées et ne souffrent pas de la comparaison avec des applications développées à la main.
A l'aide de l'ensemble de ces outils, des gains importants sont réalisés concernant la détection des
erreurs et leur correction (fourniture de contre exemples par SPIN), généricité vis à vis de l'apparence
de l'application, etc.
},
COMMENT = {/home/thesards/loyaute/RESEARCH/articles/A Scalable Formal Method for Design and Automatic Checking of User Interfaces.pdf}
}
@INPROCEEDINGS{brun02,
AUTHOR = {E. Bruneton and R. Lenglet and T. Coupaye},
TITLE = {{ASM} : {A} {C}ode {M}anipulation {T}ool for the {C}onstruction of {A}daptable {S}ystems},
CROSSREF = {ASF-SIGOPS02},
NOTE = {Also available in French "ASM : Un Outil de Manipulation de Code pour la R\'ealisation de Syst\`emes Adaptables"},
URL = {http://asm.objectweb.org/current/asm-fr.pdf},
ABSTRACT = {Cet article présente un nouvel outil de manipulation de classes Java conçu pour la génération
et la manipulation dynamiques du code. Ces deux techniques sont très utiles pour la réalisation de systèmes
adaptables. Contrairement aux différentes approches existantes (SERP, BCEL, etc), ASM utilise une approche
originale en exploitant le patron de conception Visiteur sans représenter explicitement l'arborescence
visitée sous forme d'objets. Les performances obtenues grâce à cette technique sont bien supérieures à
celles des outils existants. Néanmoins, l'idée principale d'ASM est d'optimiser au maximum les opérations
les plus souvent effectuées, et de fait certaines opérations restent coûteuse en temps.
},
COMMENT = {/home/thesards/loyaute/RESEARCH/articles/ASM Un Outil de Manipulation de Code pour la Realisation de Systemes Adaptables.pdf}
}
@INPROCEEDINGS{camp04,
AUTHOR = {A. Campi and E. Martinez and P. San Pietro},
TITLE = {{E}xperiences with a {F}ormal {M}ethod for {D}esign and {A}utomatic {C}hecking of {U}ser {I}nterfaces},
PAGES = {},
CROSSREF = {IUICADUI04},
URL = {http://www.elet.polimi.it/upload/campi/veg/pubs/2004IUICADUI.pdf},
ABSTRACT = {
},
COMMENT = {/home/thesards/loyaute/RESEARCH/articles/Experiences with a Formal Method for Design and Automatic Checking of User Interfaces.pdf}
}
@INPROCEEDINGS{carz98,
AUTHOR = {A. Carzaniga and E. Di Nitto and D. S. Rosenblum and A. L. Wolf},
TITLE = {{I}ssues in {S}upporting {E}vent-{B}ased {A}rchitectural {S}tyles},
PAGES = {17 -- 20},
CROSSREF = {ISAW98},
URL = {http://www.cs.colorado.edu/users/carzanig/papers/isaw3.ps.gz},
ABSTRACT = {De nombreux styles architecturaux ont été formalisés afin de répondre à des contraintes de
stabilité et de coût de développement d'applications (notamment les applications réseaux). Certains
définissent un ensemble de règles permettant de composer un système à partir de composants et de
connecteurs. L'un des styles les plus courants pour des applications distribuées à monté en charge
importante est l'approche dîte événementielle. Dans cette approche, les composants vont communiquer en
publiant ou en réceptionnant de façon asynchrone des notifications d'événements. Une notification étant
propagée à l'ensemble des composants déclarés intéressé par celle-ci. Cette approche est très intéressante
car un composant peut opérer dans le système sans avoir de connaissance sur les autres composants, et il
est très facile d'ajouter ou de supprimer un composant (il n'y a aucune conséquence pour les autres
composants). Cet article identifie les variations au style événementiel introduit par différentes
implantations et met en avant leurs avantages et leurs inconvénients.},
COMMENT = {/home/thesards/loyaute/RESEARCH/articles/Issues In Supporting Event-Based Architectural Styles.pdf}
}
@INPROCEEDINGS{cast95,
AUTHOR = {C. Castelluccia and P. Hoschka},
TITLE = {{A} {C}ompiler-{B}ased {A}pproach to {P}rotocol {O}ptimization},
PAGES = {73 -- 78},
CROSSREF = {HPCS95},
URL = {http://www-sop.inria.fr/rodeo/personnel/Claude.Castellucia/hpcs.ps.Z},
ABSTRACT = {Il existe deux approches différentes pour arriver à implanter un protocole suffisament
performant pour des réseaux haut débit. La première est l'optimisation manuelle du code (prédiction de
branches, l'inline de fonctions, etc). La seconde est la configuration du protocole, c'est-à-dire
l'implantation du protocole selon des paramètres dépendant de l'application, du matériel ou de la
technologie du réseau sous-jacent. Il est intéressant de remarquer que les performances d'un protocole
obtenu à partir d'une configuration peut être amélioré par les techniques manuelles (décrites auparavant),
mais il est inutile de le faire du fait d'une variété importante des configurations possibles
(multiplication du temps et de l'effort fourni). Il est donc intéressant de pouvoir automatiser
l'application des optimisations sur le code obtenue par configuration du protocole.
},
COMMENT = {/home/thesards/loyaute/RESEARCH/articles/A Compiler-Based Approach to Protocol Optimization.ps.gz}
}
@INPROCEEDINGS{cast96a,
AUTHOR = {C. Castelluccia and W. Dabbous and S. O'Malley},
TITLE = {{G}enerating {E}fficient {P}rotocol {C}ode from an {A}bstract {S}pecification},
PAGES = {60 -- 72},
CROSSREF = {SIGCOMM96},
URL = {http://www-sop.inria.fr/rodeo/personnel/Claude.Castellucia/sigcomm.ps.Z},
ABSTRACT = {Un compilateur de protocole prend en entré une spécification abstraite
et génére une implantation de celui-ci. Généralement le code ainsi produit est
inefficace en terme de vitesse et de taille. Cet article présente la combinaison
de deux techniques permettant de générer du code efficace. La première est la
génération d'un automate unique au lieu de plusieurs automates indépendants, et
la seconde applique des techniques d'optimisation sur cet automate (plus exactement
sur les différentes branches le constituant).},
COMMENT = {/home/thesards/loyaute/RESEARCH/articles/Generating Efficient Protocol Code from an Abstract Specification.ps.gz}
}
@INPROCEEDINGS{cast96b,
AUTHOR = {C. Castelluccia},
TITLE = {{A}utomating {H}eader {P}rediction},
PAGES = {44 -- 53},
CROSSREF = {WCSSS96},
URL = {http://www-sop.inria.fr/rodeo/personnel/Claude.Castellucia/headpred.ps.Z},
ABSTRACT = {A l'heure actuelle, les implantations des différents protocoles sont des goulets d'étranglements
pour les réseaux. Cet article présente une technique permettant d'améliorer leurs performances, il s'agit
de la prédiction d'en-tête. Celle-ci correspond à l'optimisation du chemin commun en rajoutant une copie du
code lui correspondant. Mais en réalisant cette optimisation manuellement des problèmes de coûts
apparaissent (augmentation de la taille du code, difficulté de générer un code correct, ...). Cet article
propose donc une approche automatique de la prédiction d'ent-tête en utilisant un compilateur de protocole.
Le but étant de réorganiser le code généré afin d'obtenir les bénéfices de la prédiction sans augmentation
des coûts.},
COMMENT = {/home/thesards/loyaute/RESEARCH/articles/Automating Header Prediction.ps.gz}
}
@ARTICLE{clar96,
AUTHOR = {E. M. Clarke and J. M. Wing},
TITLE = {{F}ormal {M}ethods : {S}tate of the {A}rt and {F}uture {D}irections},
JOURNAL = {ACM Computing Surveys},
PUBLISHER = {ACM Press, New York, USA},
VOLUME = {28},
NUMBER = {4},
PAGES = {626 -- 643},
YEAR = {1996},
MONTH = MAR,
URL = {http://www-2.cs.cmu.edu/afs/cs/project/calder/papers/acm/acm.ps},
ABSTRACT = {Cet article réalise un résumé des techniques mathématiques utilisées pour la spécification et
la vérification de systèmes complexes (matériels ou applications). L'un des problèmes majeurs auquel doit
faire face ces techniques provient de la taille et de la complexité sans cesse croissantes des
applications. De plus, il faut que les spécifications formelles, c'est-à-dire la description d'un système
et de ces propriétés souhaitées, doivent être accessibles aux concepteurs d'applications (idéalement le
plus proche possible du langage de développement). De plus, il faut que cette spécification reflète
réellement le système, et pour se faire il faut utiliser des techniques automatiques permettant d'obtenir
une spécification à partir d'une application (raffinage) ou une application à partir d'une spécification
(génération). Une seconde étape est de vérifier les propriétés en utilisant deux techniques bien distinctes
(que l'on peut combiner ?) : la vérification de modèles et la preuve de théorêmes. L'illustration des
différentes techniques et des différents utilitaires existants est réalisée au travers quelques
utilisations dans l'industrie. Enfin, cet article présente quelques voies possibles de recherches dans le
domaine des méthodes formelles passant nécessairement par la définition de nouveaux langages de
spécification et de nouvelles techniques de vérification.
},
COMMENT = {/home/thesards/loyaute/RESEARCH/articles/Formal Methods State of the Art and Future Directions.ps.gz}
}
@INPROCEEDINGS{cugo98,
AUTHOR = {G. Cugola and E. Di Nitto and A. Fuggetta},
TITLE = {{E}xploiting an {E}vent-{B}ased {I}nfrastructure to {D}evelop {C}omplex {D}istributed {S}ystems},
PAGES = {261 -- 270},
CROSSREF = {ICSE98},
URL = {http://www.elet.polimi.it/upload/cugola/Papers/icse98-Final.ps.gz},
ABSTRACT = {
},
COMMENT = {/home/thesards/loyaute/RESEARCH/articles/Exploiting an Event-Based Infrastructure to Develop Complex Distributed Systems.ps.gz}
}
@INPROCEEDINGS{dabe02,
AUTHOR = {F. Dabek and N. Zeldovich and F. Kaashoek and D. Mazieres and R. Morris},
TITLE = {{E}vent-{D}riven {P}rogramming for {R}obust {S}oftware},
PAGES = {186 -- 189},
CROSSREF = {ASEW02},
URL = {http://www.pdos.csail.mit.edu/~rtm/papers/dabek:event.pdf},
ABSTRACT = {Les événements sont meilleurs que les threads pour la gestion concurrente des différentes
entrées / sorties, mais ils offrent aussi une plus grande stabilité de performance sous une forte charge.
Néanmoins, ceux-ci présentent quelques désavantages dont notamment un nombre important d'allocation
dynamique, une difficulté de programmation et une incapacité de tirer avantage des architectures
multi-processeurs. Ce papier présente une librairie d'entrées / sorties non bloquantes permettant de
faciliter la programmation d'applications événementielles, mais aussi de tirer avantage des architectures
SMP. Ainsi les événements fournissent pratiquement tous les avantages proposés par les threads avec une
plus grande robustesse (abscence entre autre des data races ou des interblocages).
},
COMMENT = {/home/thesards/loyaute/RESEARCH/articles/Event-Driven Programming for Robust Software.pdf}
}
@PHDTHESIS{danj04,
AUTHOR = {V. Danjean},
TITLE = {{C}ontribution à l'{E}laboration d'{O}rdonnanceurs de {P}rocessus {L}égers {P}erformants et {P}ortables pour {A}rchitectures {M}ultiprocesseurs},
SCHOOL = {Ecole Normale Supérieure de Lyon, France},
YEAR = {2004},
MONTH = DEC,
URL = {http://dept-info.labri.fr/~danjean/publis/Dan04Thesis.ps.gz},
ABSTRACT = {
},
COMMENT = {/home/thesards/loyaute/RESEARCH/articles/Contribution a l'Elaboration d'Ordonnanceurs de Processus Legers Performants et Portables pour Architectures Multiprocesseurs.ps.gz}
}
@BOOK{dero01,
AUTHOR = {W.-P. de Roever and F. de Boer and U. Hannemann and J. Hooman and Y. Lakhnech and M. Poel and J. Zwiers},
EDITOR = {S. Abramsky and P. H. Aczel and J. W. de Bakker and Y. Gurevich and J. V. Tucker},
TITLE = {{C}oncurrency {V}erification : {I}ntroduction to {C}ompositional and {N}oncompositional {M}ethods},
SERIES = {Cambridge Tracts in Theoretical Computer Science},
VOLUME = {54},
YEAR = {2001},
ISBN = {0-521-80608-9},
PUBLISHER = {Cambridge University Press, Cambridge, United Kingdom}
}
@ARTICLE{eugs03,
AUTHOR = {P. Th. Eugster and P. A. Felber and R. Guerraoui and A.-M. Kermarrec},
TITLE = {{T}he {M}any {F}aces of {P}ublish / {S}ubscribe},
PUBLISHER = {ACM Press, New York, USA},
VOLUME = {35},
NUMBER = {2},
YEAR = 2003,
MONTH = JUN,
PAGES = {114 -- 131},
JOURNAL = {ACM Computing Surveys (CSUR)},
URL = {http://www.eurecom.fr/~felber/publications/CS-03.pdf},
ABSTRACT = {
},
COMMENT = {RESEARCH/articles/The Many Faces of Publish Subscribe.pdf}
}
@BOOK{fahr03,
AUTHOR = {T. Fahringer and B. Scholz},
EDITOR = {G. Goos and J. Hartmanis and J. van Leeuwen},
TITLE = {{A}dvanced {S}ymbolic {A}nalysis for {C}ompilers : {N}ew {T}echniques and {A}lgorithms for {S}ymbolic {P}rogram {A}nalysis and {O}ptimization},
SERIES = {Lecture Notes in Computer Sciences},
VOLUME = {2628},
YEAR = {2003},
ISBN = {3-540-01185-4},
PUBLISHER = {Springer-Verlag Heidelberg, Germany},
URL = {http://www.springerlink.com/app/home/issue.asp?wasp=84v16cpkwm3uwgf82m2u&referrer=nav&nav_page_all.x=1&absolutepage=1&pagecount=1&backto=journal,600,1770;linkingpublicationresults,1:105633,1},
ABSTRACT = {
}
}
@PHDTHESIS{fenk03,
AUTHOR = {Pascal Fenkam},
TITLE = {{A} {S}ystematic {A}pproach to the {D}evelopment of {E}vent-{B}ased {A}pplications},
SCHOOL = {Information Systems Institute of the Technical University of Vienna},
YEAR = {2003},
MONTH = OCT,
ADDRESS = {Vienna, Austria},
URL = {http://www.infosys.tuwien.ac.at/Staff/mj/RESEARCH/phds/PascalFenkam.pdf},
ABSTRACT = {
},
COMMENT = {/home/thesards/loyaute/RESEARCH/articles/A Systematic Approach to the Development of Event-Based Applications.pdf}
}
@ARTICLE{fieg02a,
AUTHOR = {L. Fiege and G. Mühl and F. C. Gärtner},
TITLE = {{M}odular {E}vent-{B}ased {S}ystems},
JOURNAL = {The Knowledge Engineering Review},
YEAR = {2002},
VOLUME = {17},
NUMBER = {4},
PAGES = {359 -- 388},
MONTH = DEC,
PUBLISHER = {Cambridge University Press, New York, USA},
URL = {http://www.gkec.informatik.tu-darmstadt.de/rebeca/ker17_4.pdf},
ABSTRACT = {
},
COMMENT = {/home/thesards/loyaute/RESEARCH/articles/Modular Event-Based Systems.pdf}
}
@INPROCEEDINGS{fieg02b,
AUTHOR = {L. Fiege and G. Mühl and F. C. Gärtner},
TITLE = {{A} {M}odular {A}pproach to {B}uild {S}tructured {E}vent-{B}ased {S}ystems},
PAGES = {385 -- 392},
CROSSREF = {SAC02},
URL = {http://www.gkec.informatik.tu-darmstadt.de/fiege/sac02.pdf},
ABSTRACT = {
},
COMMENT = {A Modular Approach to Build Structured Event-Based Systems.pdf}
}
@ARTICLE{field02a,
AUTHOR = {R. T. Fielding and R. N. Taylor},
TITLE = {{P}rincipled {D}esign of the {M}odern {W}eb {A}rchitecture},
JOURNAL = {ACM Transactions on Internet Technology},
VOLUME = {2},
NUMBER = {2},
PAGES = {115 -- 150},
MONTH = MAY,
YEAR = {2002},
PUBLISHER = {ACM Press, New York, USA},
URL = {http://www.ics.uci.edu/~fielding/pubs/webarch_icse2000.pdf},
ABSTRACT = {
},
COMMENT = {/home/thesards/loyaute/RESEARCH/articles/Principled Design of the Modern Web Architecture.pdf}
}
@INPROCEEDINGS{field02b,
AUTHOR = {R. T. Fielding and R. N. Taylor},
TITLE = {{P}rincipled {D}esign of the {M}odern {W}eb {A}rchitecture},
BOOKTITLE = {CROSSREF},
YEAR = {2002},
PAGES = {},
URL = {http://www.ics.uci.edu/~taylor/documents/2002-REST-TOIT.pdf},
ABSTRACT = {
},
COMMENT = {/home/thesards/loyaute/RESEARCH/articles/Journal Principled Design of the Modern Web Architecture}
}
@BOOK{gamm99,
AUTHOR = {E. Gamma and R. Helm and R. Johnson and J. Vlissides},
TITLE = {Design Patterns : Catalogue de modèles de conception réutilisables},
YEAR = {1999},
ISBN = {2-7117-8644-7},
PUBLISHER = {Vuibert Informatique, Paris, France}
}
@INPROCEEDINGS{garl03,
AUTHOR = {D. Garlan and S. Khersonsky and J. S. Kim},
TITLE = {{M}odel {C}hecking {P}ublish-{S}ubscribe {S}ystems},
PAGES = {166 -- 180},
CROSSREF = {SPIN03},
URL = {http://spinroot.com/spin/Workshops/ws03/Garlan.pdf},
ABSTRACT = {
},
COMMENT = {/home/thesards/loyaute/RESEARCH/articles/Model Checking Publish-Subscribe Systems.pdf}
}
@ARTICLE{hoar87,
AUTHOR = {C. A. R. Hoare and I. J. Hayes and He Jifeng and C. C. Morgan and A. W. Roscoe and J. W. Sanders and I. H. Sorensen and J. M. Spivey and B. A. Sufrin},
TITLE = {{L}aws of {P}rogramming},
JOURNAL = {Communications of the {ACM}},
VOLUME = {30},
NUMBER = {8},
YEAR = {1987},
ISSN = {0001-0782},
PAGES = {672 -- 686},
PUBLISHER = {ACM Press, New York, USA},
URL = {web.comlab.ox.ac.uk/oucl/ work/bill.roscoe/publications/20.pdf},
ABSTRACT = {
},
COMMENT = {/home/thesards/loyaute/RESEARCH/articles/Laws of Programming.pdf}
}
@BOOK{holz03,
AUTHOR = {G. J. Holzmann},
TITLE = {{T}he {SPIN} {M}odel {C}hecker : {P}rimer and {R}eference {M}anual},
YEAR = 2003,
MONTH = SEP,
ISBN = {0-321-22862-6},
PUBLISHER = {Addison Wesley Professional, Boston, USA},
ABSTRACT = {Ce livre constitue le principal manuel de référence de l'utilitaire SPIN. Il couvre notamment
la spécification du langage Promela qui permet de décrire un modèle représentant une application
concurrente et de vérifier des propriétés de vivacité, d'atteignabilité, ... (à l'aide entre autre de
logiques temporelles linéaires). Il présente aussi les bases théoriques de la vérification de modèle
(recherche en largeur et en profondeur, optimisation de la recherche, extraction d'un modèle à partir du
code source, réduction de l'espace des états, ...) qui est l'une des techniques utilisables pour la
vérification d'une application (les deux autres étant le
test de l'application ou la preuve de théorèmes). La technique du « model checking » est complètement
automatique (il faut tout de même élaborer un modèle représentant l'application ainsi que de formaliser les
propriétés que l'on souhaite vérifier) tandis que la preuve de théorème nécessite la construction de la
preuve et les tests interviennent après la phase de conception de l'application. Il faut tout de même noter
que la construction d'un modèle est une étape difficile à formaliser et de plus le modèle obtenue n'est pas
fortement lié à l'application qu'il doit représenter (ce n'est qu'une « interprétation » formelle d'une
application).
}
}
@ARTICLE{holz97,
AUTHOR = {G. J. Holzmann},
TITLE = {{T}he {M}odel {C}hecker {SPIN}},
JOURNAL = {IEEE Transactions on Software Engineering},
VOLUME = {23},
NUMBER = {5},
YEAR = 1997,
MONTH = MAY,
PAGES = { -- },
PUBLISHER = {TODO},
URL = {http://spinroot.com/spin/Doc/ieee97.pdf},
ABSTRACT = {
},
COMMENT = {/home/thesards/loyaute/RESEARCH/articles/The Model Checker SPIN.pdf}
}
@BOOK{hopc03,
AUTHOR = {J. E. Hopcroft and R. Motwani and J. D. Ullman},
TITLE = {{I}ntroduction to {A}utomata {T}heory, {L}anguages, and {C}omputation},
PUBLISHER = {Addison Wesley Professional, Boston, USA},
YEAR = {2003},
ISBN = {0-321-21029-8},
EDITION = {second}
}
@BOOK{kakd03,
AUTHOR = {O. G. Kakde},
TITLE = {{A}lgorithms for {C}ompiler {D}esign},
PUBLISHER = {Charles River Media, INC., Hingham, Massachusetts, USA},
YEAR = {2003},
ISBN = {1-58450-100-6}
}
@INPROCEEDINGS{laru02,
AUTHOR = {J. R. Larus and M. Parkes},
TITLE = {{U}sing {C}ohort {S}cheduling to {E}nhance {S}erver {P}erformance},
CROSSREF = {UATC02},
PAGES = { -- },
URL = {http://research.microsoft.com/users/ larus/Papers/usenix02_cohort.pdf},
ABSTRACT = {
},
COMMENT = {/home/thesards/loyaute/RESEARCH/articles/Using Cohort Scheduling to Enhance Server Performance.pdf}
}
@ARTICLE{laue79,
AUTHOR = {H. C. Lauer and R. M. Needham},
TITLE = {{O}n the {D}uality of {O}perating {S}ystem {S}tructures},
JOURNAL = {SIGOPS Operating Systems Review},
VOLUME = {13},
NUMBER = {2},
YEAR = {1979},
MONTH = APR,
ISSN = {0163-5980},
PAGES = {3 -- 19},
PUBLISHER = {ACM Press, New York, USA},
URL = {http://www.cs.ucf.edu/~eurip/cop6614/duality78.pdf},
ABSTRACT = {Cet article émet comme postulat qu'il existe une dualité entre les deux structures (orienté
procédures ou orienté messages) possibles des systèmes d'exploitation modernes. La première catégorie est
caractérisée par un nombre important de petit processus qui varie très rapidemment dans le temps,
accompagné d'un mécanisme de synchronisation basé sur des données partagées. La seconde quant à elle est
caractérisée par un petit nombre statique de gros processus qui communiquent entre eux par des messages
explicites. A partir de modèle abstrait tiré de chacune de ces catégories, il est montré qu'un programme
respectant strictement l'une ou l'autre des deux catégories à une contrepartie directe dans l'autre. La
transformation utilisée afin d'obtenir le dual d'un programme va conserver la structure et les performances
du programme source. Il faut noter tout de même que pour conserver les performances, les opérations
primitives d'une catégorie doivent être aussi efficaces que les primitives de l'autre (les auteurs
considérent ainsi sans preuve qu'il est possible de développer les primitives des deux catégories de
manière efficace).
},
COMMENT = {/home/thesards/loyaute/RESEARCH/articles/On the Duality of Operating System Structures.pdf},
NOTE = {Reprint of the original paper by H. C. Lauer and R. M. Needham in 'Proceedings of the Second
Symposium on Operating Systems'}
}
@MISC{lea,
AUTHOR = {D. Lea},
TITLE = {{S}calable {IO} in {J}ava},
NOTE = {A set of slides on the Java nio package},
URL = {http://gee.cs.oswego.edu/dl/cpjslides/nio.pdf},
ABSTRACT = {
},
COMMENT = {/home/thesards/loyaute/RESEARCH/articles/Scalable IO in Java.pdf}
}
@INPROCEEDINGS{male03,
AUTHOR = {J. Malenfant and S. Denier},
TITLE = {{ARM} : {U}n {M}odèle {R}éflexif {A}synchrone pour les {O}bjets {R}épartis et {R}éactifs},
CROSSREF = {LMO03},
PAGES = {91 -- 103},
URL = {http://www-valoria.univ-ubs.fr/duhaut/maam/Jacques/lmo2003.pdf},
ABSTRACT = {
},
COMMENT = {/home/thesards/loyaute/RESEARCH/articles/ARM Un Modele Reflexif Asynchrone pour les Objets Repartis et Reactifs.pdf}
}
@INPROCEEDINGS{mich02,
AUTHOR = {S. Michiels and L. Desmet and N. Janssens and T. Mahieu and P. Verbaeten},
TITLE = {{S}elf-{A}dapting {C}oncurrency : {T}he {DMonA} {A}rchitecture},
PAGES = {43 -- 48},
CROSSREF = {WOSS02},
URL = {http://www.cs.kuleuven.ac.be/cwis/research/distrinet/resources/publications/40361.pdf},
ABSTRACT = {A l'heure actuelle, les serveurs Internet doivent faire face à une extrème variabilité de la
charge et notamment évaluer le pic de charge potentiellement atteignable. Les architectures doivent
prendre en compte ce phénomène de variation et proposer un contrôle et donc une adaptation de la
concurrence interne au serveur. Ainsi, il est nécessaire de développer des architectures à composant
permettant de faciliter le développement de tels serveurs. Cet article propose DMonA, une architecture
basée sur DiPS, qui sépare les fonctionnalités du serveur des autres aspects, tels que la concurrence,
la communication inter-composant, etc. Elle propose ainsi un observateur et un gestionnaire permettant de
détecter les goulets d'étranglements (plus particulièrement le plus gros goulets d'étranglements) propose
des solutions à ce problème en fonction de stratégies définies et les déploient « à la volée ». Les
résultats obtenus montrent que cette adaptation offre de meilleurs résultats que ceux d'une approche
traditionnelle, c'est-à-dire sans adaptation.
},
KEYWORDS = {component architecture, concurrency, self-adaptation},
COMMENT = {/home/thesards/loyaute/RESEARCH/articles/Self-Adapting Concurrency The DMonA Architecture.pdf}
}
@INPROCEEDINGS{mosb98,
AUTHOR = {D. Mosberger and T. Jin},
TITLE = {{H}ttperf : {A} {T}ool for {M}easuring {W}eb {S}erver {P}erformance},
PAGES = {59 -- 67},
CROSSREF = {WISP98},
URL = {http://www.cs.wisc.edu/~cao/WISP98/final-versions/davidm.ps},
ABSTRACT = {Cet article présente un utilitaire pour mesurer les performances de serveurs Web. Il présente
une forte flexibilité dans la génération du traffic HTTP et dans les techniques utilisées pour mesurer
les performances des serveurs. Ainsi, le but principal de cet utilitaire n'est pas d'implanter un
utilitaire de « benchmark » particulier mais plutôt de fournir un outils robuste, performant facilitant
la construction de « benchmarks » à différents niveaux. Httperf s'illustre notamment par sa robustesse
(car il génére et soutient une charge importante), supporte le protocol HTTP/1.1 et enfin par son
extensibilité (plus particulièrement, dans la génération du traffic Web et dans les techniques utilisées
pour mesurer les performances du ou des serveurs). Cet outil est de plus très intéressant par son
architecture événementielle entre ces différents composants (on citera pour exemple la partie traitant du
protocol HTTP, celle générant le traffic et enfin la partie s'occupant de collecter et de traiter les
différentes mesures).
},
COMMENT = {/home/thesards/loyaute/RESEARCH/articles/Httperf A Tool for Measuring Web Server Performance.ps.gz}
}
@BOOK{olde99,
AUTHOR = {E.-R. Olderog and B. Steffen},
EDITOR = {G. Goos and J. Hartmanis and J. van Leeuwen},
TITLE = {{C}orrect {S}ystem {D}esign : {R}ecent {I}nsights and {A}dvances},
PUBLISHER = {Springer-Verlag Heidelberg, Germany},
YEAR = {1999},
ISBN = {3-540-66624-9},
SERIES = {Lecture Notes in Computer Sciences},
VOLUME = {1710}
}
@INPROCEEDINGS{oust96,
AUTHOR = {J. Ousterhout},
TITLE = {{W}hy {T}hreads {A}re a {B}ad {I}dea (for most purposes)},
CROSSREF = {UATC96},
URL = {http://www.csd.uch.gr/~hy527/papers/threads-ousterhout.pdf},
ABTSTRACT = {Cette présentation s'intéresse à la comparaison des deux modèles de programmation concurrente
d'une application (programmation utilisant des processus légers ou programmation événementielle).
Tout d'abord, elle commence par la description de chacun de ces deux modèles, leurs
inconvénients respectifs, ainsi que les cas d'utilisations les plus classiques. Enfin, la comparaison
effective des
deux modèles est effectuée mettant l'accent sur l'utilisation des événements plutôt que des processus
légers. Néanmoins, cette présentation est fortement biaisé par le paradigme de programmation événementiel
et ne met pas en avant la possible combinaison des deux modèles et son intérêt.
},
COMMENT = {},
NOTE = {Invited talk}
}
@INPROCEEDINGS{pai99,
AUTHOR = {V. S. Pai and P. Druschel and W. Zwaenepoel},
TITLE = {{F}lash : {A}n {E}fficient and {P}ortable {W}eb {S}erver},
PAGES = {--},
CROSSREF = {UATC99},
URL = {http://www.usenix.org/events/usenix99/full_papers/pai/pai.pdf},
ABSTRACT = {Cet article présente une nouvelle architecture de serveur Web nommée
Asymemetric Multi-Process Event-Driven ainsi que des architectures plus classiques utilisant plusieurs
processus (Multi Process) ou plusieurs threads (Multi Threads) ou bien utilisant un seul processus de
traitement événementiel (Single Process Event-Driven). Dans un second temps, différentes techniques
d'optimisation sont présentées, plus spécifiquement différents caches pour la translation de chemin, les
en-têtes des réponses et les fichiers mappés en mémoires. Dans ce dernier cas, les fichiers sont inclus
dans des blocs de tailles fixes, il y a donc division en plusieurs blocs des fichiers trop gros. Enfin,
une évaluation et une comparaison de cette nouvelles architecture est donnée, celle-ci montrant qu'il y
a une amélioration des performances de 30\% en comparaison avec Zeus et de 50\% en comparaison avec Apache.
},
COMMENT = {/home/thesards/loyaute/RESEARCH/phd/articles/Flash An Efficient and Portable Web Server.pdf}
}
@INPROCEEDINGS{raja03,
AUTHOR = {M. Rajagopalan and S. K. Debray and M. A. Hiltunen and R. D. Schlichting},
TITLE = {{C}assyopia : {C}ompiler {A}ssisted {S}ystem {O}ptimization},
PAGES = {103 -- 108},
CROSSREF = {HOTOS03},
URL = {http://www.cs.arizona.edu/people/debray/papers/hotos.ps},
ABSTRACT = {L'exécution d'un programme sur une ou plusieurs machines nécessitent des espaces d'adressage.
En utilisant une technique par compilation, ce papier présente une approche permettant de réduire de tel
coût. Plus particulièrement, en réduisant le nombre d'appels systèmes sur une unique machine, en
introduisant la notion de multi appel. Les résultats obtenus montrent que cette approche permet
d'améliorer les performances d'un programme.
},
COMMENT = {/home/thesards/loyaute/RESEARCH/phd/articles/Cassyopia Compiler Assisted System Optimization.ps.gz}
}
@TECHREPORT{ryan03,
AUTHOR = {N. D. Ryan and A. L. Wolf},
TITLE = {{U}sing {E}vent-{B}ased {P}arsing to {S}upport {D}ynamic {P}rotocol {E}volution},
INSTITUTION = {Department of Computer Science, University of Colorado at Boulder, USA},
YEAR = {2003},
NUMBER = {CU-CS-947-03},
ADDRESS = {Boulder, Colorado, USA},
MONTH = MAR,
ABSTRACT = {Le but de ce rapport technique est de contribuer aux techniques permettant
de prendre en compte l'évolution des protocoles de communication au sein d'applications.
C'est-à-dire, permettre aux applications de supporter des modifications apportées dynamiquement
à un protocole. Pour se faire, il est nécessaire d'isoler les détails syntaxiques
du protocole de ses concepts sémantiques, qui vont être manipulés à l'intérieur des
différents composants. La syntaxe d'un protocole va être spécifiée formellement en 4 parties :
les tokens, la structure des messages, le mode d'envoie des messages et la séquence des messages.},
URL = {http://www.cs.colorado.edu/users/alw/doc/papers/CU-CS-947-03.pdf},
COMMENT = {/home/thesards/loyaute/RESEARCH/phd/articles/Using Event-Based Parsing to Support Dynamic Protocol Evolution.pdf}
}
@BOOK{tane03a,
AUTHOR = {A. Tanenbaum},
TITLE = {{S}ystèmes d'{E}xploitation},
PUBLISHER = {Pearson Education, Paris, France},
YEAR = 2003,
ISBN = {2-744-07002-5},
EDITION = {fourth}
}
@BOOK{tane03b,
AUTHOR = {A. Tanenbaum},
TITLE = {{R}éseaux},
PUBLISHER = {Pearson Education, Paris, France},
YEAR = 2003,
ISBN = {2-744-07001-7},
EDITION = {fourth}
}
@MASTERSTHESIS{thib04,
AUTHOR = {S. Thibault},
TITLE = {{U}n {O}rdonnanceur {F}lexible pour {M}achines {M}ultiprocesseurs {H}iérarchisées},
SCHOOL = {Ecole Normale Supérieure de Lyon, France},
YEAR = {2004},
TYPE = {Diplôme d'{E}tude {A}pprofondie},
MONTH = JUN,
URL = {},
ABSTRACT = {
},
COMMENT = {}
}
@BOOK{triv02,
AUTHOR = {K. S. Trivedi},
TITLE = {{P}robability and {S}tatistics with {R}eliability, {Q}ueuing and {C}omputer {S}cience {A}pplications},
PUBLISHER = {John Wiley and Sons Ltd. Chichester, UK, UK},
YEAR = {2002},
ISBN = {0-471-33341-7},
EDITION = {second}
}
@TECHREPORT{wels00,
AUTHOR = {M. Welsh and S. D. Gribble and E. A. Brewer and D. Culler},
TITLE = {{A} {D}esign {F}ramework for {H}ighly {C}oncurrent {S}ystems},
INSTITUTION = {Department of Computer Science, University of California at Berkeley, USA},
NUMBER = {},
YEAR = {2000},
PUBLISHER = {University of California at Berkeley},
URL = {http://www.cs.berkeley.edu/~mdw/papers/events.pdf},
ABSTRACT = {Le but de rapport technique est de proposer un framework pour le développement de service
Internet hautement concurrent. Ces services nécessitent de gérer des informations sur les flots
d'informations mais aussi de maintenir un pic de bande passante même lorsque que les demandes excédent
les possibilités des resources disponibles. Beaucoup d'approches pour le développement de tels systèmes
ont été proposées et se divisent pour la plupart en deux catégories distinctes : les architectures
événementielles et celles utilisant des processus légers. Dans ce rapport, il est considéré que ces deux
catégories sont aux extrémités d'un large spectre et que la meilleure implantation se situe entre les deux.
Pour faciliter le développement d'une telle architecture, trois composants (atomiques pour l'architecture)
sont pris en considération : les tâches, les files et les pools de processus légers. De plus, afin de
transformer une application en une implantation utilisant ces composants, un ensemble de patrons de
conception est présenté. Enfin, une analyse de différents systèmes construits en utilisant ce framework
est présenté et permet d'illustrer les bénéfices obtenus lors de l'élaboration d'une application
concurrente.
},
COMMENT = {/home/thesards/loyaute/RESEARCH/phd/articles/A Design Framework for Highly Concurrent Systems.pdf}
}
@INPROCEEDINGS{wels01,
AUTHOR = {M. Welsh and D. E. Culler and E. A. Brewer},
TITLE = {{SEDA} : {A}n {A}rchitecture for {W}ell-{C}onditioned, {S}calable {I}nternet {S}ervices},
PAGES = {230 -- 243},
CROSSREF = {SOSP01},
URL = {http://www.cs.berkeley.edu/~mdw/papers/seda-sosp01.pdf},
ABSTRACT = {Le but de cet article est de proposer une nouvelle architecture pour le développement de
service Internet hautement concurrent, nommée Staged Event-Driven Architecture. Cette architecture peut
supporter des demandes massivement concurrentes et simplifier le développement de services Internet.
Ainsi, SEDA utilise l'approche événementielle qui permet de représenter une application comme étant un
réseau d'états connectés explicitement par des files des événements en attentes. Du fait d'une variation
importante de la charge (dépendant de différents paramètres), SEDA utilise des contrôleurs afin de gérer
dynamiquement les resources et plus particulièrement les processus légers utilisés (adaptation du modèle
de concurrence en fonction de la charge). Afin de montrer les avantages de SEDA, deux services Internent
sont développés, le premier est un serveur HTTP tandis que le second est un servent Gnutella. Les
résultats ainsi obtenus montrent que SEDA présente de meilleurs performances que les services plus
traditionnels et supporte bien les variations de la charge.
},
COMMENT = {/home/thesards/loyaute/RESEARCH/phd/articles/SEDA An Architecture for Well-Conditioned Scalable Internet Services.pdf}
}
@PHDTHESIS{wels02,
AUTHOR = {M. Welsh},
TITLE = {{A}n {A}rchitecture for {H}ighly {C}oncurrent, {W}ell-{C}onditioned {I}nternet {S}ervices},
SCHOOL = {Department of Computer Science, University of California at Berkeley, USA},
YEAR = 2002,
MONTH = AUG,
URL = {http://www.cs.berkeley.edu/~mdw/papers/mdw-phdthesis.pdf},
ABSTRACT = {
},
COMMENT = {/home/thesards/loyaute/RESEARCH/phd/articles/An Architecture for Highly Concurrent Well-Conditioned Internet Services.pdf}
}
@PROCEEDINGS{ASEW02,
KEY = {ASEW},
BOOKTITLE = {Tenth ACM SIGOPS European Workshop},
TITLE = {Tenth ACM SIGOPS European Workshop},
MONTH = SEP,
YEAR = 2002,
PUBLISHER = {ACM Press, New York, USA},
SERIES = {ACM Special Interest Group on OPerating Systems Issue},
ADDRESS = {Saint-Emilion, France}
}
@PROCEEDINGS{HOTOS03,
KEY = {HOTOS},
BOOKTITLE = {Ninth Workshop on Hot Topics in Operating Systems},
TITLE = {Ninth Workshop on Hot Topics in Operating Systems},
MONTH = MAY,
YEAR = 2003,
PUBLISHER = {USENIX, The Advanced Computing Systems Association, USA},
ADDRESS = {Lihue, Hawaï, USA}
}
@PROCEEDINGS{HPCS95,
KEY = {HPCS},
BOOKTITLE = {Third IEEE Workshop on the Architecture and Implementation of High Performance Communication Subsystems},
TITLE = {Third IEEE Workshop on the Architecture and Implementation of High Performance Communication Subsystems},
MONTH = AUG,
YEAR = 1995,
PUBLISHER = {IEEE Press, New Jersey, USA},
ADDRESS = {Mystic, Connecticut, USA}
}
@PROCEEDINGS{ISAW98,
KEY = {ISAW},
BOOKTITLE = {Proceedings of the Third International Software Architecture Workshop},
TITLE = {Proceedings of the Third International Software Architecture Workshop},
MONTH = NOV,
YEAR = 1998,
PUBLISHER = {ACM Press, New York, USA},
ADDRESS = {Orlando, Florida, USA}
}
@PROCEEDINGS{ICSE01,
KEY = {ICSE},
BOOKTITLE = {Proceedings of the 23rd International Conference on Software Engineering},
TITLE = {Proceedings of the 23rd International Conference on Software Engineering},
MONTH = MAY,
YEAR = 2001,
PUBLISHER = {IEEE Computer Society, Washington, DC, USA},
ADDRESS = {Toronto, Ontario, Canada},
SERIES = {ACM Special Interest Group on SOFTware Engineering}
}
@PROCEEDINGS{ICSE98,
KEY = {ICSE},
BOOKTITLE = {Proceedings of the Twentieth International Conference on Software Engineering},
TITLE = {Proceedings of the Twentieth International Conference on Software Engineering},
MONTH = APR,
YEAR = 1998,
PUBLISHER = {IEEE Computer Society, Washington, DC, USA},
ADDRESS = {Kyoto, Japan},
SERIES = {ACM Special Interest Group on SOFTware Engineering}
}
@PROCEEDINGS{IUICADUI04,
KEY = {IUICADUI},
BOOKTITLE = {IUI/CADUI'2004 Workshop on Making Model-Based UI Design Practical: Usable and Open Methods and Tools},
TITLE = {IUI/CADUI'2004 Workshop on Making Model-Based UI Design Practical: Usable and Open Methods and Tools},
MONTH = JAN,
YEAR = 2004,
PUBLISHER = {ACM Press, New York, USA},
ADDRESS = {Island of Madeira, Portugal}
}
@PROCEEDINGS{LMO03,
KEY = {LMO},
BOOKTITLE = {Actes de la conférence Langages et Modèles à Objets (LMO'03)},
TITLE = {Actes de la conférence Langages et Modèles à Objets (LMO'03)},
ADDRESS = {Vannes, France},
MONTH = FEB,
YEAR = {2003},
VOLUME = {9},
PUBLISHER = {L'Objet, éditions Hermès}
}
@PROCEEDINGS{MMCS99,
KEY = {MMCS},
BOOKTITLE = {Proceedings of the International Conference on Measurement and Modeling of Computer Systems},
TITLE = {Proceedings of the International Conference on Measurement and Modeling of Computer Systems},
ADDRESS = {Atlanta, Georgia, USA},
MONTH = MAY,
YEAR = {1999},
SERIES = {ACM Special Interest Group for the Computer / Communication System Performance Community},
PUBLISHER = {ACM Press, New York, USA}
}
@PROCEEDINGS{SIGCOMM96,
KEY = {SIGCOMM},
BOOKTITLE = {Conference proceedings on Applications, technologies, architectures, and protocols for computer communications},
TITLE = {Conference Proceedings on Applications, Technologies, Architectures, and Protocols for Computer Communications},
MONTH = OCT,
YEAR = 1996,
PUBLISHER = {ACM Press, New York, USA},
ADDRESS = {Palo Alto, California, USA},
SERIES = {ACM Special Interest Group on Data COMMunications Issue},
ISBN = {0-89791-790-1}
}
@PROCEEDINGS{ASF-SIGOPS02,
KEY = {ASF-SIGOPS},
BOOKTITLE = {Adaptable and Extensible Component Systems},
TITLE = {Adaptable and Extensible Component Systems},
MONTH = NOV,
YEAR = 2002,
PUBLISHER = {ACM Press, New York, USA},
ADDRESS = {Grenoble, France},
SERIES = {ACM Special Interest Group on OPerating Systems Issue France}
}
@PROCEEDINGS{SAC02,
KEY = {SAC},
BOOKTITLE = {Proceedings of the 2002 ACM Symposium on Applied Computing},
TITLE = {Proceedings of the 2002 ACM Symposium on Applied Computing},
MONTH = MAR,
YEAR = 2002,
PUBLISHER = {ACM Press, New York, USA},
ADDRESS = {Madrid, Spain},
SERIES = {ACM Special Interest Group on Applied Computing}
}
@PROCEEDINGS{SOSP01,
KEY = {SOSP},
BOOKTITLE = {Eighteenth Symposium on Operating Systems Principles},
TITLE = {Eighteenth Symposium on Operating Systems Principles},
MONTH = OCT,
YEAR = 2001,
PUBLISHER = {ACM Press, New York, USA},
ADDRESS = {Chateau Lake Louise, Canada},
SERIES = {ACM Symposium on Operating Systems Principles}
}
@PROCEEDINGS{SPIN03,
KEY = {SPIN},
BOOKTITLE = {Proceedings of the Tenth International SPIN Workshop on Model Checking of Software},
TITLE = {Proceedings of the Tenth International SPIN Workshop on Model Checking of Software},
MONTH = MAY,
YEAR = 2003,
PUBLISHER = {ACM Press, New York, USA},
ADDRESS = {Portland, Oregon, USA}
}
@PROCEEDINGS{UATC96,
KEY = {UATC},
BOOKTITLE = {Proceedings of the 1996 USENIX Annual Technical Conference},
TITLE = {Proceedings of the 1996 USENIX Annual Technical Conference},
MONTH = JAN,
YEAR = 1996,
PUBLISHER = {USENIX, The Advanced Computing Systems Association, USA},
ADDRESS = {San Diego, California, USA}
}
@PROCEEDINGS{UATC99,
KEY = {UATC},
BOOKTITLE = {Proceedings of the 1999 USENIX Annual Technical Conference},
TITLE = {Proceedings of the 1999 USENIX Annual Technical Conference},
MONTH = JUN,
YEAR = 1999,
PUBLISHER = {USENIX, The Advanced Computing Systems Association, USA},
ADDRESS = {Monterey, California, USA},
SERIES = {USENIX Annual Technical Conference}
}
@PROCEEDINGS{UATC02,
KEY = {UATC},
BOOKTITLE = {Proceedings of the 2002 USENIX Annual Technical Conference},
TITLE = {Proceedings of the 2002 USENIX Annual Technical Conference},
MONTH = JUN,
YEAR = 2002,
PUBLISHER = {USENIX, The Advanced Computing Systems Association, USA},
ADDRESS = {Monterey, California, USA},
SERIES = {USENIX Annual Technical Conference}
}
@PROCEEDINGS{WCSSS96,
KEY = {WCSSS},
BOOKTITLE = {First Annual Workshop on Compiler Support for System Software},
TITLE = {First Annual Workshop on Compiler Support for System Software},
MONTH = FEB,
YEAR = 1996,
PUBLISHER = {ACM Press, New York, USA},
SERIES = {ACM Special Interest Group on Programming LANguages Notices},
ADDRESS = {Tucson, Arizona, USA}
}
@PROCEEDINGS{WISP98,
KEY = {WISP},
BOOKTITLE = {First Workshop on Internet Server Performance},
TITLE = {First Workshop on Internet Server Performance},
MONTH = JUN,
YEAR = 1998,
PUBLISHER = {ACM Press, New York, USA},
SERIES = {ACM Special Interest Group for the Computer / Communication System Performance Community},
ADDRESS = {Madison, Wisconsin, USA}
}
@PROCEEDINGS{WOSS02,
KEY = {WOSS},
BOOKTITLE = {Proceedings of the First Workshop on Self-Healing Systems},
TITLE = {Proceedings of the First Workshop on Self-Healing Systems},
MONTH = NOV,
YEAR = 2002,
PUBLISHER = {ACM Press, New York, USA},
SERIES = {ACM Special Interest Group on SOFTware Engineering},
ADDRESS = {Charleston, South Carolina, USA}
}
This file has been generated by
bibtex2html 1.71