conf/aisa/LeeKKKL02:::Heeyong Lee::Gilyoung Kong::Sihwa Kim::Cholseong Kim::Jaechul Lee:::Optimum Ship Routing and It's Implementation on the Web.
conf/aisa/ParkHKHKAC02:::Jongkyu Park::Ilseok Han::Jinhyuck Kwon::Jun Hwang::Hagbae Kim::Sangtae Ahn::Whie Chang:::Development of a Residential Gateway and a Service Server for Home Automation.
conf/aisb/Hirst97:::Tony Hirst:::The Evolution of Mutation, Plasticity and Culture in Cyclically Changing Environments.
conf/aisb/Paton94:::Ray Paton:::Enhancing Evolutionary Computation Using Analogues of Biological Mechanisms.
conf/aisb/CarseFM95:::Brian Carse::Terence C. Fogarty::Alistair Munro:::Evolutionary Learning in Computational Ecologies: An Application to Adaptive, Distributed Routing in Communication Networks.
conf/aisb/BrankeAS96:::Jürgen Branke::Hans Christian Andersen::Hartmut Schmeck:::Global Selection Methods for Massively Parallel Computers.
conf/aisb/SmithF95:::Jim Smith::Terence C. Fogarty:::An Adaptive Poly-Parental Recombination Strategy.
conf/aisb/Langdon97:::William B. Langdon:::Scheduling Planned Maintenance of the South Wales Region of the National Grid.
conf/aisb/Field94:::Paul Field:::Nonbinary Transforms for Genetic Algorithm Problems.
conf/aisc/Hahnle92:::Reiner Hähnle:::A New Translation from Deduction into Integer Programming.
conf/aisc/Rodosek96:::Robert Rodosek:::A New Approach on Solving 3-Satisfiability.
conf/aisc/Castro98:::Carlos Castro:::COLETTE, Prototyping CSP Solvers Using a Rule-Based Language.
conf/aisc/PiroiB02:::Florina Piroi::Bruno Buchberger:::Focus Windows: A New Technique for Proof Presentation.
conf/aisc/Joswig96:::Michael Joswig:::Towards Modelling the Topology of Homogeneous Manifolds by Means of Symbolic Computation.
conf/aisc/Monfroy92:::Eric Monfroy:::Gröbner Bases: Strategies and Applications.
conf/aisc/Dupee96:::Brian J. Dupée:::Measuring the Likely Effectiveness of Strategies.
conf/aisc/GolumbicS02:::Martin Charles Golumbic::Assaf Siani:::Coloring Algorithms for Tolerance Graphs: Reasoning and Scheduling with Interval Constraints.
conf/aisc/Ardeleanu92:::Eugen E. Ardeleanu:::Completion and Invariant Theory in Symbolic Computation and Artificial Intelligence.
conf/aisc/Ueberberg96:::Johannes Ueberberg:::Interactive Theorem Proving and Finite Projective Planes.
conf/aisc/TelermanU96:::Vitaly Telerman::Dmitry Ushakov:::Data Types in Subdefinite Models.
conf/aisc/Bundgen96:::Reinhard Bündgen:::Proof Transformation for Non-Compatible Rewriting.
conf/balt/CaplinskasLV02:::Albertas Caplinskas::Audrone Lupeikiene::Olegas Vasilecas:::Unified enterprise engineering environment: ontological point of view.
conf/balt/Hansen02:::Thomas Riisgaard Hansen:::Swapper - Self-Organizing Automatic Context Visualization.
conf/balt/ChountasPAK02:::Panagiotis Chountas::Ilias Petrounias::Hathal Al-Roki::Vassilis Kodogianis:::Representing &amp; Querying Temporal Workflow Schemas.
conf/balt/HartvigsenTJ02:::Anne Marie Hartvigsen::Do Van Thanh::Tore E. Jønvik:::Offering User Profile as an XML Web Service.
conf/balt/RoosBW02:::Meelis Roos::Ahto Buldas::Jan Willemson:::Undeniable Replies for Database Queries.
conf/balt/Barzdins91:::Guntis Barzdins:::Inductive Synthesis of Term Rewritin Systems.
conf/balt/Auguston91:::Mikhail Auguston:::RIGAL - a Programming Language for Compiler Writing.
conf/balt/Freivalds91a:::Rusins Freivalds:::Complexity of Probabilistic Versus Deterministic Automata.
conf/balt/Panteleeva02:::Natalja Panteleeva:::Towards Improving Category Search in the Web.
conf/balt/AuzinsBBCK91:::Andrejs J. Auzins::Janis Barzdins::Janis Bicevskis::Karlis Cerans::Audris Kalnins:::Automatic Construction of Test Sets: Theoretical Approach.
conf/balt/Alksnis02:::Gundars Alksnis:::Category Theory in Software Engineering.
conf/balt/GillsB02:::Martins Gills::Mihails Bogdanovs:::TraceIt: Enabling Extended Use of a Traceability Tool within Software Development Project.
conf/balt/BuchmannHS02:::Erik Buchmann::Hagen Höpfner::Kai-Uwe Sattler:::An Extensible Storage Manager for Mobile DBMS.
conf/balt/ApineGP02:::Baiba Apine::Martins Gills::Janis Plume:::Software Development Process Improvement Through Measurements and Requirements Traceability.
conf/balt/Freivalds91:::Rusins Freivalds:::Inductive Inference of Recursive Functions: Qualitative Theory.
conf/balt/Villadsen02:::Jørgen Villadsen:::Paraconsistent Knowledge Bases and Many-Valued Logic.
conf/amcp/YooSLCCH98:::Jae Soo Yoo::Myung Keun Shin::Seok Hee Lee::Kil Seong Choi::Ki Hyung Cho::Dae Young Hur:::An Efficient Index Structure for High Dimensional Image Data.
conf/amcp/ZettsuUT98:::Koji Zettsu::Kuniaki Uehara::Katsumi Tanaka:::Semantic Structures for Video Data Indexing.
conf/amcp/Tsukamoto98:::Masahiko Tsukamoto:::Integrating Real Space and Virtual Space in the 'Invisible Person' Communication Support System.
conf/amec/Byde02:::Andrew Byde:::A Comparison among Bidding Algorithms for Multiple Auctions.
conf/amec/Dellarocas02:::Chrysanthos Dellarocas:::Goodwill Hunting: An Economically Efficient Online Feedback Mechanism for Environments with Variable Product Quality.
conf/amec/KowalczykB00:::Ryszard Kowalczyk::Van Bui:::On Constraint-Based Reasoning in e-Negotiation Agents.
conf/amec/CardosoO00:::Henrique Lopes Cardoso::Eugenio Oliveira:::A Platform for Electronic Commerce with Adaptive Agents.
conf/amdo/MageeB00:::Derek R. Magee::Roger D. Boyle:::Spatio-Temporal Modeling in the Farmyard Domain.
conf/amdo/VaronaGRV00:::Xavier Varona::Jordi Gonzàlez::F. Xavier Roca::Juan J. Villanueva:::Automatic Selection of <i>Keyframes</i> for Activity Recognition.
conf/amdo/CapillaG02:::Nicolas Pérez de la Blanca Capilla::Antonio Garrido:::Recovering Non-rigid 3D Shape Using a Plane+Parallax Approach.
conf/amdo/SullivanEC02:::Josephine Sullivan::M. Eriksson::Stefan Carlsson:::Recognition, Tracking, and Reconstruction of Human Motion.
conf/amdo/JonesB00:::G. Jones III::Bir Bhanu:::Recognition of Articulated Objects in SAR Images.
conf/amdo/MikiTHC02:::Ivana Miki::Mohan M. Trivedi::Edward Hunter::Pamela C. Cosman:::Human Body Model Acquisition and Motion Capture Using Voxel Data.
conf/amfg/JohnsonSB03:::Amos Y. Johnson::Jie Sun::Aaron F. Bobick:::Using similarity scores from a small gallery to estimate recognition performance for larger galleries.
conf/amfg/FillbrandtAK03:::Holger Fillbrandt::Suat Akyol::Karl-Friedrich Kraiss:::Extraction of 3D Hand Shape and Posture from Image Sequences for Sign Language Recognition.
conf/amfg/ChenZHLZ03:::Longbin Chen::Lei Zhang::Yuxiao Hu::Mingjing Li::Hong-Jiang Zhang:::Head Pose Estimation using Fisher Manifold Learning.
conf/amfg/WangLWZ03:::Haitao Wang::Stan Z. Li::Yangsheng Wang::Weiwei Zhang:::Illumination Modeling and Normalization for Face Recognition.
conf/amet/GhidiniS98:::Chiara Ghidini::Luciano Serafini:::Information Integration for Electronic Commerce.
conf/amet/GarciaGGR98:::Pere Garcia::Eduardo Giménez::Lluis Godo::Juan A. Rodríguez-Aguilar:::Bidding Strategies for Trading Agents in Auction-Based Tournaments.
conf/amet/AnderssonS98:::Martin Andersson::Tuomas Sandholm:::Sequencing of Contract Types for Anytime Task Reallocation.
conf/bcec/BoudierGS97:::Thomas Boudier::Francoise Gaill::Anne Strauss:::Computational Study of the Chitin Secreting Gland of Riftia pachyptila.
conf/bcec/NorinBF97:::Peter Norin::Wolfgang Banzahf::Frank D. Francone:::Introns in Nature and in Simulated Structure Evolution.
conf/bcec/WallaceB97:::J. G. (Iain) Wallace::Kevin Bluff:::Astrocytes and the Ontogenesis of Local Cortical Areas.
conf/amta/WoszczcynaBGGLLW98:::Monika Woszczcyna::Matthew Broadhead::Donna Gates::Marsal Gavaldà::Alon Lavie::Lori S. Levin::Alex Waibel:::A Modular Approach to Spoken Language Translation for Large Domains.
conf/amta/Akers02:::Glenn A. Akers:::LogoMedia TRANSLATE<sup>TM</sup>, Version 2.0.
conf/amta/Cote98:::Nathalie Côté:::System Description/Demo of Alis Translation Solutions Application: Multilingual Search and Query Expansion.
conf/amta/DolanPR02:::William B. Dolan::Jessie Pinkham::Stephen D. Richardson:::MSR-MT: The Microsoft Research Machine Translation System.
conf/amta/LuAS00:::Jimmy C. M. Lu::Lars Åkerman::Karin Spalink:::LabelTool: A Localization Application for Devices with Restricted Display Areas.
conf/amta/McCordB98:::Michael C. McCord::Arendse Bernth:::The LMT Transformational System.
conf/amta/LanglaisS02:::Philippe Langlais::Michel Simard:::Merging Example-Based and Statistical Machine Translation: An Experiment.
conf/amta/MeekhofC00:::Timothy Meekhof::David Clements:::L&amp;H Lexicography Toolkit for Machine Translation.
conf/amta/Menezes02:::Arul Menezes:::Better Contextual Translation Using Machine Learning.
conf/amta/DanielssonM00:::Pernilla Danielsson::Katarina Mühlenbock:::Small but Efficient: The Misconception of High-Frequency Words in Scandinavian Translation.
conf/amta/Buschbeck-WolfD98:::Bianka Buschbeck-Wolf::Michael Dorna:::Quality and Robustness in MT - A Balancing Act.
conf/amta/Cavalli-SforzaCMN00:::Violetta Cavalli-Sforza::Krzysztof Czuba::Teruko Mitamura::Eric Nyberg:::Challenges in Adapting an Interlingua for Bidirectional English-Italian Translation.
conf/amta/Orliac98:::Brigitte Orliac:::Logos8 System Description.
conf/amta/Germann98:::Ulrich Germann:::Making Semantic Interpretation Parser-Independent.
conf/amta/Resnik98:::Philip Resnik:::Parallel Strands: A Preliminary Investigation into Mining the Web for Bilingual Text.
conf/anna/PiovosoO91:::Michael J. Piovoso::Aaron J. Owens:::Neural Network Process Control.
conf/anna/Baxter91:::R. S. Baxter:::Supervised Adaptive Resonance Networks.
conf/anna/CoughlinB91:::James P. Coughlin::Robert H. Baran:::Optimization in Cascaded Boltzmann Machines with a Temperature Gradient: An Alternative to Simulated Annealing.
conf/anss/Morrison01:::Stephen A. Morrison:::Applications of Dynamic Data Flow Programming to Real-Time Interactive Simulations.
conf/anss/RatnamM98:::Karunaharan Ratnam::Ibrahim Matta:::Effect of Local Retransmission at Wireless Access Points on the Round Trip Time Estimation of TCP.
conf/anss/CohenM96:::Atika Cohen::Radouane Mrabet:::Generic Simulation Models of Communication Systems.
conf/anss/Hulicki98:::Zbigniew Hulicki:::On Some Aspects of Modeling and Dimensioning in Broadband Access Networks.
conf/anss/LeeZ96:::C. H. Lee::Richard N. Zobel:::Representation of simulation model components for model generation and a model library.
conf/anss/MartinWHKHRW02:::Dale E. Martin::Philip A. Wilsey::Robert J. Hoekstra::Eric R. Keiter::Scott A. Hutchinson::Thomas V. Russo::Lon J. Waters:::Integrating Multiple Parallel Simulation Engines for Mix-Technogy Parallel Simulatio.
conf/anss/BangayCS97:::Shaun Bangay::Peter Clayton::David Sewry:::Analytical Simulation for Performance Analysis of Distributed Virtual Reality Systems.
conf/anss/Kelling95:::Christian Kelling:::TimeNET-Sim-a parallel simulator for stochastic Petri nets.
conf/anss/TanH98:::Gary S. H. Tan::Kwok-Leong Hui:::Applying Intelligent Agent Technology as the Platform for Simulation.
conf/anss/KaratzaH03:::Helen D. Karatza::Ralph C. Hilzer Jr.:::Performance Analysis of Parallel Job Scheduling in Distributed Systems.
conf/anss/ChenH03:::Yinong Chen::Zhongshi He:::Simulating Highly Dependable Applications in a Distributed Computing Environment.
conf/anss/BoukercheZ03:::Azzedine Boukerche::Liqin Zhang:::A Preemptive On-demand Distance Vector Routing Protocol for Mobile and Wireless Ad Hoc Networks.
conf/anss/Toeroe02:::Maria Toeroe:::Performance Simulation of the Jambala Platform.
conf/anss/Kelton01a:::W. David Kelton:::Some Modest Proposals for Simulation Software: Design and Analysis of Experiments.
conf/anss/GerasimovS02:::Irina Gerasimov::Robert Simon:::Bandwidth-Reservation Mechanism for On-Demand Ad hoc Path Findin.
conf/anss/ChenDLY01:::Chun-Hung Chen::Karen Donohue::Jianwu Lin::Enver Yücesa:::Efficient Approach for Monte Carlo Simulation Experiments and Its Applications to Circuit Systems Design.
conf/anss/SimonJC00:::Robert Simon::Boris Jukic::Woan Sun Chang:::Optimal Resource Allocation for Multi-Service Networks.
conf/anss/AlrabiahZ97:::Tawfig Alrabiah::Taieb Znati:::A Simulation Framework for the Analysis of Multicast Tree Algorithms.
conf/anss/HellerL99:::Jamie A. Heller::Karen Panetta Lentz:::TUFTsim: A Multiple Domain Simulator for Experimentation.
conf/anss/Bursal95:::Faruk H. Bursal:::Efficient simulation of systems with random uncertainty using interpolation.
conf/anss/Karatza00:::Helen D. Karatza:::Scheduling Strategies for Multitasking in a Distributed System.
conf/anss/Barros97:::Fernando J. Barros:::Dynamic Structure Modeling and Simulation of the Eratosthenes Sieve for Prime Numbers.
conf/anss/HirataK95:::Celso M. Hirata::Jeff Kramer:::An implementation of a technique for sharing variables in Time Warp.
conf/anss/HsiaoK00:::Hung-Chang Hsiao::Chung-Ta King:::MICA: A Memory and Interconnect Simulation Environment for Cache-Based Architectures.
conf/anss/TeoTK98:::Yong Meng Teo::Seng Chuan Tay::Siew Theng Kong:::Structured Parallel Simulation Modeling and Programming.
conf/anss/DiazVW01:::Andrea Díaz::Verónica Vazquez::Gabriel Waine:::Application of the ATLAS Language in Models of Urban Traffic.
conf/anss/Moudgill98:::Mayan Moudgill:::Techniques for Implementing Fast Processor Simulators.
conf/anss/LuoDS00:::Yuwei Luo::Roger Dougal::Enrico Santi:::Multi-Resolution Modeling of Power Converter Using Waveform Reconstruction.
conf/anss/MuellerW95:::Frank Mueller::David B. Whalley:::Fast instruction cache analysis via static cache simulation.
conf/anss/AdlerGR03:::Micah Adler::Ying Gong::Arnold L. Rosenberg:::Asymptotically Optimal Worksharing in HNOWs: How Long is "Sufficiently Long?".
conf/anss/SmelianskyBK99:::R. L. Smeliansky::A. G. Bakhmurov::A. P. Kapitonova:::DYANA: An Environment for Embedded System Design and Analysis.
conf/anss/SilvaS01:::Fabricio Alves Barbosa da Silva::Isaac D. Scherson:::Simulation-Based Average Case Analysis for Parallel Job Scheduling.
conf/anss/ChamberlainBFHKMW02:::Roger D. Chamberlain::Ch'ng Shi Baw::Mark A. Franklin::Christopher Hackmann::Praveen Krishnamurthy::Abhijit Mahajan::Michael Wrighton:::Evaluating the Performance of Photonic Interconnection Networks.
conf/aois/Zhu02:::Hong Zhu:::Developing Formal Specifications of MAS in SLABS -- A Case Study of Evolutionary Multi-Agent Ecosystem.
conf/aois/Gomez-SanzP02:::Jorge J. Gómez-Sanz::Juan Pavón:::Agent Oriented Software Engineering with MESSAGE.
conf/aois/Zeid02:::Amir Zeid:::Key Components of Agent-based Development.
conf/aois/Donzelli02:::Paolo Donzelli:::Agents, goals, and quality in a structured requirements engineering framework - a case study.
conf/ants/DummitH96:::David S. Dummit::David R. Hayes:::Checking the p-adic Stark Conjecture When p Is Archimedean.
conf/ants/FouquetM02:::Mireille Fouquet::François Morain:::Isogeny Volcanoes and the SEA Algorithm.
conf/ants/Joux02:::Antoine Joux:::The Weil and Tate Pairings as Building Blocks for Public Key Cryptosystems.
conf/ants/AuerT02:::Roland Auer::Jaap Top:::Some Genus 3 Curves with Many Points.
conf/ants/RossnerS96:::Carsten Rössner::Jean-Pierre Seifert:::The Complexity of Approximate Optima for Greatest Common Divisor Computations.
conf/ants/Shor94:::Peter W. Shor:::Polynominal time algorithms for discrete logarithms and factoring on a quantum computer.
conf/ants/AdlemanM94:::Leonard M. Adleman::Kevin S. McCurley:::Open problems in number theoretic complexity, II.
conf/ants/DenefV02:::Jan Denef::Frederik Vercauteren:::An Extension of Kedlaya's Algorithm to Artin-Schreier Curves in Characteristic 2.
conf/ants/HarasawaS00:::Ryuichi Harasawa::Joe Suzuki:::Fast Jacobian Group Arithmetic on <i>C<sub>ab</sub> </i>Curves.
conf/ants/Volcheck94:::Emil Volcheck:::Computing in the jacobian of a plane algebraic curve.
conf/ants/Couveignes96:::Jean Marc Couveignes:::Computing l-Isogenies Using the p-Torsion.
conf/ants/Vollmer02:::Ulrich Vollmer:::An Accelerated Buchmann Algorithm for Regulator Computation in Real Quadratic Fields.
conf/ants/Vallee98:::Brigitte Vallée:::The Complete Analysis of the Binary Euclidean Algorithm.
conf/ants/CohenDO00a:::Henri Cohen::Francisco Diaz y Diaz::Michel Olivier:::Counting Discriminants of Number Fields of Degree up to Four.
conf/ants/CouveignesM94:::Jean Marc Couveignes::François Morain:::Schoof's algorithm and isogeny cycles.
conf/ants/Lauter96:::Kristin Lauter:::Ray Class Field Constructions of Curves over Finite Fields with Many Rational Points.
conf/ants/CantorG00:::David G. Cantor::Daniel M. Gordon:::Factoring Polynominals over <i>p</i>-Adic Fields.
conf/ants/Smith00:::Derek Smith:::Factorization in the Composition Algebras.
conf/ants/AlfordGP94:::W. R. Alford::Andrew Granville::Carl Pomerance:::On the difficulty of finding reliable witnesses.
conf/ants/KohelS00:::David R. Kohel::Igor Shparlinski:::On Exponential Sums and Group Generators for Elliptic Curves over Finite Fields.
conf/ants/HuangW98:::Ming-Deh A. Huang::Yiu-Chung Wong:::An Algorithm for Approximate Counting of Points on Algebraic Sets over Finite Fields.
conf/ants/Elkies94:::Noam D. Elkies:::Heegner point computations.
conf/ants/Belabas96:::K. Belabas:::Computing Cubic Fields in Quasi-Linear Time.
conf/ants/CohenDO00:::Henri Cohen::Francisco Diaz y Diaz::Michel Olivier:::Construction of Tables of Quartic Number Fields.
conf/ants/Mingzhi98:::Zhang Mingzhi:::Factorization of the Numbers of the Form <i>m<sup>3</sup>+c<sub>2</sub>m<sup>2</sup>+c<sub>1</sub>m+c<sub>0</sub> </i>.
conf/ants/FukudaK02:::Takashi Fukuda::Keiichi Komatsu:::An Application of Siegel Modular Functions to Kronecker's Limit Formula.
conf/apbc/WuY03:::Shuanhu Wu::Hong Yan:::Microarray Image Processing Based on Clustering and Morphological Analysis.
conf/apbc/Wunsche03:::Burkhard Wünsche:::The Visualization and Measurement of Left Ventricular Deformation.
conf/apbc/NicolauFN03:::Dan V. Nicolau Jr.::Florin Fulga::Dan V. Nicolau:::A New Program to Compute the Surface Properties of Biomolecules.
conf/apbc/KurataBSD03:::Ken-ichi Kurata::Vincent Breton::Christian Saguez::Gerald Dine:::Evaluation of Unique Sequences on the European Data Grid.
conf/apbc/BorschbachLMN03:::M. Borschbach::Wolfram-Manfred Lippe::C. Mertens::S. Niedieck:::Analysing MEG-Data by a Combination of Different Neural Networks.
conf/apdc/BaerC94:::Jean-Loup Baer::Tien-Fu Chen:::An Evaluation of Hardware and Software Data Prefetching.
conf/apdc/Risset94:::Tanguy Risset:::Applying Semi-Systolic Techniques to SIMD Programming.
conf/apdc/LevrouwAC94:::Luk Levrouw::Koenraad Audenaert::J. M. Van Campenhout:::Execution Replay with Compact Logs for Shared-Memory Programs.
conf/aose/DuvigneauMR02:::Michael Duvigneau::Daniel Moldt::Heiko Rölke:::Concurrent Architecture for a Multi-agent Platform.
conf/aose/BrescianiPGGM01:::Paolo Bresciani::Anna Perini::Paolo Giorgini::Fausto Giunchiglia::John Mylopoulos:::Modeling Early Requirements in Tropos: A Transformation Based Approach.
conf/aose/Petrie00:::Charles J. Petrie:::Agent-Based Software Engineering.
conf/aose/BrauerNRWL01:::Wilfried Brauer::Matthias Nickles::Michael Rovatsos::Gerhard Weiß::Kai F. Lorentzen:::Expectation-Oriented Analysis and Design.
conf/aose/OMalleyD01:::Scott A. O'Malley::Scott DeLoach:::Determining When to Use an Agent-Oriented Software Engineering Paradigm.
conf/arcs/GeihsS86:::Kurt Geihs::Manfred H. Seifert:::Validation of a Protocol for Application Layer Services.
conf/arcs/FinkZZ99:::Torsten Fink::Thomas Zimmermann::Eberhard Zehendner:::Amica: einfache, uniforme Nutzung heterogener, verteilter, dynamischer Ressourcen.
conf/arcs/Walke74:::Bernhard Walke:::Simulation und Rechnung bei der Durchsatzoptimierung für gemessene, technisch-wissenschaftliche Aufgabenprofile.
conf/arcs/Ray84:::Wayne A. Ray:::New Multiparallel Systems - Cyberplus.
conf/arcs/Oechsle88:::Rainer Oechsle:::Prozeßkommunikation mit asynchronem Empfangen.
conf/arcs/Klar70:::Rainer Klar:::Hardware-Messungen und ihre Anwendungen auf die Ermittlung von Befehlsstatstiken.
conf/arcs/Kolp88:::Otto Kolp:::A Multigrid Algorithm on Hypercube Systems.
conf/arcs/Piloty80:::Robert Piloty:::Rechnergestützter Entwurf digitaler systeme: Stand, Probleme, Aussichten.
conf/arcs/Petri99:::Stefan Petri:::A Common Framework for Transparent Checkpointing, Replication and Migration in Clusters.
conf/arcs/LeilichKZ75:::Hans-Otto Leilich::Ingo H. Karlowsky::Hans Christoph Zeidler:::Content addressing in data bases by special peripheral hardware: a proposal called "Suchrechner".
conf/arcs/LustigOD99:::Gunther Lustig::Wolfgang Obelöer::Andreas Döring:::RUBIN-Lab: Eine Simulationsumgebung für regelbasierte Routing-Algorithmen.
conf/arcs/Kummerle86:::Karl Kümmerle:::Trends in Local Communication Systems.
conf/arcs/Berndt70:::H. Berndt:::Die Bedeutung interner Datensammlewege für die Rechnerarchitkektur.
conf/arcs/Rammig86:::Franz J. Rammig:::Systematischer Entwurf eines 32-Bit Mikroprozessors als Ausbildungsaufgabe.
conf/arcs/KaiserKN86:::Jörg Kaiser::Reinhold Kröger::Edgar Nett:::MUTABOR, ein Co-Prozessor zur objektorientierten Speicherverwaltung.
conf/arcs/LehnerE99:::Karlheinz Lehner::Frank Eiffert:::Einsatz eines integrierten Visualisierungstools für Ingenieuranwendungen auf der Basis von CORBA.
conf/arcs/Kudielka74:::Viktor Kudielka:::Parallelverarbeitung und modularer Systemaufbau.
conf/arcs/Bemmerl90:::Thomas Bemmerl:::Integration von Multiprozessorarchitektur, Systemsoftware und Werkzeugumgebung.
conf/arcs/Kremer90:::Werner Kremer:::Analyse eines LAN Netzverkehrs im Hinblick auf Modellierbarkeit von Protokollabläufen.
conf/arcs/Zeidler84:::Hans Christoph Zeidler:::Funktionsorientierte Hardware für Datenbanksysteme.
conf/arcs/HandlerHHS84:::Wolfgang Händler::U. Herzog::Fridolin Hofmann::Hans Jürgen Schneider:::Multiprozessoren für breite Anwendungsbereiche: Erlangen General Purpose Array.
conf/arcs/KuchlinGSL97:::Wolfgang Küchlin::Gerhard Gruhler::Andreas Speck::Thomas Lumpp:::HighRobot: Distributed Objekt-Oriented Real-Time Systems.
conf/arcs/Boulaye75:::Guy G. Boulaye:::Structured design for structured architecture.
conf/arcs/Kruger70:::Gerhard Krüger:::Laborautomation und Prozeßrechensysteme.
conf/arcs/Prasser70:::M. Prasser:::Interrupt-Oganisation bei Realzeit-Datenverarbeitunsanlagen.
conf/arcs/MarkwardtKS97:::Gert Markwardt::Günter Kemnitz::Rainer G. Spallek:::A RISC Processor with Extended Forwarding.
conf/arcs/Sayre75:::Gordon E. Sayre:::STARAN: An associative approach to multiprocessor architecture.
conf/arcs/DarianianSW90:::M. Darianian::Ch. Schönfeld::Klaus Waldschmidt:::Ein Assoziativspeicherfeld hoher Kapazität im Slice-Prozessor AM<sup>3</sup>.
conf/arcs/BenkerDNS90:::Hans Benker::Michel Dorochevsky::Jacques Noyé::Alan P. Sexton:::A Knowledge Crunching System.
conf/arcs/Fleischmann02:::Marc Fleischmann:::Keynote: Microprocessor Architectures for the Mobile Internet Era.
conf/arcs/Lovric99:::Tomislav Lovric:::Zertifizierung Sicherheitskritischer Softwarebasierter Systeme.
conf/arcs/CzajaKK92:::Karol Czaja::Jörg Kaiser::Uwe Kleinhans:::Ein Hardware-Monitor zur Durchsetzung von Zugriffsschutz in objektorientierten Systemen.
conf/arcs/RehfingerBZ99:::Thomas Rehfinger::N. Suresh Babu::Karl-Heinz Zimmermann:::Parallelizing the Search for Good Linear Codes.
conf/arcs/Kading92:::Matthias Käding:::Eine dienstbasierte Sicherheitsarchitektur für Verteilte Systeme.
conf/arcs/Zemanek84:::Heinz Zemanek:::Über die Grenzen der Einsicht im Computerwesen.
conf/arcs/ChavezIK99:::Esteban Chávez::Rüdiger Ide::Thomas Kirste:::SAMoA: An experimental platform for Situation-Aware Mobile Assistance.
conf/arcs/Hager70:::K. Hager:::Zur Parallelverarbeitung von arithmetischen Ausdrücken.
conf/arcs/Kuspert74:::Hans-Jürgen Küspert:::Optimalitätsbedingungen für Strategien der Betriebsmittelzuteilung - Eine Beweismethode.
conf/arcs/HoffmannL84:::Werner Hoffmann::Axel Lehmann:::Leistungsfähigkeit von Mehrrechnerprozessorsystemen mit iAPX 432-Prozessoren, Kreuzzschienenverteiler und Pufferspeichern.
conf/arcs/Dirlewanger99:::Werner Dirlewanger:::Die ISO/DIN-Methode zur DV-Leistungsmessung: Eine Herausforderung für Rechnerarchitekten.
conf/ares/EixelsbergerKOBBG98:::Wolfgang Eixelsberger::Manfred Kalan::Michaela Ogris::Håkon Beckman::Berndt Bellay::Harald Gall:::Recovery of Architectural Structure: A Case Study.
conf/ares/ObbinkCL98:::J. Henk Obbink::Paul C. Clements::Frank van der Linden:::Introduction.
conf/ares/MendoncaK98:::Nabor C. Mendonça::Jeff Kramer:::An Experiment in Distributed Software Architecture Recovery.
conf/arts/HermannsS99:::Holger Hermanns::Markus Siegle:::Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation.
conf/arts/HavelundLS99:::Klaus Havelund::Kim Guldstrand Larsen::Arne Skou:::Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL.
conf/arts/CamposC97:::Sérgio Vale Aguiar Campos::Edmund M. Clarke:::The Versus Language: Representing Time Efficiently with BDDs.
