conf/b/Sekerinski98:::Emil Sekerinski:::Graphical Design of Reactive Systems.
conf/b/Pilarski98:::François Pilarski:::Cost Effectiveness of Formal Methods in the Development of Avionics Systems at AÉROSPATIALE.
conf/b/AbrialM98:::Jean-Raymond Abrial::Louis Mussat:::Introducing Dynamic Constraints in B.
conf/b/BanachP98:::Richard Banach::M. Poppleton:::Retrenchment: An Engineering Variation on Refinement.
conf/b/StoddartDGS98:::Bill Stoddart::Steve Dunne::Andy Galloway::Richard Shore:::Abstract State Machines: Designing Distributed Systems with State Machines and B.
conf/ac/Baur76:::Walter Baur:::Zeitlich beschränkte Turingmaschinen und polynomiale Reduktion.
conf/ac/Preneel97:::Bart Preneel:::Cryptographic Primitives for Information Authentication - State of the Art.
conf/ac/Vedder91:::Klaus Vedder:::Security Aspects of Mobile Communications.
conf/ac/Vedder97:::Klaus Vedder:::GSM: Security, Services, and the SIM.
conf/ac/Schiper03:::André Schiper:::Practical Impact of Group Communication Theory.
conf/ac/FriedmanMRR03:::Roy Friedman::Achour Mostéfaoui::Sergio Rajsbaum::Michel Raynal:::Using Error-Correcting Codes to Solve Distributed Agreement Problems: A Future Direction in Distributed Computing?
conf/ac/PatelH94:::Pulin R. Patel::Jack M. Holtzman:::Analysis of Successive Interference Cancellation in M-ary Orthogonal DS-CDMA System with Single Path Rayleigh Fading.
conf/ac/Bux83:::Werner Bux:::Performance Issues.
conf/ac/IbaL01:::Wayne Iba::Pat Langley:::Unsupervised Learning of Probabilistic Concept Hierarchies.
conf/ac/Lennox91:::Gordon Lennox:::EDI Security.
conf/ac/Perrone93:::Antonio L. Perrone:::A Formal Scheme for Avoiding Undecidable Problems - Applications to Chaotic Behaviour, Characterization and Parallel Computation.
conf/ac/Mazurkiewicz86:::Antoni W. Mazurkiewicz:::Trace Theory.
conf/ac/MarsanBD96:::Marco Ajmone Marsan::Andrea Bobbio::Susanna Donatelli:::Petri Nets in Performance Analysis: An Introduction.
conf/ac/Waite76d:::William M. Waite:::Optimization.
conf/ac/Ziegler01:::Günter M. Ziegler:::Coloring Hamming Graphs, Optimal Binary Codes, and the 0/1-Borsuk Problem in Low Dimensions.
conf/ac/Voss86a:::Klaus Voss:::Nets in Office Automation.
conf/ac/BougeCGUV96:::Luc Bougé::David Cachera::Yann Le Guyadec::Gil Utard::Bernard Virot:::Formal Validation of Data Parallel Programs: Introducting the Assertional Approach.
conf/ac/Park79:::David Park:::On the Semantics of Fair Parallelism.
conf/ac/Sifakis75:::Joseph Sifakis:::Performance Evaluation of Systems Using Nets.
conf/ac/KomlosSSS00:::János Komlós::Ali Shokoufandeh::Miklós Simonovits::Endre Szemerédi:::The Regularity Lemma and Its Applications in Graph Theory.
conf/ac/Kriwaczek92:::Frank Kriwaczek:::An Introduction to Constraint Logic Programming.
conf/ac/Mozetic92:::Igor Mozetic:::Model-Based Diagnosis: An Overview.
conf/ac/Nielsen86:::Mogens Nielsen:::CCS - and its Relationship to Net Theory.
conf/ac/JanssenSP94:::Gerard J. M. Janssen::Patrick A. Stigter::Ramjee Prasad:::A Model for BER Evaluation of Indoor Frequency Selective Channels Using Multipath Measurement Results at 2.4, 4.75 and 11.5 GHz.
conf/ac/McCullaghWES94:::M. J. McCullagh::D. R. Wisely::P. L. Eardly::P. P. Smyth:::A 50 Mbit/s Optical Wireless LAN Link Using Novel Optical and Electronic Enabling Technologies.
conf/ac/Charron-Bost03:::Bernadette Charron-Bost:::Comparing the Atomic Commitment and Consensus Problems.
conf/ac/Zuse75:::Konrad Zuse:::Petri-Nets from the Engineer's Viewpoint.
conf/ac/GenrichS75:::Hartmann J. Genrich::E. Stankiewicz-Wiechno:::A Dictionary of Some Basic Notions of Net Theory.
conf/ac/Babich94:::Fulvio Babich:::Contention Resolution Multiple Access Techniques for Handling Speech and Data Traffic on Wireless Networks.
conf/ac/Specker76:::Ernst Specker:::Ein Polynomialer Algorithmus zur Bestimmung unabhängiger Repräsentantensysteme.
conf/ac/Kemme03:::Bettina Kemme:::Database Replication Based on Group Communication: Implementation Issues.
conf/ac/FranceschinisR96:::Giuliana Franceschinis::Marina Ribaudo:::Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras.
conf/ac/Vahdat03:::Amin Vahdat:::Dynamically Provisioning Distributed Systems to Meet Target Levels of Performance, Availability, and Data Quality.
conf/ac/YinMVAD03:::Jian Yin::Jean-Philippe Martin::Arun Venkataramani::Lorenzo Alvisi::Michael Dahlin:::Towards a Practical Approach to Confidential Byzantine Fault Tolerance.
conf/ac/McKeeman76a:::William M. McKeeman:::Symbol Table Access.
conf/ac/BuxCKM83:::Werner Bux::Felix Closs::Karl Kümmerle::Hans R. Mueller:::The Token Ring.
conf/ac/Griffiths76a:::M. Griffiths:::Run-Time Storage Management.
conf/ac/Kouba92:::Zdenek Kouba:::Data Analysis and Uncertainty Processing.
conf/ac/Thurber80a:::Kenneth J. Thurber:::Hardware Interconnection Technology.
conf/ac/Hajicova92:::Eva Hajicová:::Linguistic Aspects of Natural Language Processing.
conf/ac/Lampson80a:::Butler W. Lampson:::Ethernet, Pup and Violet.
conf/ac/BosselaersGV91:::Antoon Bosselaers::René Govaerts::Joos Vandewalle:::Cryptography Within Phase I of the EEC-RACE Programme.
conf/ac/BerrutoBGMSW94:::Ermanno Berruto::T. Brännlund::J. Gustafsson::D. Maiwald::Wolfgang Schott::P. Whitworth:::Radio Protocol Architecture of the CODIT UMTS System.
conf/ac/KimbletonWL80:::Stephen R. Kimbleton::Pearl Y. Wang::Butler W. Lampson:::Applications and Protocols.
conf/ac/Stroth01:::Gernot Stroth:::Algorithms in Pure Mathematics.
conf/ac/Perrin96:::Guy-René Perrin:::Introduction.
conf/ac/VassilasKAP01:::Nikolaos Vassilas::Elias Kalapanidas::Nikolaos M. Avouris::Stavros J. Perantonis:::Intelligent Techniques for Spatio-Temporal Data Analysis in Environmental Applications.
conf/ac/KeidarR03:::Idit Keidar::Sergio Rajsbaum:::Open Questions on Consensus Performance in Well-Behaved Runs.
conf/ac/Boute86a:::Raymond T. Boute:::An Introduction to System Semantics.
conf/ac/Liskov84:::Barbara Liskov:::The Argus Language and System.
conf/ac/DekeyserM96:::Jean-Luc Dekeyser::Philippe Marquet:::Supporting Irregular and Dynamic Computations in Data Parallel Languages.
conf/ac/Kaliski98:::Burton S. Kaliski Jr.:::Emerging Standards for Public-Key Cryptography.
conf/ac/Kundig86:::Albert T. Kündig:::A Note on the Meaning of "Embedded Systems".
conf/ac/Griffiths76:::M. Griffiths:::LL(1) Grammars and Analysers.
conf/ac/Ershov76:::A. P. Ershov:::Addendum.
conf/ac/Furer76a:::Martin Fürer:::Simulation von Turingmaschinen mit logischen Netzen.
conf/ac/Fumy97a:::Walter Fumy:::Internet Security Protocols.
conf/ac/Jensen86:::Kurt Jensen:::Computer Tools for Construction, Modification and Analysis of Petri Nets.
conf/ac/Molander93:::Sören Molander:::"Blob" Analysis of Biomedical Image Sequences - A Model-Based and an Inductive Approach.
conf/ac/GfellerBHEW94:::F. R. Gfeller::P. Bernasconi::Walter Hirt::C. Elisii::B. Weiss:::Dynamic Cell Planning for Wireless Infrared In-House Data Transmission.
conf/ac/DeRemer76a:::Franklin L. DeRemer:::Lexical Analysis.
conf/ac/SilvaTVP96:::Manuel Silva::Enrique Teruel::Robert Valette::H. Pingaud:::Petri Nets and Production Systems.
conf/ac/Vazirani00:::Vijay V. Vazirani:::Primal-Dual Schema Based Approximation Algorithms.
conf/ac/Blanke94:::Gero Blanke:::Simulation of GSM Data Channels in a Safety Critical Railway Environment.
conf/ae/CretinLLGR95:::Guillaume Cretin::Evelyne Lutton::Jacques Lévy-Vehel::Philippe Glevarec::Cédric Roll:::Mixed IFS: Resolution of the Inverse Problem Using Genetic Programming.
conf/ae/RatleS01:::Alain Ratle::Michèle Sebag:::Avoiding the Bloat with Stochastic Grammar-Based Genetic Programming.
conf/ae/CuencaH97:::Cristina Cuenca::Jean-Claude Heudin:::An Agent System for Learning Profiles in Broadcasting Applications on the Internet.
conf/ae/PeyralDRSS97:::Mathieu Peyral::Antoine Ducoulombier::Caroline Ravise::Marc Schoenauer::Michèle Sebag:::Mimetic Evolution.
conf/ae/EibenH97:::A. E. Eiben::J. K. van der Hauw:::Adaptive Penalties for Evolutionary Graph Coloring.
conf/ae/MonmarcheNVS99:::Nicolas Monmarché::G. Nocent::Gilles Venturini::P. Santini:::On Generating HTML Style Sheets with an Interactive Genetic Algorithm Based on Gene Frequencies.
conf/ae/Ratle99:::Alain Ratle:::Problem-Specific Representations for Heterogeneous Materials Design.
conf/ae/BrownGM01:::Deryck F. Brown::A. Beatriz Garmendia-Doval::John A. W. McCall:::Markov Random Field Modelling of Royal Road Genetic Algorithms.
conf/ae/GorriniD95:::Vittorio Gorrini::Marco Dorigo:::An Application of Evolutionary Algorithms to the Scheduling of Robotic Operations.
conf/ae/ParisRF01:::Gregory Paris::Denis Robilliard::Cyril Fonlupt:::Applying Boosting Techniques to Genetic Programming.
conf/ae/NaudtsV97:::Bart Naudts::Alain Verschoren:::SGA Search Dynamics on Second Order Functions.
conf/ae/MathieuBD99:::Philippe Mathieu::Bruno Beaufils::Jean-Paul Delahaye:::Studies on Dynamics in the Classical Iterated Prisoner's Dilemma with Few Strategies.
conf/ae/RobilliardF01:::Denis Robilliard::Cyril Fonlupt:::Backwarding : An Overfitting Control for Genetic Programming in a Remote Sensing Application.
conf/ae/XanthakisKPR95:::Spyros Xanthakis::Constantinos Karapoulios::Régis Pajot::Ahmed Rozz:::Immune System and Fault-Tolerant Computing.
conf/ah/Fernandez-AntaMP00:::Isabel Fernández-Anta::Eva Millán::José-Luis Pérez-de-la-Cruz:::Adaptation and Generation in a Web-Based Lisp Tutor.
conf/ah/GilbertH00:::Juan E. Gilbert::Chia Y. Han:::Researching Adaptive Instruction.
conf/ah/CzarkowskiK02:::Marek Czarkowski::Judy Kay:::A Scrutable Adaptive Hypertext.
conf/ah/NotZ00:::Elena Not::Massimo Zancanaro:::The MacroNode Approach: Mediating Between Adaptive and Dynamic Hypermedia.
conf/ah/BarraMNS02:::Maria Barra::Paul P. Maglio::Alberto Negro::Vittorio Scarano:::GAS: Group Adaptive System.
conf/ah/MaglioF00:::Paul P. Maglio::Stephen Farrell:::LiveInfo: Adapting Web Experience by Customization and Annotation.
conf/ah/Kukulenz02:::Dirk Kukulenz:::Prediction of Navigation Profiles in a Distributed Internet Environment through Learning of Graph Distributions.
conf/ah/HerderD02:::Eelco Herder::Betsy van Dijk:::Personalized Adaptation to Device Characteristics.
conf/ah/StrapparavaMS00:::Carlo Strapparava::Bernardo Magnini::Anna Stefani:::Sense-Based User Modelling for Web Sites.
conf/ah/JamesonS02:::Anthony Jameson::Eric Schwarzkopf:::Pros and Cons of Controllability: An Empirical Study.
conf/ah/HothiHS00:::Jatinder Hothi::Wendy Hall::Tim Sly:::A Study Comparing the Use of Shaded Text and Adaptive Navigational Support in Adaptive Hypermedia.
conf/ah/KurhilaMNT02:::Jaakko Kurhila::Miikka Miettinen::Petri Nokelainen::Henry Tirri:::EDUCO - A Collaborative Learning Environment Based on Social Navigation.
conf/ah/Schraefel00:::Monica M. C. Schraefel:::ConTexts: Adaptable Hypermedia.
conf/ah/McGowanKS02:::J. P. McGowan::Nicholas Kushmerick::Barry Smyth:::Who Do You Want to Be Today? Web Personae for Personalised Information Access.
conf/ah/Aaronson02:::Jack Aaronson:::Is Personalization All About Technology?
conf/ah/HubscherP02:::Roland Hübscher::Sadhana Puntambekar:::Adaptive Navigation for Learners in Hypermedia Is Scaffolded Navigation.
conf/ah/YamadaN02:::Seiji Yamada::Yuki Nakai:::Monitoring Partial Updates in Web Pages Using Relational Learning.
conf/ah/SpalkaL02:::Adrian Spalka::Hanno Langweg:::Protecting the User from the Data: Security and Privacy Aspects of Public Web Access.
conf/ah/Masthoff02:::Judith Masthoff:::Towards an Authoring Coach for Adaptive Web-Based Instruction.
conf/ai/Abu-DrazS03:::S. Abu-Draz::Elhadi Shakshuki:::Agent-Based Online Trading System.
conf/ai/McNaughtonRSS03:::Matthew McNaughton::James Redford::Jonathan Schaeffer::Duane Szafron:::Pattern-Based AI Scripting Using ScriptEase.
conf/ai/HagenS96:::Eli Hagen::Adelheit Stein:::Automatic Generation of a Complex Dialogue History.
conf/ai/FarzanG01:::Ali Farzan::Ali A. Ghorbani:::The Bottom-Up Freezing: An Approach to Neural Engineering.
conf/ai/ZhangLZ00:::Huajie Zhang::Charles X. Ling::Zhiduo Zhao:::The Learnability of Naive Bayes.
conf/ai/Parker02:::James R. Parker:::Genetic Algorithms for Continuous Problems.
conf/ai/Fall96:::Andrew Fall:::Reference Constraints and Individual Level Inheritance.
conf/ai/BoutilierG96:::Craig Boutilier::Moisés Goldszmidt:::The Frame Problem and Bayesian Network Action Representation.
conf/ai/Holte01:::Robert C. Holte:::Combinatorial Auctions, Knapsack Problems, and Hill-Climbing Search.
conf/ai/JiaS03:::Keping Jia::Bruce Spencer:::Negotiating Exchanges of Private Information for Web Service Eligibility.
conf/ai/YuY03:::Xiang Yu::Simon X. Yang:::Motion Recognition from Video Sequences.
conf/ai/HodgesH98:::Brett Hodges::Larry Hodgson:::Lessons Learned in the Development and Implementation of a Bilingual Nationally Accessible Knowledge-Based System.
conf/ai/SebbanL98:::Marc Sebban::Anne M. Landraud:::Strings Clustering and Statistical Validation of Clusters.
conf/ai/SilverM02:::Daniel L. Silver::Robert E. Mercer:::The Task Rehearsal Method of Life-Long Learning: Overcoming Impoverished Data.
conf/ai/HuangJLY02:::Guan-Shieng Huang::Xiumei Jia::Churn-Jung Liau::Jia-Huai You:::Two-Literal Logic Programs and Satisfiability Representation of Stable Models: A Comparison.
conf/ai/DentM96:::Michael J. Dent::Robert E. Mercer:::A New Model of Hard Binary Constraint Satisfaction Problems.
conf/ai/FrostB02:::Richard A. Frost::Pierre Boulos:::An Efficient Compositional Semantics for Natural-Language Database Queries with Arbitrarily-Nested Quantification and Negation.
conf/ai/RiosM96:::Riverson Rios::Stan Matwin:::Efficient Induction of Recursive Prolog Definitons.
conf/ai/ChevaleyreZ01:::Yann Chevaleyre::Jean-Daniel Zucker:::Solving Multiple-Instance and Multiple-Part Learning Problems with Decision Trees and Rule Sets. Application to the Mutagenesis Problem.
conf/ai/ShiMZ03:::Zhongmin Shi::Evangelos E. Milios::A. Nur Zincir-Heywood:::Post-supervised Template Induction for Dynamic Web Sources.
conf/ai/Fasli01:::Maria Fasli:::On Obligations, Relativised Obligations, and Bilateral Commitments.
conf/ai/KarimiH02:::Kamran Karimi::Howard J. Hamilton:::RFCT: An Association-Based Causality Miner.
conf/ai/KarimiH03:::Kamran Karimi::Howard J. Hamilton:::Discovering Temporal/Causal Rules: A Comparison of Methods.
conf/ai/ShakshukiK02:::Elhadi Shakshuki::P. Kajonpotisuwan:::Multi-agent System Architecture for Computer-Based Tutoring Systems.
conf/ai/Wallace96:::Richard J. Wallace:::Enhancing Maximum Satisfiablility Algorithms with Pure Literal Strategies.
conf/ai/BeachamCSB01:::Adam Beacham::Xinguang Chen::Jonathan Sillito::Peter van Beek:::Constraint Programming Lessons Learned from Crossword Puzzles.
conf/ai/HahnS00:::Udo Hahn::Stefan Schulz:::Towards Very Large Terminological Knowledge Bases: A Case Study from Medicine.
conf/ai/HanAC00:::Jianchao Han::Aijun An::Nick Cercone:::CViz: An Interactive Visualization System for Rule Induction.
conf/ai/BillingsPSS98:::Darse Billings::Denis Papp::Jonathan Schaeffer::Duane Szafron:::Poker as Testbed for AI Research.
conf/ai/BodnerS96:::Richard C. Bodner::Fei Song:::Knowledge-Based Approaches to Query Expansion in Information Retrieval.
conf/ai/BergenBC01:::Michael E. Bergen::Peter van Beek::Tom Carchrae:::Constraint-Based Vehicle Assembly Line Sequencing.
conf/ai/BerkowitzG01:::Eric G. Berkowitz::Peter H. Greene:::Body-Based Reasoning Using a Feeling-Based Lexicon, Mental Imagery, and an Object-Oriented Metaphor Hierarchy.
conf/am/MauboussinPBGH89:::A. Mauboussin::H. Perdrix::Michel Bidoit::Marie-Claude Gaudel::Jacques Hagelstein:::From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study.
conf/am/GlabbeekV87:::Rob J. van Glabbeek::Frits W. Vaandrager:::Modular Specifications in Process Algebra with Curious Queues.
conf/bi/Schmidt94:::K. Schmidt:::On Connection Admission Control in Multicast ATM Networks.
conf/bi/Huber93:::Roland Hüber:::Integrated Broadband Communications (IBC) - Towards integrating Islands and Applications.
conf/bi/FarkasHT94:::P. Farkas::S. Herrera::M. Tvarozek:::Adaptive Image Coding Based on Generalized IBTC.
conf/bi/Dairaine94:::Laurent Dairaine:::Drift Matching Techniques for Time Signature Conservation Service.
conf/bi/MegzariBRWK94:::Omar Megzari::M. B. Brahmanandam::J. A. Rody::G. Warnock::Ahmed Karmouch:::MEDIABASE - An Experiment in Multimedia Information and Communication Systems.
conf/bi/HoepnerSB94:::Petra Hoepner::Marek Szymañski::Marcel P. P. Baveco:::MMMS - A Multimedia Mail Service Prototype.
conf/ca/KingKM03:::Scott A. King::Alistair Knott::Brendan McCane:::Language-Driven Nonverbal Communication in a Bilingual Conversational Agent.
conf/ca/El-NasrIYHP99:::Magy Seif El-Nasr::Thomas R. Ioerger::John Yen::Donald H. House::Frederic I. Parke:::Emotionally Expressive Agents.
conf/ca/KuffnerL99:::James J. Kuffner Jr.::Jean-Claude Latombe:::Fast Synthetic Vision, Memory, and Learning Models for Virtual Humans.
conf/ca/KakadiarisM98:::Ioannis A. Kakadiaris::Dimitris N. Metaxas:::Vision-Based Animation of Digital Humans.
conf/ca/XuB00:::Yilun Dianna Xu::Norman I. Badler:::Algorithms for Generating Motion Trajectories Described by Prepositions.
conf/ca/NedelT98:::Luciana Porcher Nedel::Daniel Thalmann:::Modeling and Deformation of the Human Body using an Anatomically-Based Approach.
conf/ca/AllbeckB98:::Jan M. Allbeck::Norman I. Badler:::Avatars á la Snow Crash.
conf/ca/WuZL02:::Enhua Wu::Yanci Zhang::Xuehui Liu:::Point Representation Augmented to Surface Reconstruction in Image-based VR.
conf/ca/GregorySLML98:::Arthur D. Gregory::Andrei State::Ming C. Lin::Dinesh Manocha::Mark A. Livingston:::Feature-based Surface Decomposition for Correspondence and Morphing Between Polyhedra.
conf/ca/Magnenat-ThalmannVC02:::Nadia Magnenat-Thalmann::Pascal Volino::Frederic Cordier:::Avenues of Research in Dynamic Clothing.
conf/ca/Metaxas02:::Dimitris N. Metaxas:::From Visual Input to Modeling Humans.
conf/ca/GudukbayO95:::Ugur Güdükbay::Bülent Özgüç:::Animating deformable models: different approaches.
conf/ca/NougaretAHR95:::Jean-Luc Nougaret::Bruno Arnaldi::Gérard Hégron::A. Razavi:::Quick tuning of a reference locomotion gait [computer animation].
conf/ca/WillisN95:::Philip J. Willis::Tom Nettleship:::The Animachine renderer.
conf/ca/SatoM97:::Jun'ichi Sato::Tsutomu Miyasato:::Autonomous Behavior Control of Virtual Actors Based on the AIR Model.
conf/ca/MoletHBT97:::Tom Molet::Zhiyong Huang::Ronan Boulic::Daniel Thalmann:::An Animation Interface Designed for Motion Capture.
conf/ca/ShinagawaNKH97:::Yoshihisa Shinagawa::Jun-ichi Nakajima::Tosiyasu L. Kunii::Kazuhiro Hara:::Capturing and analyzing stability of human body motions using video cameras.
conf/ca/ZhaoCB00:::Liwei Zhao::Monica Costa::Norman I. Badler:::Interpreting Movement Manner.
conf/ca/EscherPT98:::Marc Escher::Igor S. Pandzic::Nadia Magnenat-Thalmann:::Facial Deformations for MPEG-4.
conf/ca/DebunneDCB00:::Gilles Debunne::Mathieu Desbrun::Marie-Paule Cani::Alan H. Barr:::Adaptive Simulation of Soft Bodies in Real-Time.
conf/ca/LeeESM99:::Won-Sook Lee::Marc Escher::Gaël Sannier::Nadia Magnenat-Thalmann:::MPEG-4 Compatible Faces from Orthogonal Photos.
conf/ca/Thorisson97:::Kristinn R. Thórisson:::Layered Modular Action Control for Communicative Humanoids.
conf/cc/JourdanP90:::Martin Jourdan::Didier Parigot:::Application Development with the FNC-2 Attribute Grammar System.
conf/cc/Grosch92:::Josef Grosch:::Transformation of Attributed Trees Using Pattern Matching.
conf/cc/Hoare03:::C. A. R. Hoare:::The Verifying Compiler: A Grand Challenge for Computing Research.
conf/cc/Kim00:::Dae-Hwan Kim:::Advanced Compiler Optimization for Calm RISC8 Low-End Embedded Processor.
conf/cc/KandemirICR03:::Mahmut T. Kandemir::Mary Jane Irwin::Guangyu Chen::J. Ramanujam:::Address Register Assignment for Reducing Code Size.
conf/cc/OttoniRARM01:::Guilherme Ottoni::Sandro Rigo::Guido Araujo::Subramanian Rajagopalan::Sharad Malik:::Optimal Live Range Merge for Address Register Allocation in Embedded Programs.
conf/cc/LinP00:::Yuan Lin::David A. Padua:::Analysis of Irregular Single-Indexed Array Accesses and Its Applications in Compiler Optimizations.
conf/cc/Pettersson96:::Mikael Pettersson:::A Compiler for Natural Semantics.
conf/cc/MossenbockP02:::Hanspeter Mössenböck::Michael Pfeiffer:::Linear Scan Register Allocation in the Context of SSA Form and Register Constraints.
conf/cc/BrandSVV02:::Mark van den Brand::Jeroen Scheerder::Jurgen J. Vinju::Eelco Visser:::Disambiguation Filters for Scannerless Generalized LR Parsers.
conf/cc/AgrawalLS02:::Gagan Agrawal::Jinqian Li::Qi Su:::Evaluating a Demand Driven Technique for Call Graph Construction.
conf/cc/AnlauffKP99:::Matthias Anlauff::Philipp W. Kutter::Alfonso Pierantonio:::Tool Support for Language Design and Prototyping with Montages.
conf/cc/Koskimies88:::Kai Koskimies:::Software Engineering Aspects in Language Implementation.
conf/cc/MizushimaK98:::Kazunori Mizushima::Takuya Katayama:::Storage Allocation Strategies for Recursive Attributes Evaluators.
conf/cc/AlblasS90:::Henk Alblas::Joos Schaap-Krueseman:::An Attributed ELL(1)-Parser Generator (Abstract).
conf/cc/JoishaB03:::Pramod G. Joisha::Prithviraj Banerjee:::The MAGICA Type Inference Engine for MATLAB.
conf/cc/NielsonN98:::Hanne Riis Nielson::Flemming Nielson:::Flow Logics for Constraint Based Analysis.
conf/cc/CilioC02:::Andrea G. M. Cilio::Henk Corporaal:::Global Variable Promotion: Using Registers to Reduce Cache Power Dissipation.
conf/cc/AycockH99:::John Aycock::R. Nigel Horspool:::Faster Generalized LR Parsing.
conf/cc/BastoulF03:::Cédric Bastoul::Paul Feautrier:::Improving Data Locality by Chunking.
conf/cc/JonesS80:::Neil D. Jones::David A. Schmidt:::Compiler generation from denotational semantics.
conf/cc/LaceyM01:::David Lacey::Oege de Moor:::Imperative Program Transformation by Rewriting.
conf/cc/MernikLAZ02:::Marjan Mernik::Mitja Lenic::Enis Avdicausevic::Viljem Zumer:::LISA: An Interactive Environment for Programming Language Development.
conf/cc/ViklundHF92:::Lars Viklund::Johan Herber::Peter Fritzson:::The Implementation of ObjectMath - a High-Level Programming Environment for Scientific Computing.
conf/cc/NguyenIAC03:::Thi Viet Nga Nguyen::François Irigoin::Corinne Ancourt::Fabien Coelho:::Automatic Detection of Uninitialized Variables.
conf/cc/Agrawal00:::Gagan Agrawal:::Demand-Driven Construction of Call Graphs.
conf/cc/KuiperS98:::Matthijs F. Kuiper::João Saraiva:::Lrc - A Generator for Incremental Language-Oriented Tools.
conf/cc/VerbruggeCH96:::Clark Verbrugge::Phong Co::Laurie J. Hendren:::Generalized Constant Propagation: A Study in C.
conf/cc/KastnerL99:::Daniel Kästner::Marc Langenbach:::Code Optimization by Integer Linear Programming.
conf/cc/OrenMS02:::David Oren::Yossi Matias::Shmuel Sagiv:::Online Subpath Profiling.
conf/cc/WuSKLF02:::Youfeng Wu::Mauricio J. Serrano::Rakesh Krishnaiyer::Wei Li::Jesse Fang:::Value-Profile Guided Stride Prefetching for Irregular Code.
conf/cc/ErtlK96:::M. Anton Ertl::Andreas Krall:::Removing Anti Dependences by Repairing.
conf/cc/NymeyerKWA96:::Albert Nymeyer::Joost-Pieter Katoen::Ymte Westra::Henk Alblas:::Code Generation = A* + BURS.
conf/cc/Andersson03:::Christian Andersson:::Register Allocation by Optimal Graph Coloring.
conf/cc/BoucherF96:::Dominique Boucher::Marc Feeley:::Abstract Compilation: A New Implementation Paradigm for Static Analysis.
conf/cc/Dinechin99:::Benoît Dupont de Dinechin:::Extending Modulo Scheduling with Memory Reference Merging.
