RTSS 2004 WIP Session Advance Program
WIP Session 1: Monday 6:00 PM -- 7:30 PM
Session chair: Giuseppe Lipari
-
ACETT, A LINEARLY-COMPOSITIONAL PROGRAMMING LANGUAGE FOR
(SEMI-)AUTOMATED AVERAGE-CASE ANALYSIS
M. Schellekens, D. Hickey, G. Bollella
-
AN APPLICATION ADAPTIVE GENERIC MODULE-BASED REFLECTIVE FRAMEWORK FOR
REAL-TIME OPERATING SYSTEMS
Ameet Patil and Neil Audsley
-
AN INTEGRATED SYSTEMC FRAMEWORK FOR REAL-TIME SCHEDULING ASSESSMENTS IN
SYSTEM LEVEL
Prih Hastono, Stephan Klaus and Sorin A. Huss
-
AN OPEN FRAMEWORK FOR WCET ANALYSIS
Hugues Cassé, Christine Rochange, Pascal Sainrat
-
DYNAMIC SCHEDULING OF SOFT APERIODIC TASKS AND PERIODIC TASKS WITH
SKIPS
Audrey Marchand and Maryline Silly-Chetto
-
EFFICIENT SOFT REAL-TIME PROCESSING IN AN INTEGRATED SYSTEM
Caixue Lin and Scott A. Brandt
-
FAST SYNCHRONIZATION PRIMITIVES FOR HYBRID CPU/FPGA MULTITHREADING
R. Jidin, D.L. Andrews, D. Niehaus, Wesley Peck
-
FINE-GRAINED TIMING CONSTRAINTS FOR REACTIVE SYSTEMS IN ANSI C
Gero Dittmann and Andreas Herkersdorf
-
FORMAL VALIDATION OF RT-LOTOS SPECIFICATIONS: NEW DIRECTIONS AND
PRELIMINARY RESULTS
Tarek Sadani, Pierre de Saqui-Sannes and Jean-Pierre-Courtiat
-
AUTOMATIC GENERATION OF EXECUTABLE MODELS FROM STRUCTURED APPROACH
REAL-TIME SPECIFICATIONS
Prih Hastono and Sorin A. Huss
-
FPGAS AS VERSATILE CONFIGURABLE I/O DEVICES IN HARDWARE-IN-THE-LOOP
SIMULATION
Peter M. Visser, Marcel A. Groothuis and Jan F. Broenink
-
HARDWARE/SOFTWARE CO-DESIGN OF OPERATING SYSTEM SERVICES FOR THREAD
MANAGEMENT AND SCHEDULING
Wesley Peck, David Andrews, Ed Komp, Jason Agron, Mike Finley
-
HEURISTICS FOR RESTRICTING EDF MIGRATION UNIFORM MULTIPROCESSORS
Shelby Funk, Sanjoy Baruah, Joel Goossens
-
APPLYING RANDOM ARRIVAL MODELS TO FIXED PRIORITY ANALYSIS
I. Broster and A. Burns
-
TIMED AUTOMATA MODEL OF OSEK/VDX BASED MULTITASKING APPLICATIONS
Libor Waszniowski, Zdenek Hanzalek
-
A MPEG-4 SCHEDULER FOR THE 802.11E ENHANCED DISTRIBUTED CHANNEL ACCESS
Michael Ditze
-
A PLATOONING DEMONSTRATOR FOR ANALYZING EMBEDDED REAL-TIME ALGORITHMS
Wilfried Kubinger, Hannes Hemetsberger, Juergen Kogler, Josef Langer
WIP Session 2: Tuesday 11:00 AM -- Noon
Session chair: Daniel Mossé
-
A POLYNOMIAL TIME APPROXIMATION SCHEME FOR FEASIBILITY ANALYSIS IN
STATIC PRIORITY SYSTEMS
Nathan Fisher and Sanjoy Baruah
-
A TOOL FOR DERIVATION OF IMPLEMENTATION CONSTRAINTS --- EVALUATION
USING IMPLEMENTATION SIMULATION
Mattias Wecksten Magnus Jonsson Jonas Vasell
-
IMPROVING THE EFFICIENCY OF REMOTE RESOURCE USAGE IN DISTRIBUTED
REAL-TIME SYSTEMS
Paul S. Usher and Neil C. Audsley
-
MINIMUM EDF-FEASIBLE DEADLINE CALCULATION WITH LOW-TIME COMPLEXITY
Hoai Hoang, Stefan Karlson, Magnus Jonsson
-
ON SCHEDULABILITY BOUNDS OF STATIC PRIORITY SCHEDULERS
Jianjia Wu, Jyh-Charn Liu, Wei Zhao
-
POWER-AWARE RESOURCE ALLOCATION WITH GUARANTEEING FAIR QOS
Fumiko Harada, Toshimitsu Ushio, and Yukikazu Nakamoto
-
SPECIFYING AND PROVING TIMING PROPERTIES WITH TIOA TOOLS
Dilsun Kaynar, Nancy Lynch, Sayan Mitra
-
TOWARD REAL-TIME COMPONENT-BASED SYSTEMS
Shengquan Wang, Sangig Rho, Riccardo Bettati, and Wei Zhao
-
DESYNCHRONIZED PFAIR SCHEDULING ON MULTIPROCESSORS
UmaMaheswari C. Devi
-
DISTRIBUTING THE WCET COMPUTATION FOR EMBEDDED OPERATING SYSTEMS
Nadia Bel Hadj Aissa, Christophe Rippert
-
DYNAMIC ARCHITECTURE ADAPTATION TO IMPROVE SCALABILITY OF SENSOR
NETWORKS: A CASE STUDY FOR A SMART SENSOR FOR FACE RECOGNITION
Yulei Weng, Sankalp Kallakuri, Xiayao Liang, Alex Doboli, Sangjin Hong,
Tom Robertazzi, Simona Doboli
-
FPGA IMPLEMENTATION OF A PRIORITY SCHEDULER MODULE
Jason Agron, David Andrews, Wesley Peck, Mike Finley, Ed Komp
Back to: WIP Home Page