-
Notifications
You must be signed in to change notification settings - Fork 0
/
x0087
200 lines (200 loc) · 26.3 KB
/
x0087
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
conf/si3d/RaskarC99:::Ramesh Raskar::Michael Cohen:::Image precision silhouette edges.
conf/si3d/AliagaCWBZEHHSBWBM99:::Daniel G. Aliaga::Jon Cohen::Andrew Wilson::Eric Baker::Hansong Zhang::Carl Erikson::Kenneth E. Hoff III::Tom Hudson::Wolfgang Stürzlinger::Rui Bastos::Mary C. Whitton::Frederick P. Brooks Jr.::Dinesh Manocha:::MMR: an interactive massive model rendering system using geometric and image-based acceleration.
conf/seal/Gero98:::John S. Gero:::Novel Models in Evolutionary Designing.
conf/seal/SeoC98:::Yeon-Gyu Seo::Sung-Bae Cho:::An Evolutionary Study on Cooperation in N-person Iterated Prisoner's Dilemma Game.
conf/seal/NakaoTC96:::Zensho Nakao::Midori Takashibu::Yen-Wei Chen:::Evolutionary CT Image Reconstruction by Image Partitioning.
conf/seal/SasakiT98:::Takahiro Sasaki::Mario Tokoro:::Adaptation under Changing Environments with Various Rates of Inheritance of Acquired Characters: Comparison between Darwinian and Lamarckian Evolution.
conf/seal/OdaIKU98:::Sobei H. Oda::Kouhei Iyori::Miura Ken::Kanji Ueda:::The Application of Cellular Automata to the Consumer's Theory: Simulating a Duopolistic Market.
conf/seal/ShimookaF98:::Hiroaki Shimooka::Yoshiji Fujimoto:::Generating Equations with Genetic Programming for Control of a Movable Inverted Pendulum.
conf/seal/TakeuchiF96:::Ichiro Takeuchi::Takeshi Furuhashi:::An Inference Method Using Multiple Patterns and Modification of Pattern Space.
conf/sebd/BertinoFM03:::Elisa Bertino::S. Franzoni::Marco Mesiti:::Memorizzazione di regole per l'instradamento di messaggi in un sistema di comunicazione universale.
conf/sebd/DamianiOQT01:::Ernesto Damiani::Barbara Oliboni::Elisa Quintarelli::Letizia Tanca:::Temporal Aspects of Semistructured Data.
conf/sebd/ColomboFP03:::Enzo Colombo::Chiara Francalanci::Barbara Pernici:::Modeling Business Transactions as e-Services.
conf/sebd/ClementiniF94:::Eliseo Clementini::Paolino Di Felice:::Topology in an O-O GIS.
conf/sebd/CaliC01:::Andrea Calì::Diego Calvanese:::Optimizing Query Planning with Limited Source Capabilities in the Presence of Inclusion and Functional Dependencies.
conf/sebd/CannataroLMPS95:::Mario Cannataro::A. Limongiello::Tommaso Mostardi::Antonella Pelaggi::Carlo Siciliano:::Un'esperienza di Gestione di Copie in un Ambiente di Basi di Dati Distribuite ed Eterogenee.
conf/sebd/GrumbachT01:::Stéphane Grumbach::Leonardo Tininini:::Automatic Aggregation Using Explicit Metadata.
conf/sebd/BaralisCMPRR97:::Elena Baralis::Stefano Ceri::Rosa Meo::Giuseppe Psaila::Marco Richeldi:::Amore: An Integrated Environment for Database Mining.
conf/sebd/DohnalGSZ01:::Vlastislav Dohnal::Claudio Gennaro::Pasquale Savino::Pavel Zezula:::Separable Splits of Metric Data Sets.
conf/sebd/OrsiniC02:::Renzo Orsini::Augusto Celentano:::A Workbench for Prototyping XML Data Exchange.
conf/sebd/DamianiT00:::Ernesto Damiani::Letizia Tanca:::Blind queries to XML data.
conf/sebd/MissierB03:::Paolo Missier::Carlo Batini:::A model for Information Quality management in Cooperative Information Systems.
conf/sebd/ClementiniFG97:::Eliseo Clementini::Paolino Di Felice::Ivan Gargaro:::Controllo dell'Integrita` Topologica in Basi di Dati Spaziali a seguito di Operazioni di Generalizzazione.
conf/sebd/GolfarelliMR99:::Matteo Golfarelli::Dario Maio::Stefano Rizzi:::Vertical Fragmentation of Views in Relational Data Warehouses.
conf/sebd/SantisSC03:::L. De Santis::Monica Scannapieco::Tiziana Catarci:::A Trust Model for Tightly Coupled P2P Systems.
conf/sebd/LeoneMMS93:::Nicola Leone::Fabio Messina::Tommaso Mostardi::Carlo Siciliano:::Sincronizzazione e Ripristino di Transazioni Distribuite in un Sistema Multidatabase.
conf/sebd/RizzoV95:::Stefano Rizzo::Giovanna Vantini:::GOAL: The Challenge of High-Performance in GIS.
conf/sebd/BeneventanoBGV01:::Domenico Beneventano::Sonia Bergamaschi::Francesco Guerra::Maurizio Vincini:::Exploiting Extensional Knowledge for Query Reformulation and Object Fusion in a Data Integration System.
conf/sebd/PalopoliT93:::Luigi Palopoli::Riccardo Torlone:::Actions and Transactions on Complex Objects.
conf/sebd/LugliNST94:::Marco Lugli::Luca Nini::Silvio Salza::Mario Terranava:::A Prototype System for the Efficient Support of Object Oriented Database Applications.
conf/sebd/GottlobLS01:::Georg Gottlob::Nicola Leone::Francesco Scarcello:::Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width.
conf/sebd/RaffaeteaRT02:::Alessandra Raffaetà::Chiara Renso::Franco Turini:::Qualitative Reasoning in a Spatio-Temporal Language.
conf/sebd/Nanni02:::Mirco Nanni:::Distances for Spatio-Temporal Clustering.
conf/sebd/MissikoffT03:::Michele Missikoff::Francesco Taglino:::The Architecture of Harmonise: an Ontology-based Platform for Semantic Interoperability.
conf/sebd/AtzeniCM96:::Paolo Atzeni::Luca Cabibbo::Giansalvatore Mecca:::Cooperazione di basi di dati autonome: criteri di classificazione e strumenti di middleware.
conf/sebd/AtzeniPT95:::Paolo Atzeni::Alessandro Paci::Riccardo Torlone:::Schema Translation Server: uno Strumento per la Traduzione di Schemi Concettuali Eterogenei.
conf/sebd/CastanoAVM00:::Silvana Castano::Valeria De Antonellis::Sabrina De Capitani di Vimercati::Michele Melchiori:::A uniform framework for Web data modeling and integration.
conf/sebd/MalerbaACV02:::Donato Malerba::Annalisa Appice::Michelangelo Ceci::Nicola Vacca:::Mining Classification and Association Rules in Geographical Data with SDMOQL.
conf/sefm/NgB03:::Muan Yong Ng::Michael J. Butler:::Towards Formalizing UML State Diagrams in CSP.
conf/seke/BandiniPMM02:::Stefania Bandini::Flavio De Paoli::Sara Manzoni::Paolo Mereghetti:::A support system to COTS-based software development for business services.
conf/seke/BarbutiTBF02:::Roberto Barbuti::Luca Tesei::Cinzia Bernardeschi::Nicoletta De Francesco:::Fixing the Java bytecode verifier by a suitable type domain.
conf/seke/OrjiN96:::Cyril U. Orji::Kingsley C. Nwosu:::Data Layout for Interactive Video-on-Demand Storage Systems.
conf/seke/BirkK99:::Andreas Birk::Felix Kröschel:::A Knowledge Management Lifecycle for Experience Packages on Software Engineering Technologies.
conf/seke/Berzins96:::Valdis Berzins:::Recombining Changes to Software Specifications.
conf/seke/CalvaneseCLS02:::Diego Calvanese::Tiziana Catarci::Maurizio Lenzerini::Giuseppe Santucci:::The multilingual thesaurus of LAURIN.
conf/seke/TepfenhartRW02:::William M. Tepfenhart::Daniela Rosca::Daniel Woolley:::A product focused, layered software development framework.
conf/seke/GrutznerAP02:::Ines Grützner::Niniek Angkasaputra::Dietmar Pfahl:::A systematic approach to produce small courseware modules for combined learning and knowledge management environements.
conf/seke/ChungC02:::Lawrence Chung::Kendra Cooper:::A knowledge-based COTS-aware requirements engineering approach.
conf/seke/GriffithsHLO02:::G. Griffiths::B. D. Hebbron::M. A. Lockyer::B. J. Oates:::A simple method & tool for web engineering.
conf/seke/BroomeR99:::Mikael Broomé::Per Runeson:::Technical Requirements for the Implementation of an Experience Base.
conf/seke/KimSK96:::Han Gyoo Kim::Young-Chul Shim::Moon-hae Kim:::Relationship Between Communication Capability and Goal Achievement in System of Agents.
conf/seke/IzumiK96:::Naoko Izumi::Takuya Katayama:::An Object Logic for Object Base Capable of Version Management.
conf/seke/KramerK96:::Bernd J. Krämer::Thomas Koch:::Knowledge-Based Support for Distributed Systems Management.
conf/seke/DonzelliS02:::Paolo Donzelli::Roberto Setola:::Handling the knowledge acquired during the requirements engineering process: a case study.
conf/seke/Gentleman96:::W. Morven Gentleman:::Challenges in Deploying Software: Rollout, Field Support, Upgrades.
conf/seke/Oussalah02:::Mourad Oussalah:::Component-oriented KBS.
conf/seke/ZhangZ96:::Kang Zhang::Da-Qian Zhang:::Developing Visual Languages Through an Evolving Method.
conf/seke/CiancariniCM96:::Paolo Ciancarini::Stelvio Cimato::Cecilia Mascolo:::Engineering Formal Requirements: Analysis and Testing.
conf/seke/AnzbockDG02:::Rainer Anzböck::Schahram Dustdar::Harald Gall:::Software configuration, distribution, and deployment of web-services.
conf/seke/ChangW96:::Chia-Yo Chang::Jason Tsong-Li Wang:::Scientific Data Mining: A Case Study.
conf/serp/ChoL03:::Jae-kyu Cho::Sung Jong Lee:::An Evaluation Model for Software Quality Improvement.
conf/serp/Barth03:::Michael Barth:::Performance Assessment of Software Models in a Configurable Environment Simulator.
conf/serp/AjilaX03:::Samuel Ajila::Peng Xie:::DPET - A Simple C++ Design Pattern Extraction Tool.
conf/serp/TabelingG03:::Peter Tabeling::Bernhard Gröne:::Mappings between Object-Oriented Technology and Architecture-Based Models.
conf/serp/KhanW03:::Sohel Khan::Abdul Waheed:::Modeling and Formal Verification of IMPP.
conf/serp/KoKLL03:::Sang-Pok Ko::Kang-Tae Kim::Hyun-Dong Lee::Kyung-Whan Lee:::A Study on the Measurement for Embedded Software.
conf/serp/BauerB03:::Michael A. Bauer::Don Bourne:::A Methodology for Assuring Quality Logging Practices in Electronic Commerce Systems.
conf/serp/ChangCEM03:::Elizabeth Chang::Catherine Colman::Wan Ee::Mirka Miller:::Comparison of Industry-Sited Projects and University-Sited Projects for Final Year Students.
conf/serp/HerzwurmSDB03:::Georg Herzwurm::Sixten Schockert::Ulrike Dowie::Michael Breidung:::Requirements Engineering for Application Development in Volatile Project Environments Using Continuous Quality Function Deployment (CQFD).
conf/serp/HutchinsonKS03:::John Hutchinson::Gerald Kotonya::Peter Sawyer:::Understanding the Impact of Change in COTS-Based Systems.
conf/serp/Hesson03:::Mihyar Hesson:::State of the Art End-Of-Time Tester.
conf/serp/Wheeler03:::Thomas J. Wheeler:::Object Oriented Requirements Engineering for Multidiscipline Systems.
conf/serp/KorthausM03:::Axel Korthaus::Matthias Merz:::A Critical Analysis of JDO in the Context of J2EE.
conf/serp/SantosS03:::Cristina Paludo Santos::Denílson Rodrigues da Silva:::InterCase: An Environment for Prototyping User Interfaces.
conf/serp/Skoglund03:::Mats Skoglund:::Practical Use of Encapsulation in Object-Oriented Programming.
conf/serp/LouisMHHW03:::Sushil J. Louis::John McDonnell::Doan Hohmeyer::Lisa Heinselman::Andrew Walker:::A Case Study in Object Oriented Modeling, Arhchitecting, and Designing an Enterprise Monitoring Application.
conf/serp/HanLK03:::Hyoun-Goun Han::Myung-Jin Lee::Byung-Ug Kang:::A Method of Software Development Using BizWiz that Supports Automated Generation Systems.
conf/serp/LeeYCK03:::Chang-Mog Lee::Cheol-Jung Yoo::Ok-Bae Chang::In-Su Kim:::Form-Based Object Analysis Process by Applying Reverse Engineering in Legacy Application Systems.
conf/setn/MaragoudakisTFA02:::Manolis Maragoudakis::Nikolaos K. Tselios::Nikos Fakotakis::Nikolaos M. Avouris:::Improving SMS Usability Using Bayesian Networks.
conf/setn/MylopoulosKG02:::John Mylopoulos::Manuel Kolp::Paolo Giorgini:::Agent-Oriented Software Development.
conf/setn/SigletosPK02:::Georgios Sigletos::Georgios Paliouras::Vangelis Karkaletsis:::Role Identification from Free Text Using Hidden Markov Models.
conf/setn/VassilasMCKRMP02:::Nikolaos Vassilas::George Miaoulis::Dionysios Chronopoulos::Elias Konstantinidis::Ioanna Ravani::Dimitrios Makris::Dimitri Plemenos:::MultiCAD-GA: A System for the Design of 3D Forms Based on Genetic Algorithms and Human Evaluation.
conf/seuh/Raasch93:::Jörg Raasch:::Einleitung zum Workshop SEUH'93.
conf/seuh/Paech94:::Barbara Paech:::Ein Vorschlag zur Integration der Software Engineering Ausbildung in das Informatik- Studium.
conf/seuh/CarlsR93:::Helga Carls::Jörg Raasch:::Der Unterschied zwischen Theorie und Praxis - Vorlesung und Praktikum "Software-Engineering".
conf/seuh/Dumke93:::Reiner R. Dumke:::Evolutionäre Software-Systementwicklung am Beispiel der Lehrveranstaltung "Software-Technik" selbst.
conf/seuh/Kneuper94:::Ralf Kneuper:::Anforderungen an den Unterricht der Hochschulen im Fach Software Engineering aus Sicht eines Softwarehauses.
conf/seuh/BartschBHP95:::Wolfgang Bartsch::Klaus Bergner::Rudolf Hettler::Barbara Paech:::Studenten Entwickeln Universelles Hochschulinformationssystem: Erfahrungen aus einem Softwaretechnik-Praktikum.
conf/seuh/Schneider92:::Kurt Schneider:::Aufbau und Einbettung des SE-Unterrichts (Sitzungsbericht).
conf/rtas/ArcherH96:::Myla Archer::Constance L. Heitmeyer:::Mechanical verification of timed automata: a case study.
conf/rtas/SchneiderCP95:::Stanley A. Schneider::Vincent W. Chen::Gerardo Pardo-Castellote:::ControlShell: component-based real-time programming.
conf/rtas/LiuM99:::Guangtian Liu::Aloysius K. Mok:::Implementation of JEM - A Java Composite Event Package.
conf/rtas/HealySRW98:::Christopher A. Healy::Mikael Sjödin::Viresh Rustagi::David B. Whalley:::Bounding Loop Iterations for Timing Analysis.
conf/rtas/SokolskyYLKZ98:::Oleg Sokolsky::Mohamed F. Younis::Insup Lee::Hee-Hwan Kwak::Jeff Zhou:::Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study.
conf/rtas/WestS01:::Richard West::Karsten Schwan:::Quality Events: A Flexible Mechanism for Quality of Service Management.
conf/rtas/YuenLC01:::Joe Yuen::Kam-yiu Lam::Edward Chan:::Adaptive Buffer Sensitive Scheduling for Transmitting Video Streams in a Mobile Multimedia System.
conf/rtas/SchmidtMFG98:::Douglas C. Schmidt::Sumedh Mungee::Sergio Flores-Gaitan::Aniruddha S. Gokhale:::Alleviating Priority Inversion and Non-Determinism in Real-Time CORBA ORB Core Architectures.
conf/rtas/Engblom03:::Jakob Engblom:::Analysis of the Execution Time Unpredictability caused by Dynamic Branch Prediction.
conf/rtas/JonesR99:::Michael B. Jones::John Regehr:::The Problems You're Having May Not Be the Problems You Think You're Having: Results from a Latency Study of Windows NT.
conf/rtas/PunnekkatHN00:::Sasikumar Punnekkat::Hans Hansson::Christer Norström:::Response Time Analysis under Errors for CAN.
conf/rtas/StorchL96:::Matthew F. Storch::Jane W.-S. Liu:::DRTSS: a simulation framework for complex real-time systems.
conf/rtas/PisharathJC03:::Jayaprakash Pisharath::Nan Jiang::Alok N. Choudhary:::Evaluation of Application-aware Heterogeneous Embedded Systems for Performance and Energy Consumption.
conf/rtas/RegehrS01:::John Regehr::John A. Stankovic:::Augmented CPU Reservations: Towards Predictable Execution on General-Purpose Operating System.
conf/rtas/RiceC99:::Lorraine E. P. Rice::Albert Mo Kim Cheng:::Timing Analysis of the X-38 Space Station Crew Return Vehicle Avionics.
conf/rtas/MiyoshiR01:::Akihiko Miyoshi::Ragunathan Rajkumar:::Protecting Resources with Resource Control Lists.
conf/rtas/LamLH95:::Kwok-Wa Lam::Kam-yiu Lam::Sheung-lun Hung:::Real-time optimistic concurrency control protocol with dynamic adjustment of serialization order.
conf/rtas/WisniewskiS95:::Robert W. Wisniewski::Luis F. Stevens:::A model and tools for supporting parallel real-time applications in Unix environments.
conf/rtas/CorsaroS02:::Angelo Corsaro::Douglas C. Schmidt:::Evaluating Real-Time Java Features and Performance for Real-Time Embedded Systems.
conf/rtas/DuoLW97:::Tei-Wei Kuo::Doug Locke::Farn Wang:::Error Propagation Analysis of Real-Time Data Intensive Applications.
conf/rtas/LipariB01:::Giuseppe Lipari::Sanjoy K. Baruah:::A Hierarchical Extension to the Constant Bandwidth Server Framework.
conf/rtas/ShuSS02:::LihChyun Shu::John A. Stankovic::Sang Hyuk Son:::Achieving Bounded and Predictable Recovery using Real-Time Logging.
conf/rtas/RyuPH99:::Minsoo Ryu::Jungkeun Park::Seonsoo Hong:::Timing Constraint Remapping to Avoid Time Discontinuities in Distributed Real-Time Systems.
conf/rtas/StankovicZPLYHE03:::John A. Stankovic::Ruiqing Zhu::Ram Poornalingam::Chenyang Lu::Zhendong Yu::Marty Humphrey::Brian Ellis:::VEST: An Aspect-Based Composition Tool for Real-Time Systems.
conf/rtas/ShankarML99:::Mallikarjun Shankar::Miguel De Miguel::Jane W.-S. Liu:::An End-to-End QoS Management Architecture.
conf/rtas/ShenoyHKR02:::Prashant J. Shenoy::Saif Hasan::Purushottam Kulkarni::Krithi Ramamritham:::Middleware versus Native OS Support: Architectural Considerations for Supporting Multimedia Applications.
conf/rtdb/KaoC01:::Ben Kao::Reynold Cheng:::Disk Scheduling.
conf/rtdb/HongCJ96:::D. Hong::Sharma Chakravarthy::Theodore Johnson:::Locking Based Concurrency Control for Integrated Real-Time Database Systems.
conf/rtdb/VrbskyTJ97:::Susan V. Vrbsky::Sasa Tomic::Nenad Jukic:::Concurrency Control for Approximate Query Processing of Real-Time Database Systems.
conf/rtse/AstesianoR97:::Egidio Astesiano::Gianna Reggio:::A Discipline for Handling Feature Interaction.
conf/rtse/Bjorner97:::Dines Bjørner:::Domains as a Prerequisite for Requirements and Software Domain Perspectives & Facets, Requirements Aspects and Software Views.
conf/rtse/KamstiesR97:::Erik Kamsties::H. Dieter Rombach:::A Framework for Evaluating System and Software Requirements Specification Approaches.
conf/rtse/GhezziV97:::Carlo Ghezzi::Giovanni Vigna:::Software Engineering Issues for Network Computing.
conf/sisw/WongWW02:::Theodore M. Wong::Chenxi Wang::Jeannette M. Wing:::Verifiable Secret Redistribution for Archive System.
conf/rtss/Dean02:::Alexander G. Dean:::Compiling for Fine-Grain Concurrency: Planning and Performing Software Thread Integration.
conf/rtss/MuntzH89:::Alice H. Muntz::Ellis Horowitz:::A Framework for Specification and Design of Software for Advanced Sensor Systems.
conf/rtss/BiyabaniSR88:::Sara R. Biyabani::John A. Stankovic::Krithi Ramamritham:::The Integration of Deadline and Criticalness in Hard Real-Time Scheduling.
conf/rtss/SpuriB94:::Marco Spuri::Giorgio C. Buttazzo:::Efficient Aperiodic Service Under Earliest Deadline Scheduling.
conf/rtss/CohenJ81:::Danny Cohen::S. Lennart Johnsson:::A Mathematical Approach to the Design of VLSI Networks for Real-Time Computation Problems.
conf/rtss/Olson86:::Robert Olson:::Realtime Response on a Message Based Multiprocessor.
conf/rtss/AnC85:::Jung M. An::Wesley W. Chu:::A Resilient Commit Protocol for Real Time Systems.
conf/rtss/Liu99:::C. L. Liu:::From Time Sharing to Real Time-Sharing of a Really Good Time in the Last 40 Years.
conf/rtss/WangL94:::Kai Wang::Tein-Hsiang Lin:::Scheduling Adaptive Tasks in Real-Time Systems.
conf/rtss/LehoczkySD89:::John P. Lehoczky::Lui Sha::Y. Ding:::The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior.
conf/rtss/LeeG85:::Insup Lee::Vijay Gehlot:::Language Constructs for Distributed Real-Time Programming.
conf/rtss/KuoM91:::Tei-Wei Kuo::Aloysius K. Mok:::Load Adjustment in Adaptive Real-Time Systems.
conf/rtss/RajuRJ92:::Sitaram C. V. Raju::Ragunathan Rajkumar::Farnam Jahanian:::Monitoring Timing Constraints in Distributed Real-Time Systems.
conf/rtss/MokS85:::Aloysius K. Mok::Supoj Sutanthavibul:::Modeling and Scheduling of Dataflow Real-Time Systems.
conf/rtss/NgSZ97:::Joseph Kee-Yin Ng::Shibin Song::Wei Zhao:::Integrated delay analysis of regulated ATM switch.
conf/rtss/CarmoVJ94:::Rosa M. L. R. Carmo::Francisco Vasques::Guy Juanole:::Real-Time Communication Services in a DQDB Network.
conf/rtss/ThomadakisL99:::Michael E. Thomadakis::Jyh-Charn Liu:::On the Efficient Scheduling of Non-Periodic Tasks in Hard Real-Time Systems.
conf/rtss/LeungW90:::Joseph Y.-T. Leung::C. S. Wong:::Minimizing the Number of Late Tasks with Error Constraint.
conf/rtss/SchultzB81:::David E. Schultz::Stanley K. Brown:::On-Line Replacement of a Particle Accelerator Control Computer.
conf/rtss/ClementsHLR93:::Paul C. Clements::Constance L. Heitmeyer::Bruce G. Labaw::A. T. Rose:::MT: A Toolset for Specifying and Analyzing Real-Time Systems.
conf/rtss/JensenLT85:::E. Douglas Jensen::C. Douglas Locke::Hideyuki Tokuda:::A Time-Driven Scheduling Model for Real-Time Operating Systems.
conf/rtss/Rhee96:::Injong Rhee:::Optimizing a FIFO, scalable spin lock using consistent memory.
conf/rtss/CaccamoB97:::Marco Caccamo::Giorgio C. Buttazzo:::Exploiting skips in periodic tasks for enhancing aperiodic responsiveness.
conf/rtss/DavidCN01:::L. David::F. Cottet::N. Nissanke:::Jitter Control in On-Line Scheduling of Dependent Real-Time Tasks.
conf/rtss/AudsleyW96:::Neil C. Audsley::Andy J. Wellings:::Analysing APEX applications.
conf/rtss/YounisMS94:::Mohamed F. Younis::Thomas J. Marlowe::Alexander D. Stoyenko:::Compiler Transformations for Speculative Execution in a Real-Time System.
conf/rtss/WeddeAKK88:::Horst Wedde::Ghasem S. Alijani::Gookhai Kang::Bo-Kyung Kim:::MELODY: A Distributed Real-Time Testbed for Adaptive Systems.
conf/rtss/AydiMMM01:::Hakan Aydi::Pedro Mejía-Alvarez::Daniel Mossé::Rami G. Melhem:::Dynamic and Aggressive Scheduling Techniques for Power-Aware Real-Time Systems.
conf/rtss/Martinez98:::David Martinez:::Future Challenges in the Development of Real-Time High Performance Embedded Systems.
conf/rtss/BhattGR87:::Devesh Bhatt::Adel Ghonami::Ranga Ramanujan:::An Instrumental Testbed for Real-Time Distributed Systems Development.
conf/rtss/KamenoffW91:::Nick I. Kamenoff::Nelson H. Weiderman:::Hartstone Distributed Benchmark: Requirements and Definitions.
conf/rtss/GerberHS94:::Richard Gerber::Seongsoo Hong::Manas Saksena:::Guaranteeing End-to-End Timing Constraints by Calibrating Intermediate Processes.
conf/rtss/OpperM82:::Eli Opper::Miroslaw Malek:::Real-Time Diagnosis of Banyan Networks.
conf/rtss/TilborgJ81:::André M. van Tilborg::Thomas J. Jasinski:::Fault-Tolerance of Radiation Disturbed Multi-Microprocessors.
conf/rtss/NataleS94:::Marco Di Natale::John A. Stankovic:::Dynamic End-to-End Guarantees in Distributed Real Time Systems.
conf/rtss/GilliesL89:::Donald W. Gillies::Jane W.-S. Liu:::Greed in Resource Scheduling.
conf/rtss/Ferran81:::Guy Ferran:::Distributed Checkpointing in a Distributed Data Management System.
conf/rtss/RoweP87:::P. Kim Rowe::B. Pagurek:::Remedy: A Real-Time, Multiprocessor, System Level Debugger.
conf/rtss/HuangLH96:::Tai-Yi Huang::Jane W.-S. Liu::David Hull:::A Method for Bounding the Effect of DMA I/O Interference on Program Execution Time.
conf/rtss/NarayanaA88:::K. T. Narayana::A. A. Aaby:::Specification of Real-Time Systems in Real-Time Temporal Interval Logic.
conf/rtss/AnderssonBJ01:::Björn Andersson::Sanjoy K. Baruah::Jan Jonsson:::Static-Priority Scheduling on Multiprocessors.
conf/rtss/BouajjaniTY97:::Ahmed Bouajjani::Stavros Tripakis::Sergio Yovine:::On-the-fly symbolic model checking for real-time systems.
conf/rtss/FaustiniL85:::A. A. Faustini::Edgar B. Lewis:::A Declarative Language for the Specification of Real Time Systems.
conf/rtss/HanssonJ90:::Hans Hansson::Bengt Jonsson:::A Calculus for Communicating Systems with Time and Probabitilies.
conf/rtss/ButtazzoLA98:::Giorgio C. Buttazzo::Giuseppe Lipari::Luca Abeni:::Elastic Task Model for Adaptive Rate Control.
conf/rtss/WashabaughK90:::Douglas Washabaugh::Dennis G. Kafura:::Incremental Garbage Collection of Concurrent Objects for Real-Time Applications.
conf/rtss/AlurKV98:::Rajeev Alur::Robert P. Kurshan::M. Viswanathan:::Membership Questions for Timed and Hybrid Automata.
conf/rtss/DiazGKLBLMM02:::José Luis Díaz::Daniel F. García::Kanghee Kim::Chang-Gun Lee::Lucia Lo Bello::José María López::Sang Lyul Min::Orazio Mirabella:::Stochastic Analysis of Periodic Real-Time Systems.
conf/rtss/HongQPS98:::Inki Hong::Gang Qu::Miodrag Potkonjak::Mani B. Srivastava:::Synthesis Techniques for Low-Power Hard Real-Time Systems on Variable Voltage Processors.
conf/rtss/BelzileCMM86:::Chantal Belzile::Michael F. Coulas::Glenn H. MacEwen::Genevieve Marquis:::RNet: A Hard Real-Time Distributed Programming System.
conf/rtss/El-khouryT01:::Jad El-khoury::Martin Törngren:::Towards a Toolset for Architectural Design of Distributed Real-Time Control Systems.
conf/rtss/PalmerS82:::D. F. Palmer::R. L. Stone:::Real-Time System Design, Sizing, and Simulation Using DSIGNR.
conf/rtss/Jeffay92:::Kevin Jeffay:::Scheduling Sporadic Tasks with Shared Resources in Hard-Real-Time Systems.
conf/rtss/SongNT99:::Shibin Song::Joseph Kee-Yin Ng::Bihai Tang:::Efficient Delay Computation Methods for an ATM Network with Real-Time Video Traffic.
conf/rtss/Ramos-ThuelS91:::S. Ramos-Thuel::Jay K. Strosnider:::The Transient Server Approach to Scheduling Time-Critical Recovery Operations.
conf/rtss/Graham93:::Marc H. Graham:::How to Get Serializability for Real-Time Transactions Without Having to Pay for It.
conf/rtss/DavisW95:::Robert Davis::Andy J. Wellings:::Dual Priority Scheduling.
conf/rtss/TyanHWH96:::Hung-Ying Tyan::Chao-Ju Hou::Bin Wang::Ching-Chih Han:::On supporting time-constrained communications in WDMA-based star-coupled optical networks.
conf/rtss/WellingsBP98:::Andy J. Wellings::Ljerka Beus-Dukic::David Powell:::Real-Time Scheduling in a Generic Fault-Tolerant Architecture.
conf/rtss/AndersonBJ99:::James H. Anderson::Sanjoy K. Baruah::Kevin Jeffay:::Parallel Switching in Connection-Oriented Networks.
conf/rtss/KangSS02:::Kyoung-Don Kang::Sang Hyuk Son::John A. Stankovic:::STAR: Secure Real-Time Transaction Processing with Timeliness Guarantees.
conf/rtss/TokudaWW87:::Hideyuki Tokuda::James W. Wendorf::Huay-Yong Wang:::Implementation of a Time-Driven Scheduler for ReaI-Time Operating Systems.
conf/rtss/HabanS89:::Dieter Haban::Kang G. Shin:::Application of Real-Time Monitoring to Scheduling Tasks with Random Execution Times.
conf/rtss/Herrtwich90:::Ralf Guido Herrtwich:::Time Capsules: An Abstraction for Access of Continuous-Media Data.
conf/tacs/Wagner94:::Kim Ritter Wagner:::Abstract Pre-Orders.
conf/tacs/Tsuiki94:::Hideki Tsuiki:::A Normalizing Calculus with Overloading and Subtyping.
conf/tacs/HoweS94:::Douglas J. Howe::Scott D. Stoller:::An Operational Approach to Combining Classical Set Theory and Functional Programming Languages.
conf/tacs/Walker91:::David Walker:::Pi-Calculus Semantics of Object-Oriented Programming Languages.
conf/tacs/Fokkink94:::Wan Fokkink:::The Tyft/Tyxt Format Reduces to Tree Rules.
conf/tacs/Phoa91:::Wesley Phoa:::From Term Models to Domains.
conf/tacs/BonsangueK94:::Marcello M. Bonsangue::Joost N. Kok:::Relating Multifunctions and Predicate Transformers through Closure Operators.
conf/tacs/Sangiorgi94:::Davide Sangiorgi:::Locality and True-concurrency in Calculi for Mobile Processes.
conf/tacs/RabinovichT91:::Alexander Moshe Rabinovich::Boris A. Trakhtenbrot:::On Nets, Algebras and Modularity.
conf/tacs/CartwrightF94:::Robert Cartwright::Matthias Felleisen:::Extensible Denotational Language Specifications.
conf/tacs/Leivant01:::Daniel Leivant:::Termination Proofs and Complexity Certification.
conf/tacs/PeronM94:::Adriano Peron::Andrea Maggiolo-Schettini:::Transitions as Interrupts: A New Semantics for Timed Statecharts.
conf/tacs/AikenWP97:::Alexander Aiken::Edward L. Wimmers::Jens Palsberg:::Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract).
conf/tacs/FisherM94:::Kathleen Fisher::John C. Mitchell:::Notes on Typed Object-Oriented Programming.