PA 8001 Ed 2015 - Paper Presentation Groups Paper
| Date and Time | Group | Paper |
|---|---|---|
|
Oct. 15, 08:15-08:30 |
Wolfgang Hotze,
Robert Ernst, Sebastian Schöndorfer and Thomas Rosenstatter |
C. Liu and J. Layland. Scheduling algorithms for multiprogramming in a hard real-time environment", Journal of the ACM 20 (1): 46–61, 1973. |
|
Oct. 15, 08:35-08:50 |
Alexander Eliasson
Camilla Lenfors Mattias Sjögren |
D. Janzen and H. Saiedian. Test-Driven Development: Concepts, Taxonomy, and Future Direction. IEEE Computer 38(9):43--50, 2005. |
|
Oct. 15, 09:15-09:30 |
Balaji Kamalakkannan Akhil Augustine Anjo Steephan |
L. Sha, R. Rajkumar, and J.P. Lehoczky. Priority inheritance protocols: an approach to real-time synchronization, IEEE Transactions on Computers 39 (9): 1175–1185, 1990.
|
|
Oct. 15, 09:35-09:50 |
Hu Hao Hou Yuzhou Chandrashenkhar Nasurade Kan Chen Iyanu Akanbi |
W. Taha, V. Gaspes, and R. Page. Accurate Programming: Thinking about programs in terms of properties, Proc. of DSL'11, vol. 66 of EPTCS, pp. 236-260, 2011
|
|
Oct. 15, 09:55-10:10 |
Sowmya Narasimman Sowmya Tamidala Hina Mehboob |
L. Lamport. Specifying Concurrent Program Modules, ACM Tran. Prog. Lang. 5(2):190--222, 1983. (Only up to and including section 3.5)
|
|
Oct. 19, 08:15-08:30 |
Daniel Wikestad Amadeus Pawlik Henry Andersson Anders Nylander |
E.W. Dijkstra, The structure of THE multiprogramming system. Comm. ACM 11(5): 1--346, 1968. E.W. Dijkstra, Solution of a problem in concurrent programming control. Comm. ACM 8(9): 569, 1965. L. Lamport. A New Solution of Dijkstra's Concurrent Programming Problem. Comm. ACM 17(8):453--455, 1974.
|
|
|
Durga Bhavani Vangara Jayeshkumar k. Patel Zarafat Hussain |
Concepts and Notations for Concurrent Programming, ACM Computing Surveys, 15(1):4--43, 1983 (sections 4--6) |
|
Oct. 19, 08:55-09:10 |
Luay Alsahli Maher Mawed |
Robert I. Davis, Alan Burns, Reinder J. Bril, Johan J. Lukkien Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised.
|
|
Oct. 19, 09:15-09:30 |
Pruthvi Shantharaju Karthik BG Vamsi Krishna Nathani |
G.C. Buttazzo. Optimal Deadline Assignment for Scheduling Soft Aperiodic Tasks In Hard Real-Time Environments
|
|
Oct. 19, 09:35-09:50 |
Shreeelekha Sivakumar Lohit pashupathi Sai Krishna |
Performance-Effective and Low-Complexity Task Scheduling for Homogenous Computing
|
|
Oct. 19, 09:55-10:10 |
Muhammad Umar Akhil Kumar Kunche Sergey Luchinkin |
Robert France and Bernhard Rumpe. Model-driven Development of Complex Software: A Research Roadmap
|
|
Oct. 19, 10:15-10:30 |
Varun Vaidya Kushal Bheemesh Ramu G |
Probabilistic Worst-Case Response-Time Analysis for the Controller Area Network. |
|
Oct. 20, 10:35-10:50 |
Jimmie Aleksic Alexander Hellring Niklas Schedin Johan Svensson
|
John Hughes. Software Testing with QuickCheck. In Poc. of CEFP 2009, vol. 6299 of LNCS, pp. 183-223, 2009.
|
|
Oct. 20, 09:55-10:10 |
Sowmya Narasimman Sowmya Tamidala Hina Mehboob |
L. Lamport. Specifying Concurrent Program Modules, ACM Tran. Prog. Lang. 5(2):190--222, 1983. (Only up to and including section 3.5)
|
|
Oct. 20, 10:15-10:30 |
Johannes van Esch Robin Ng |
Baker, An Analysis of an EDF Scheduling Algorithm on Multiprocessors |
