חיפוש חיפוש תמונות מפות YouTube חדשות Gmail Drive יומן עוד »
כניסה
ספרים ספרים 1 - 4 מתוך 4 עבור Parallel program schemata" Journal of Computer and System Science, pp 147-195, Vol.3,....
" Parallel program schemata" Journal of Computer and System Science, pp 147-195, Vol.3, May 1969 [14] Slutz DR "Flowgraph schemata "
Self-Timed Control of Concurrent Processes: Models and Principles for ... - עמוד 376
נערך על ידי - 1990 - 408 דפים
תצוגה מקדימה מוגבלת - מידע על ספר זה

The Concurrency Control Problem for Database Systems

M. A. Casanova - 1981 - 175 דפים
...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),...
תצוגה מקדימה מוגבלת - מידע על ספר זה

Memory Systems and Pipelined Processors

Harvey G. Cragon - 1996 - 575 דפים
...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...
תצוגה מקדימה מוגבלת - מידע על ספר זה

Rough Set Methods and Applications: New Developments in Knowledge Discovery ...

Lech Polkowski, Shusaku Tsumoto, Tsau Y. Lin - 2000 - 683 דפים
...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...
תצוגה מקדימה מוגבלת - מידע על ספר זה

Hybrid Systems: Computation and Control: 11th International Workshop, HSCC ...

Magnus Egerstedt, Bud Mishra - 2008 - 680 דפים
...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...
תצוגה מקדימה מוגבלת - מידע על ספר זה




  1. הספרייה שלי
  2. עזרה
  3. חיפוש מתקדם של ספרים