home *** CD-ROM | disk | FTP | other *** search
/ CICA 1992 November / CICA_MS_Windows_CD-ROM_Walnut_Creek_November_1992.iso / win3 / util / winrefer / refs.ref < prev    next >
Text File  |  1992-09-17  |  18KB  |  642 lines
  1. %T Applying New Scheduling Theory to Static Priority Pre-emptive Scheduling
  2. %A N. Audsley
  3. %A A. Burns
  4. %A M. Richardson
  5. %A K. Tindell
  6. %A A. Wellings
  7. %R RTRG/92/120
  8. %J Report RTRG/92/120 Department of Computer Science, University of York
  9. %D February 1992
  10.  
  11. %T Mode Changes in Priority Pre-emptively Scheduled Systems
  12. %A K. W. Tindell
  13. %A A. Burns
  14. %A A. J. Wellings
  15. %J Proceedings 13th IEEE Real-Time Systems Symposium
  16. %C Phoenix, Arizona, USA
  17. %D 2-4 December 1992
  18.  
  19. %T Using Offset Information to Analyse Static Priority Pre-Emptively Scheduled Task Sets
  20. %A K. Tindell
  21. %I Dept of Computer Science, University of York
  22. %R YCS 182
  23. %D August 1992
  24.  
  25. %T Allocating Real-Time Tasks (An NP-Hard Problem made Easy)
  26. %A K. Tindell
  27. %A A. Burns
  28. %A A.J. Wellings
  29. %J Real-Time Systems
  30. %V 4
  31. %N 2
  32. %D June 1992
  33. %P 145-165
  34.  
  35. %T Optimal Priority Assignment and Feasibility of Static Priority Tasks With Arbitrary Start Times
  36. %A N. C. Audsley
  37. %I Dept. Computer Science, University of York
  38. %R YCS 164
  39. %D December 1991
  40.  
  41. %T Fixed Priority Scheduling of Periodic Task Sets With Arbitrary Deadlines
  42. %A J. P. Lehoczky
  43. %J Proceedings 11th IEEE Real-Time Systems Symposium
  44. %C Lake Buena Vista, FL, USA
  45. %D 5-7 Decmeber 1990
  46. %P 201-209
  47. %K RTSS rate-monotonic periodic scheduling uniprocessor
  48.  
  49. %T STRESS: A Simulator For Hard Real-Time System
  50. %A N. C. Audsley
  51. %A A. Burns
  52. %A M. F. Richardson
  53. %A A. J. Wellings
  54. %R RTRG/91/106
  55. %I Real-Time Research Group, Department of Computer Science, University of
  56. York
  57. %D October 1991
  58. %K stress manual standard
  59.  
  60. %T Experiments with a program timing tool based on source-level timing schema
  61. %X Analytic methods are employed at the source-language level, using formal
  62. timing schema that include control costs, handle interferences such as
  63. interrupts, and produce guaranteed best- and worst-case bounds. The timing tool
  64. computes the deterministic execution times for programs that are written in a
  65. subset of C and run on a bare machine. Two versions of the tool were written,
  66. using two granularity extremes for the atomic elements of the timing schema.
  67. All overview of the tool is given, timing schema and code prediction are
  68. discussed, and machine analysis and timing tool design are examined.
  69. Experimental and validation results are reported. It was found that all the
  70. predicted times are consistent, and most are safe. Some predictions are fairly
  71. tight, while others are a little loose. There are clear technical reasons that
  72. explain the differences between measured and predicted times, and technical
  73. solutions that should minimize these differences within the timing schema
  74. framework are seen
  75. %K program timing tool, source-level timing schema, formal timing schema, Sep91 execution times
  76. %O Computer (USA)
  77. %J Computer
  78. %A C.Y. Park
  79. %A A.C. Shaw
  80. %V 24
  81. %N 5
  82. %P 48-57
  83. %D May 1991
  84.  
  85. %T Building a Predictable Avionics Platform in Ada: A Case Study
  86. %A C. D. Locke
  87. %A D. R. Vogel
  88. %A T. J. Mesler
  89. %P 181-
  90. %D December 1991
  91. %I Proceedings of the 12th Real Time Systems Symposium
  92.  
  93. %T Finding Response Times in a Real-Time System
  94. %A M. Joseph
  95. %A P. Pandya
  96. %J BCS Computer Journal
  97. %D Vol. 29, No. 5, Oct 86
  98. %P 390-395
  99. %X Some alternative analysis of static priority scheduling, though it does
  100. not explicitly mention the rate monotonic algorithm. Extends it to
  101. allow for buffered inputs.
  102.  
  103. %T Parallel Simulated Annealing using Speculative Computation
  104. %A E. E. Witte
  105. %A R. D. Chamberlain
  106. %A M. A. Franlin
  107. %J IEEE Transactions on Parallel and Distributed Systems
  108. %V 2
  109. %N 4
  110. %D October 1991
  111. %P 483-494
  112.  
  113. %T Grundlagen der Strassenverkehrsplanung in Stadt und Land
  114. %A J. W. Korte
  115. %D 1960
  116. %I Wiesbaden Bauverlag GmbH
  117.  
  118. %T Resource Control For Hard Real-Time Systems: A Review
  119. %A N. C. Audsley
  120. %R YCS 159
  121. %I Department of Coputer Science, University of York
  122. %D August 1991
  123.  
  124. %T Programming highly parallel general-purpose applications
  125. %A S.A. Dobson
  126. %A A.J. Wellings
  127. %B Proceedings of the BCS workshop on abstract machine models for highly parallel computers
  128. %I University of Leeds
  129. %P 40-52
  130. %V 2
  131. %D 24-26th March 1991
  132.  
  133. %T On The Feasibility of Response Time Predictions - An Experimental Evaluation
  134. %A A. Vrchoticky
  135. %A P. Puschner
  136. %I PDCS Project (Esprit BRA Project 3092), Second Year Report
  137. %V 2
  138. %D May 1991
  139. %K mars dma problem
  140.  
  141. %T Real-time System Design
  142. %A S. Levi
  143. %A A. Agrawala
  144. %B McGraw Hill
  145. %D 1990
  146. %K formal book
  147.  
  148. %T Four-Slot Fully Asynchronous Communication Mechanism
  149. %A H. Simpson
  150. %J IEE Proceedings
  151. %D Vol. 137, Pt. E., No. 1, Jan 1990
  152. %P 17-30
  153. %R Vol 3/Communication
  154.  
  155. %T Dynamic code replacement and Ada
  156. %X There is a problem in trying to maintain highly reliable software which must
  157. continue executing over a long period of time. This problem is characterized by
  158. the international space station Freedom. The space station has a long planned
  159. lifetime and requires that the computer system remain running for this period.
  160. Updates to software normally require reloading. This paper reports on a study
  161. into eliminating the need for reloading by providing mechanisms whereby Ada
  162. programs can be changed in a consistent manner, permitting the execution of
  163. the system to continue
  164. %K highly reliable software, space station Freedom, Ada programs Jan91
  165. %O Ada Lett. (USA)
  166. %J Ada Letters
  167. %A K. Tindell
  168. %V 10
  169. %N 7
  170. %P 47-54
  171. %D Sept.-Oct. 1990
  172.  
  173. %T Reconfigurable Flight Control Via Multiple Model Adaptive Control Methods
  174. %A P. S. Maybeck
  175. %A R. D. Stevens
  176. %J IEEE Transactions on Aerospace and Electronic Systems
  177. %D May 1991
  178. %V 27
  179. %N 3
  180. %P 470-480
  181.  
  182. %T Effect of Errors on a Contention-Based TDMA Protocol
  183. %A L-S. Liang
  184. %A J-F. Chang
  185. %J IEEE Transactions on Aerospace and Electronic Systems
  186. %D May 1991
  187. %V 27
  188. %N 3
  189. %P 492-506
  190.  
  191. %T Channel Characteristics in Local-Area Hard Real-Time Systems
  192. %A K. Ramamritham
  193. %J Computer Networks and ISDN Systems
  194. %V 13
  195. %N 1
  196. %D 1987
  197.  
  198. %T Mode Change Protocols for Priority-Driven Premptive Scheduling
  199. %A L. Sha
  200. %A R. Rajkumar
  201. %A J. Lehoczky
  202. %A K. Ramamritham
  203. %J Real-Time Systems 
  204. %V 1
  205. %N 3
  206. %D 1989
  207. %P 244-264
  208. %K RTS
  209.  
  210. %T A Possible Architecture of a Distributed Hard Real-Time Executive for Space Applications
  211. %A S. Sabina
  212. %A F. Fedi
  213. %J First International Symposium on Ground Data Systems for Spacecraft Control, ESOC, Darmstadt, Germany
  214. %D 26-29 June 1990
  215.  
  216. %T On a Real-Time Scheduling Problem
  217. %A S. K. Dhall
  218. %A C. L. Liu
  219. %J Operations Research
  220. %V 26
  221. %N 1
  222. %P 127-140
  223. %D February 1978
  224.  
  225. %T Optimization by Simulated Annealing: An experimental Evaluation; Part I, Graph Partitioning
  226. %A David S. Johnson
  227. %A Cecilia R. Aragon
  228. %A Lyle A. McGeoch
  229. %A Catherine Schevon
  230. %J Operations Research
  231. %V 37
  232. %N 6
  233. %P 865-892
  234. %D November-December 1989
  235.  
  236. %T Digital Control Using Microprocessors
  237. %A Paul Katz
  238. %I Prentice Hall International
  239. %D 1981
  240.  
  241. %T Heuristic Technique for Processor and Link Assignment in Multicomputers
  242. %A S. Wayne Bollinger
  243. %A Scott F. Midkiff
  244. %J IEEE Transactions on Computers
  245. %V 40
  246. %N 
  247. %D March 1991
  248. %P 325-333
  249.  
  250. %T Scheduling Hard Real-Time Systems: A Review
  251. %A A. Burns
  252. %J Software Engineering Journal
  253. %V 6
  254. %N 3
  255. %P 116-128
  256. %D 1991
  257.  
  258. %T A system for building scalable parallel applications
  259. %A S.A. Dobson
  260. %A A.J. Wellings
  261. %B Proceedings of the IFIP working conference on programming environments for parallel computing
  262. %I University of Edinburgh
  263. %D 6-8th April 1992
  264. %O To be published by Elsevier
  265.  
  266. %T A Shortest Tree Algorithm for Optimal Assignments Across Space and Time in a Distributed Processor System
  267. %A S. H. Bokhari
  268. %J IEEE Transactions on Software Engineering 
  269. %V SE-7
  270. %N 6
  271. %P 583-589
  272. %D November 1981
  273. %K  TSE 
  274.    IEEEtse
  275.  
  276. %T Heuristic Models of Task Assignment Scheduling in Distributed Systems
  277. %A Kemal Efe
  278. %J IEEE Computer
  279. %V 15
  280. %N 6
  281. %D June 1982
  282. %P 50-??
  283. %K IEEEComp
  284.  
  285. %T A Heuristic Model for Task Allocation in Distributed Computer Systems
  286. %A Anil K. Sarje
  287. %A G. Sagar
  288. %J IEEE Proceedings E - Computers and Digital Techniques
  289. %D To Appear
  290.  
  291. %T A Problem Independent Parallel Implementation of Simulated Annealing: Models and Experiments
  292. %A Pierre Roussel-Ragot
  293. %A Gerard Dreyfus
  294. %D August 1990
  295. %V 9
  296. %N 8
  297. %J IEEE Transactions on Computer-Aided Design
  298.  
  299. %T Maintaining Global Time in Futurebus+
  300. %A Richard A. Volz
  301. %A Lui Sha
  302. %A Dwight Wilcox
  303. %J Real Time Systems
  304. %D March 1991
  305. %V 3
  306. %N 1
  307.  
  308. %T Priority Inheritance and Message Passing Communication: A Formal Treatment
  309. %A A. Burns
  310. %A A. J. Wellings
  311. %J Real Time Systems
  312. %D March 1991
  313. %V 3
  314. %N 1
  315.  
  316. %T Global Cyclic Scheduling: A Method to Guarantee the Timing Behaviour of Distributed Real-Time Systems
  317. %A Ralf Agne
  318. %J Real Time Systems
  319. %D March 1991
  320. %V 3
  321. %N 1
  322.  
  323. %T Stack-Based Scheduling of Realtime Processes
  324. %A T. P. Baker
  325. %J Real Time Systems
  326. %D March 1991
  327. %V 3
  328. %N 1
  329.  
  330. %T Natural Solutions Give Their Best
  331. %J New Scientist
  332. %A N. Radcliffe
  333. %A G. Wilson
  334. %P 47-50
  335. %D 14th April 1990
  336.  
  337. %T The challenge of building process-control software
  338. %X Process control is explained, and it is shown why trying to build
  339. process-control software using the same approaches developed and used for
  340. data-processing and information-system software will lead to failure. Rather
  341. than offering solutions to the problems inherent in developing process-control
  342. software, the author identifies the aspects of the problem on which to focus
  343. attention and the tasks that are ripe for solution. In particular, modeling and
  344. analysis, human-computer interaction, and risk evaluation are discussed
  345. %K real-time software, process-control software, modeling, analysis,
  346.    Mar91
  347. human-computer interaction, risk evaluation
  348. %O IEEE Softw. (USA)
  349. %J IEEE Software
  350. %A N.G. Leveson
  351. %V 7
  352. %N 6
  353. %P 55-62
  354. %D Nov. 1990
  355.  
  356. %T An algorithm for generalized point location and its applications
  357. %X Shows that the Collins classical quantifier elimination procedure contains
  358. most of the ingredients for an efficient point location algorithm in
  359. higher-dimensional space. This leads to a polynomial-size data structure that
  360. allows one to locate, in logarithmic time, a point among a collection of real
  361. algebraic varieties of constant maximum degree, assuming that the dimension of
  362. the ambient space is fixed. This result has theoretical bearings on a number of
  363. optimization problems posed in the literature. It also gives a method for
  364. solving multidimensional searching problems in polynomial space and logarithmic
  365. query time
  366. %K algorithm, Collins classical quantifier elimination procedure, point
  367.    Apr91
  368. location algorithm, polynomial-size data structure, real algebraic varieties,
  369. optimization problems, multidimensional searching problems, polynomial space,
  370. logarithmic query time
  371. %O J. Symb. Comput. (UK)
  372. %J Journal of Symbolic Computation
  373. %A Chazelle, B.
  374. %A Sharir, M.
  375. %V 10
  376. %N 3-4
  377. %P 281-309
  378. %D Sept.-Oct. 1990
  379.  
  380. %T Real-time data acquisition at mission control
  381. %X Perhaps one of the most powerful symbols of the United States' technological
  382. prowess is the Mission Control Center (MCC) at the Lyndon B. Johnson Space
  383. Center in Houston. The rooms at Mission Control have been witness to major
  384. milestones in the history of American technology such as the first lunar
  385. landing. This facility, however, has received only modest upgrades since the
  386. Apollo program. Until recently it maintained a mainframe-based architecture
  387. that displayed data and left the job of data analysis to flight controllers.
  388. The application of the techniques shown has resulted in a new look and feel to
  389. Mission Control evidenced by a new communication and tracking system display.
  390. The authors look at some applications examples, hard and soft real-time
  391. constraint, Unix data acquisition, data display and expert systems, support
  392. techniques for real-time expert systems, major frame buffers for logging and
  393. distribution, data quality of frames and individual parameters, calibration and
  394. conversion and noise filtering
  395. %K NASA, data acquisition, Mission Control Center, Space Center, data analysis,
  396.    Apr91
  397. communication, real-time constraint, Unix, data display, expert systems, frame
  398. buffers, calibration, noise filtering
  399. %O Commun. ACM (USA)
  400. %J Communications of the ACM
  401. %A Muratore, J.F.
  402. %A Heindel, T.A.
  403. %A Murphy, T.B.
  404. %A Rasmussen, A.N.
  405. %A McFarland, R.Z.
  406. %V 33
  407. %N 12
  408. %P 18-31
  409. %D Dec. 1990
  410.  
  411. %T An approach to scalable parallel programming
  412. %A Simon A. Dobson
  413. %I Department of computer science, University of York
  414. %O D.Phil. thesis (in preparation)
  415.  
  416. %T Editorial: What is Predictability for Real-Time Systems
  417. %A J.A. Stankovic
  418. %A K. Ramamritham
  419. %J Real-Time Systems 
  420. %V 2
  421. %N 4
  422. %D Nov 1990
  423. %P 247-254
  424. %K RTS
  425.  
  426. %T Programmable Real-Time Scheduler Using a Neurocomputer
  427. %A T. Ae
  428. %A R. Aibara
  429. %J Real-Time Systems 
  430. %V 1
  431. %N 4
  432. %D April 1990
  433. %P 351-364
  434. %K RTS
  435.  
  436. %T Algorithms and Complexity Concerning the Preemptive Scheduling of Periodic Real-Time Tasks on One Processor
  437. %A S. Baruah
  438. %A L. E. Rosier
  439. %A R. R. Howell
  440. %J Real-Time Systems 
  441. %V 2
  442. %N 4
  443. %D Nov 1990
  444. %P 301-324
  445. %K RTS
  446.  
  447. %T Dynamic Priority Ceilings: A Concurrency Control Protocol for Real-Time Systems
  448. %A M-I. Chen
  449. %A K-J. Lin
  450. %J Real-Time Systems 
  451. %V 2
  452. %N 4
  453. %D Nov 1990
  454. %P 325-346
  455. %K RTS
  456.  
  457. %T Comparative Evaluation of High-Level Real-time Programming Languages
  458. %A W. Halang
  459. %A A. Stoyenko
  460. %J Real-Time Systems 
  461. %V 2
  462. %N 4
  463. %D Nov 1990
  464. %P 365-382
  465. %K RTS
  466.  
  467. %T Architectural Foundations for Real-Time Performance in Intelligent Agents
  468. %A B. Hayes-Roth
  469. %J Real-Time Systems 
  470. %V 2
  471. %N 1/2
  472. %D May 1990
  473. %P 99-126
  474. %K RTS
  475.  
  476. %T Feasible Processor Allocation in a Hard-Real-Time Environment
  477. %A R. K. J. Henn
  478. %J Real-Time Systems
  479. %V 1
  480. %N 1
  481. %D June 1989
  482. %P 77-95
  483. %K RTS
  484.  
  485. %T An Application of Structural Modeling and Automated Reasoning to Real-Time Systems Design
  486. %A S. Honiden
  487. %A N. Uchihira
  488. %J Real-Time Systems 
  489. %V 1
  490. %N 4
  491. %D April 1990
  492. %P 313-332
  493. %K RTS
  494.  
  495. %T Addressing Real-Time Constraints in the Desing of Autonomous Agents
  496. %A A.E. Howe
  497. %A D.M. Hart
  498. %A P.R. Cohen
  499. %J Real-Time Systems 
  500. %V 2
  501. %N 1/2
  502. %D May 1990
  503. %P 81-97
  504. %K RTS
  505.  
  506. %T Specifying Real-Time Properties with Metric Temporal Logic
  507. %A R. Kaoymans
  508. %J Real-Time Systems 
  509. %V 2
  510. %N 4
  511. %D Nov 1990
  512. %P 255-300
  513. %K RTS
  514.  
  515. %T Depth-Limited Search for Real-Time Problem Solving
  516. %A R. E.  Korf
  517. %J Real-Time Systems 
  518. %V 2
  519. %N 1/2
  520. %D May 1990
  521. %P 7-24
  522. %K RTS
  523.  
  524. %T Forcasting Real-Time Behaviour During Software Design using a CASE
  525. Environment
  526. %A R.J. Lauber
  527. %J Real-Time Systems
  528. %V 1
  529. %N 1
  530. %D June1989
  531. %P 61-76
  532. %K RTS
  533.  
  534. %T Predictable Synchronization Mechanisms fore Multiprocessor Real-Time Systems
  535. %A L. D. Molessky
  536. %A C. Shen
  537. %A G. Zlokapa
  538. %J Real-Time Systems 
  539. %V 2
  540. %N 3
  541. %D Sept 1990
  542. %P 163-180
  543. %K RTS
  544.  
  545. %T Real-Time Control Software for Tranasaction Processing Based Colored Safe Petri Net Model
  546. %A T. Muarata
  547. %A N. Komoda
  548. %J Real-Time Systems 
  549. %V 1
  550. %N 4
  551. %D April 1990
  552. %P 299-312
  553. %K RTS
  554.  
  555. %A Analysis of Real-Time Properties and Rules for Setting Protocols  Parameters of MAP Networks
  556. %A H. Rzehak
  557. %A A. E. Elnakhal
  558. %A R. Jaeger
  559. %J Real-Time Systems 
  560. %V 1
  561. %N 3
  562. %D 1990
  563. %P 221-243
  564. %K RTS
  565.  
  566. %T RTMMS - An OSI-Based Real-Time Messaging System
  567. %A M. Rodd
  568. %A I. Izikowitz
  569. %A W. Zhao
  570. %J Real-Time Systems 
  571. %V 2
  572. %N 3
  573. %D Sept 1990
  574. %P 213-234
  575. %K RTS
  576.  
  577. %T Architecture optimization of aerospace computing systems
  578. %X One of the requirements of a fault-tolerant computer system for real-time
  579. aerospace applications is the characteristic of graceful degradation. A shared
  580. and replicated resources computing system represents such an architecture. A
  581. combinatorial model is used for the evaluation of the instruction execution
  582. rate of a degradable, replicated resources computing system such as a modular
  583. multiprocessor system. Next, a method is presented to evaluate the
  584. computational reliability of such a system utilizing a reliability graph model
  585. and the instruction execution rate. Finally, this computational reliability
  586. measure, which simultaneously describes both performance and reliability, is
  587. applied as a constraint in an architecture optimization model for such
  588. computing systems
  589. %K real time systems, shared resources, architectural optimisation, aerospace 1984
  590. computing systems, fault-tolerant computer, graceful degradation, replicated
  591. resources, combinatorial model, instruction execution rate, modular
  592. multiprocessor system, computational reliability, performance, architecture
  593. optimization
  594. %O IEEE Trans. Comput. (USA)
  595. %J IEEE Transactions on Computers
  596. %A Pedar, A.
  597. %A Sarma, V.V.S.
  598. %V vol.C-32, no.10
  599. %P 911-22
  600. %D Oct. 1983
  601.  
  602. %T Fundamental Design Problems of Distributed Systems for Hard Real Time Environments
  603. %A A.K. Mok
  604. %R PhD Thesis, Laboratory for Computer Science (MIT),  MIT/LCS/TR-297.
  605. %D 1983
  606.  
  607. %T Task Scheduling in Distributed Real-Time Systems
  608. %K IO Bus
  609. %A L. Sha
  610. %A J. P. Lehoczky
  611. %A R. Rajkumar
  612. %J Proceedings of IEEE Industrial Electronics Conference
  613. %D 1987
  614.  
  615. %T Error Recovery Techniques for Fault Tolerant Distributed Computer Systems
  616. %A J. A. McDermid
  617. %J Ph.D Thesis
  618. %D August 1981
  619. %I University of Birmingham 
  620. %K Theses
  621.  
  622. %T Mechanisms for Reliable Distributed Real-Time Operating Systems: The Alpha Kernel
  623. %A J.D. Northcutt
  624. %I Academic Press
  625. %D 1987
  626. %K book
  627.  
  628. %T Accident review: 1970
  629. %J Flight International
  630. %P 105-106
  631. %D January 21, 1971
  632. %O V2
  633. %K 1970 crash statistics accident record
  634.  
  635. %T Quantum Electrodynamical Spacial Translation in the Caring Society
  636. %A K. Tindell
  637. %D March 2057
  638. %J Proceedings of International Conference on Applied Thought Experiments
  639. %C Lunik Base, Mare Ibrium
  640.  
  641.  
  642.