| M. A. Casanova - 1981 - 188 דפים
...Database Logic." TR-737, Computer Science Center, Univ. of Maryland (Dec. 1978). [KA] Karp, RM and Miller, RE "Parallel Program Schemata." Journal of Computer and System Science 3 (1969) , 147-195. [KE] Keller, RM "Formal Verification of Parallel Programs." CACM 19, 7 (July 1976),... | |
| Harvey G. Cragon - 1996 - 604 דפים
...Winder, RO, "Cache-based Computer Systems," Computer, Vol. 6, No. 3, March 1973, pp. 30-36. [KARP69] Karp, RM, Miller, RE, "Parallel Program Schemata," Journal of Computer and System Sciences, Vol. 3, No. 2, May 1969, pp. 147195. [KATE84] Katevenis, MGH, Reduced Instruction Set Computer... | |
| Lech Polkowski, Shusaku Tsumoto, Tsau Y. Lin - 2000 - 704 דפים
...1991. 101. Johson, PM: Reengineering inspection. Communications of the ACM 41-2 (1998), 49-52. 102. Karp, RM, Miller, RE: Parallel program schemata. Journal of Computer and System Sciences 3-4 (1969), 147-195. 103. Keller, RM: Formal verification of parallel programs. Communications... | |
| Magnus Egerstedt - 2008 - 692 דפים
...hybrid automata? In: Proc. 27th Annual ACM Symp. on Theory of Computing (STOC), pp. 373-382 (1995) 7. Karp, RM, Miller, RE: Parallel program schemata. Journal of Computer and System Sciences 3(2), 147-195 (1969) 8. Lafferriere, G., Pappas, G., Sastry, S.: O-minimal hybrid systems... | |
| |