The Community for Technology Leaders
RSS Icon
Subscribe
2013 IEEE 34th Real-Time Systems Symposium (1996)
Washington D.C.
Dec. 4, 1996 to Dec. 6, 1996
ISBN: 0-8186-7689-2
TABLE OF CONTENTS
Foreword (PDF)
pp. viii
Committees (PDF)
pp. ix
Reviewers (PDF)
pp. x
Session 1: Scheduling I
J. Sun , Geoworks Inc., Berkeley, CA, USA
J.W.S. Liu , Geoworks Inc., Berkeley, CA, USA
pp. 2
D. Seto , Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
J.P. Lehoczky , Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
L. Sha , Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
K.G. Shin , Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 13
A.K. Mok , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
D. Chen , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 22
Session 2: Experimental Systems and Applications
N. Audsley , Dept. of Comput. Sci., York Univ., UK
A. Wellings , Dept. of Comput. Sci., York Univ., UK
pp. 39
S. Sommer , Dept. of Comput., Macquarie Univ., North Ryde, NSW, Australia
J. Potter , Dept. of Comput., Macquarie Univ., North Ryde, NSW, Australia
pp. 45
Session 3: Formal Methods
F. Balarin , Cadence Berkeley Lab., CA, USA
pp. 52
H.B. Weinberg , Lab. for Comput. Sci., MIT, Cambridge, MA, USA
N. Lynch , Lab. for Comput. Sci., MIT, Cambridge, MA, USA
pp. 62
C. Daws , VERIMAG, Montbonnot St. Martin, Franc
S. Yovine , VERIMAG, Montbonnot St. Martin, Franc
pp. 73
V. Natarajan , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA
R. Cleaveland , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA
pp. 82
Session 4: Synchronization
J.H. Anderson , Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA
S. Ramamurthy , Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA
pp. 94
I. Rhee , Dept. of Math. & Comput. Sci., Emory Univ., Atlanta, GA, USA
pp. 106
Session 6: Model and Tools
A.K. Mok , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
Duu-Chung Tsou , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
R.C.M. de Rooij , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 118
T. Vardanega , Div. of Spacecraft Control & Data Syst., Eur. Space Res. & Technol. Centre, Noordwijk, Netherlands
pp. 129
R. Rajkumar , Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
M. Gagliardi , Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 136
Session 7: Communications
Ashish Mehra , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
A. Indiresan , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
K.G. Shin , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
pp. 144
D. Saha , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
S. Mukherjee , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
S.K. Tripathi , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 155
Ching-Chih Han , Dept. of Electr. Eng., Ohio State Univ., Columbus, OH, USA
K.G. Shin , Dept. of Electr. Eng., Ohio State Univ., Columbus, OH, USA
pp. 165
Hung-Ying Tyan , Dept. of Electr. Eng., Ohio State Univ., Columbus, OH, USA
Chao-Ju Hou , Dept. of Electr. Eng., Ohio State Univ., Columbus, OH, USA
Bin Wang , Dept. of Electr. Eng., Ohio State Univ., Columbus, OH, USA
Ching-Chih Han , Dept. of Electr. Eng., Ohio State Univ., Columbus, OH, USA
pp. 175
Session 8: Scheduling II
Chih-Wen Hsueh , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
Kwei-Jay Lin , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
pp. 196
H. Kaneko , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
J.A. Stankovic , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
S. Sen , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
K. Ramamritham , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
pp. 206
Session 9: Databases
R. Gupta , Supercomput. Educ. & Res. Centre, Indian Inst. of Sci., Bangalore, India
J. Haritsa , Supercomput. Educ. & Res. Centre, Indian Inst. of Sci., Bangalore, India
K. Ramamritham , Supercomput. Educ. & Res. Centre, Indian Inst. of Sci., Bangalore, India
S. Seshadri , Supercomput. Educ. & Res. Centre, Indian Inst. of Sci., Bangalore, India
pp. 220
A. Bestavros , Dept. of Comput. Sci., Boston Univ., MA, US
S. Nagy , Dept. of Comput. Sci., Boston Univ., MA, US
pp. 230
Ming Xiong , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
R. Sivasankaran , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
J.A. Stankovic , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
K. Ramamritham , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
D. Towsley , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
pp. 240
Session 10: Timing Analysis
Y.-T. S. Li , Dept. of Electr. Eng., Princeton Univ., NJ, USA
S. Malik , Dept. of Electr. Eng., Princeton Univ., NJ, USA
A. Wolfe , Dept. of Electr. Eng., Princeton Univ., NJ, USA
pp. 254
Chang-Gun Lee , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
J. Hahn , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Sang Lyul Min , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
R. Ha , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Seongsoo Hong , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Chang Yun Park , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Minsuk Lee , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Chong Sang Kim , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
pp. 264
Session 11: Resource Allocation and System Implementation
I. Stoica , Dept. of Comput. Sci., Wisconsin Univ., Madison, WI, USA
H. Abdel-Wahab , Dept. of Comput. Sci., Wisconsin Univ., Madison, WI, USA
K. Jeffay , Dept. of Comput. Sci., Wisconsin Univ., Madison, WI, USA
S.K. Baruah , Dept. of Comput. Sci., Wisconsin Univ., Madison, WI, USA
J.E. Gehrke , Dept. of Comput. Sci., Wisconsin Univ., Madison, WI, USA
C.G. Plaxton , Dept. of Comput. Sci., Wisconsin Univ., Madison, WI, USA
pp. 288
Namyun Kim , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Minsoo Ryu , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Seongsoo Hong , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
M. Saksena , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Chong-Ho Choi , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Heonshik Shin , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
pp. 300
Author Index (PDF)
pp. 321
26 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool