home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / parallel / 2016 < prev    next >
Encoding:
Text File  |  1992-08-31  |  21.4 KB  |  1,149 lines
  1. Newsgroups: comp.parallel
  2. Path: sparky!uunet!gatech!hubcap!fpst
  3. From: eugene@nas.nasa.gov (Eugene N. Miya)
  4. Subject: Bib added text---PARLE Proceedings
  5. Message-ID: <1992Aug31.180142.26852@hubcap.clemson.edu>
  6. Sender: fpst@hubcap.clemson.edu (Steve Stevenson)
  7. Organization: Clemson University
  8. Date: Mon, 31 Aug 92 09:16:50 -0700
  9. Approved: parallel@hubcap.clemson.edu
  10. Lines: 1137
  11.  
  12. Here are the PARLE proceedings.  (Post to check for:
  13.     1) Typos
  14.     2) Attendee/reader keywords, comments, annotations, etc.
  15. ).  This text should be considered draft.  Thanks to the people who
  16. held the conference for the contents.
  17.  
  18. I'm also picking away at ICPP proceedings in my spare time (Don't tell
  19. Darrell Long 8^).  They should be done in a couple more days for inspection.
  20.  
  21. This should be integrated into the biblio shortly (for cleaned text).
  22. Text in the usual place (remember: evenings PDT or weekends).
  23.  
  24. %A D. Etiemble
  25. %A J.-C. Syre, eds.
  26. %T PARLE '92, Parallel Architectures and Languages Europe
  27. %S Lecture Notes on Computer Science
  28. %V 605
  29. %I Springer-Verlag
  30. %C Berlin
  31. %D 1992
  32. %K book, text,
  33. %X Proceedings 4th PARLE, Paris, June 1992.
  34.  
  35. %A C. J. Skelton
  36. %A C. Hammer
  37. %A M. Lopez
  38. %A M. J. Reeve
  39. %A P. Townsend
  40. %A K. F. Wong
  41. %T EDS: A Parallel Computer System for Advanced Information Processing
  42. %E D. Etiemble
  43. %E J.-C. Syre
  44. %B PARLE '92, Parallel Architectures and Languages Europe
  45. %S LNCS
  46. %V 605
  47. %I Springer-Verlag
  48. %C Berlin
  49. %D 1992
  50. %K invited lecture,
  51. %P 3-20?
  52.  
  53. %A Y. Liu
  54. %A A. K. Singh
  55. %A R. L. Bagrodia
  56. %T A Decompositional Approach to the Design of Efficient Parallel Programs
  57. %E D. Etiemble
  58. %E J.-C. Syre
  59. %B PARLE '92, Parallel Architectures and Languages Europe
  60. %S LNCS
  61. %V 605
  62. %I Springer-Verlag
  63. %C Berlin
  64. %D 1992
  65. %P 21-36?
  66. %K implementation of parallel programs,
  67.  
  68. %A J. Katajainen
  69. %A C. Levcopoulous
  70. %A O. Petersson
  71. %T Space-Efficient Parallel Merging
  72. %E D. Etiemble
  73. %E J.-C. Syre
  74. %B PARLE '92, Parallel Architectures and Languages Europe
  75. %S LNCS
  76. %V 605
  77. %I Springer-Verlag
  78. %C Berlin
  79. %D 1992
  80. %P 37-52?
  81. %K implementation of parallel programs,
  82.  
  83. %A J. Hromkovic
  84. %A V. Muller
  85. %A O. Sykora
  86. %A I. Vrto
  87. %T On Embedding Interconnection Networks into Rings of Processors
  88. %E D. Etiemble
  89. %E J.-C. Syre
  90. %B PARLE '92, Parallel Architectures and Languages Europe
  91. %S LNCS
  92. %V 605
  93. %I Springer-Verlag
  94. %C Berlin
  95. %D 1992
  96. %P 53-62?
  97. %K architecture,
  98.  
  99. %A J. Glauert
  100. %T Asynchronous Mobile Processes and Graph Rewriting
  101. %E D. Etiemble
  102. %E J.-C. Syre
  103. %B PARLE '92, Parallel Architectures and Languages Europe
  104. %S LNCS
  105. %V 605
  106. %I Springer-Verlag
  107. %C Berlin
  108. %D 1992
  109. %P 63-80?
  110. %K graph theory,
  111.  
  112. %A F. Capello
  113. %A J.-L. Bechennec
  114. %A J.-L. Giavitto
  115. %T PTAH: Introduction to a New Parallel Architecture for
  116. Highly Numeric Processing
  117. %E D. Etiemble
  118. %E J.-C. Syre
  119. %B PARLE '92, Parallel Architectures and Languages Europe
  120. %S LNCS
  121. %V 605
  122. %I Springer-Verlag
  123. %C Berlin
  124. %D 1992
  125. %P 81-96?
  126. %K architecture,
  127.  
  128. %A P. Osmon
  129. %A T. Stiemerling
  130. %A T. Valsamidis
  131. %A A. Whitcroft
  132. %A T. Wilkinson
  133. %A N. Williams
  134. %T The Topsy Project: a Position Paper
  135. %E D. Etiemble
  136. %E J.-C. Syre
  137. %B PARLE '92, Parallel Architectures and Languages Europe
  138. %S LNCS
  139. %V 605
  140. %I Springer-Verlag
  141. %C Berlin
  142. %D 1992
  143. %P 97-114?
  144. %K architecture,
  145.  
  146. %A R. Feldman
  147. %A J. Hromkovic
  148. %A S. Madhavapeddy
  149. %A B. Monien
  150. %A P. Mysliwietz
  151. %T Optimal Algorithms for Dissemination of Information in
  152. Generalized Communications Modes
  153. %E D. Etiemble
  154. %E J.-C. Syre
  155. %B PARLE '92, Parallel Architectures and Languages Europe
  156. %S LNCS
  157. %V 605
  158. %I Springer-Verlag
  159. %C Berlin
  160. %D 1992
  161. %P 115-130?
  162. %K optimal algorithms,
  163.  
  164. %A S. K. Das
  165. %A C. C. -Y. Chen
  166. %E D. Etiemble
  167. %E J.-C. Syre
  168. %B PARLE '92, Parallel Architectures and Languages Europe
  169. %S LNCS
  170. %V 605
  171. %I Springer-Verlag
  172. %C Berlin
  173. %D 1992
  174. %P 131-146?
  175. %K optimal algorithms,
  176.  
  177. %A T. Collette
  178. %A H. Essafi
  179. %A D. Juvin
  180. %A J. Kaiser
  181. %T SYMPATIX: a SIMD Computer Performing the Low and Intermediate Levels of
  182. Image Processing
  183. %E D. Etiemble
  184. %E J.-C. Syre
  185. %B PARLE '92, Parallel Architectures and Languages Europe
  186. %S LNCS
  187. %V 605
  188. %I Springer-Verlag
  189. %C Berlin
  190. %D 1992
  191. %P 147-162?
  192. %K architecture,
  193.  
  194. %A V. Getov
  195. %T 1-Dimensional Parallel FFT Benchmark on SUPRENUM
  196. %E D. Etiemble
  197. %E J.-C. Syre
  198. %B PARLE '92, Parallel Architectures and Languages Europe
  199. %S LNCS
  200. %V 605
  201. %I Springer-Verlag
  202. %C Berlin
  203. %D 1992
  204. %P 163-176?
  205. %K architecture,
  206.  
  207. %A A. A. Farrag
  208. %A R. Dawson
  209. %A Q. Yao
  210. %T On Designing Fault-Tolerant Extensions with Optimal Fanout for
  211. Complete Bipartite Networks
  212. %E D. Etiemble
  213. %E J.-C. Syre
  214. %B PARLE '92, Parallel Architectures and Languages Europe
  215. %S LNCS
  216. %V 605
  217. %I Springer-Verlag
  218. %C Berlin
  219. %D 1992
  220. %P 177-192?
  221. %K graph theory and performance,
  222.  
  223. %A X. Zhong
  224. %A V. M. Lo
  225. %T Application Specific Deadlock Free Wormhole Routing on
  226. Multicomputers
  227. %E D. Etiemble
  228. %E J.-C. Syre
  229. %B PARLE '92, Parallel Architectures and Languages Europe
  230. %S LNCS
  231. %V 605
  232. %I Springer-Verlag
  233. %C Berlin
  234. %D 1992
  235. %P 193-210?
  236. %K graph theory and performance,
  237.  
  238. %A M. Dubois
  239. %A L. Barroso
  240. %A Y.-S. Chen
  241. %A K. Oner
  242. %T Scalability Problems in Multiprocessors with Private Caches
  243. %E D. Etiemble
  244. %E J.-C. Syre
  245. %B PARLE '92, Parallel Architectures and Languages Europe
  246. %S LNCS
  247. %V 605
  248. %I Springer-Verlag
  249. %C Berlin
  250. %D 1992
  251. %P 211-230?
  252. %K invited lectures,
  253.  
  254. %A P. Chavel
  255. %A J. Taboury
  256. %T Promises and Issues in Optical Computing
  257. %E D. Etiemble
  258. %E J.-C. Syre
  259. %B PARLE '92, Parallel Architectures and Languages Europe
  260. %S LNCS
  261. %V 605
  262. %I Springer-Verlag
  263. %C Berlin
  264. %D 1992
  265. %P 231-244?
  266. %K invited lectures,
  267.  
  268. %A J.-P. Bahsoun
  269. %A L. Feraud
  270. %T A Model to Design Reusable Parallel Software Components
  271. %E D. Etiemble
  272. %E J.-C. Syre
  273. %B PARLE '92, Parallel Architectures and Languages Europe
  274. %S LNCS
  275. %V 605
  276. %I Springer-Verlag
  277. %C Berlin
  278. %D 1992
  279. %P 245-260?
  280. %K parallel software components,
  281.  
  282. %A L. Thomas
  283. %T Extensibility and Reuse of Object-Oriented Synchronization Components
  284. %E D. Etiemble
  285. %E J.-C. Syre
  286. %B PARLE '92, Parallel Architectures and Languages Europe
  287. %S LNCS
  288. %V 605
  289. %I Springer-Verlag
  290. %C Berlin
  291. %D 1992
  292. %P 261-278?
  293. %K parallel software components,
  294.  
  295. %A M. Spiliopoulou
  296. %A M. Hatzopoulos
  297. %A C. Vassilakis
  298. %T Using Parallelism and Pipelining for the Optimization of Join Queries
  299. %E D. Etiemble
  300. %E J.-C. Syre
  301. %B PARLE '92, Parallel Architectures and Languages Europe
  302. %S LNCS
  303. %V 605
  304. %I Springer-Verlag
  305. %C Berlin
  306. %D 1992
  307. %P 279-294?
  308. %K data base optimization,
  309.  
  310. %A R. Marek
  311. %A E. Rahm
  312. %T Performance Evaluation of Parallel Transaction Processing in
  313. Shared Nothing Database Systems
  314. %E D. Etiemble
  315. %E J.-C. Syre
  316. %B PARLE '92, Parallel Architectures and Languages Europe
  317. %S LNCS
  318. %V 605
  319. %I Springer-Verlag
  320. %C Berlin
  321. %D 1992
  322. %P 295-312?
  323. %K data base optimization,
  324.  
  325. %A H. Bi
  326. %T Explicit Expression of Multidimensional Data Parallelism
  327. %E D. Etiemble
  328. %E J.-C. Syre
  329. %B PARLE '92, Parallel Architectures and Languages Europe
  330. %S LNCS
  331. %V 605
  332. %I Springer-Verlag
  333. %C Berlin
  334. %D 1992
  335. %P 313-328?
  336. %K data parallelism,
  337.  
  338. %A J.-M. Jezequel
  339. %A F. Bergheul
  340. %A F. Andre
  341. %T Programming Massively Parallel Architectures with
  342. Sequential Object Oriented Languages
  343. %E D. Etiemble
  344. %E J.-C. Syre
  345. %B PARLE '92, Parallel Architectures and Languages Europe
  346. %S LNCS
  347. %V 605
  348. %I Springer-Verlag
  349. %C Berlin
  350. %D 1992
  351. %P 329-346?
  352. %K data parallelism,
  353.  
  354. %A M. O'Boyle
  355. %A G. A. Hedayat
  356. %T A New Program Transformation to Minimize Communication in
  357. Distributed Memory Architectures
  358. %E D. Etiemble
  359. %E J.-C. Syre
  360. %B PARLE '92, Parallel Architectures and Languages Europe
  361. %S LNCS
  362. %V 605
  363. %I Springer-Verlag
  364. %C Berlin
  365. %D 1992
  366. %P 347-362?
  367. %K formal methods,
  368.  
  369. %A M. Rudalics
  370. %T Distributed Termination Enforcement
  371. %E D. Etiemble
  372. %E J.-C. Syre
  373. %B PARLE '92, Parallel Architectures and Languages Europe
  374. %S LNCS
  375. %V 605
  376. %I Springer-Verlag
  377. %C Berlin
  378. %D 1992
  379. %P 363-380?
  380. %K formal methods,
  381.  
  382. %A F. Lin
  383. %A T. Shih
  384. %T Verification of Systolic Architecture Designs
  385. %E D. Etiemble
  386. %E J.-C. Syre
  387. %B PARLE '92, Parallel Architectures and Languages Europe
  388. %S LNCS
  389. %V 605
  390. %I Springer-Verlag
  391. %C Berlin
  392. %D 1992
  393. %P 381-396?
  394. %K systolic approach,
  395.  
  396. %A H. Le\ Verge
  397. %T Reduction Operators in ALPHA
  398. %E D. Etiemble
  399. %E J.-C. Syre
  400. %B PARLE '92, Parallel Architectures and Languages Europe
  401. %S LNCS
  402. %V 605
  403. %I Springer-Verlag
  404. %C Berlin
  405. %D 1992
  406. %P 397-414?
  407. %K systolic approach,
  408.  
  409. %A L. Moreau
  410. %T An Operational Semantics for a Parallel Functional Language with
  411. Continuations
  412. %E D. Etiemble
  413. %E J.-C. Syre
  414. %B PARLE '92, Parallel Architectures and Languages Europe
  415. %S LNCS
  416. %V 605
  417. %I Springer-Verlag
  418. %C Berlin
  419. %D 1992
  420. %P 415-430?
  421. %K functional programming,
  422.  
  423. %A C. Queinnec
  424. %T A Concurrent and Distributed Extension to Scheme
  425. %E D. Etiemble
  426. %E J.-C. Syre
  427. %B PARLE '92, Parallel Architectures and Languages Europe
  428. %S LNCS
  429. %V 605
  430. %I Springer-Verlag
  431. %C Berlin
  432. %D 1992
  433. %P 431-448?
  434. %K functional programming,
  435.  
  436. %A Y. Robert
  437. %A S. W. Song
  438. %T New Techniques for Cycle Shrinking
  439. %E D. Etiemble
  440. %E J.-C. Syre
  441. %B PARLE '92, Parallel Architectures and Languages Europe
  442. %S LNCS
  443. %V 605
  444. %I Springer-Verlag
  445. %C Berlin
  446. %D 1992
  447. %P 449-464
  448. %K fine grain parallelism,
  449.  
  450. %A G. Jin
  451. %A F. Chen
  452. %T Loop Restructuring Techniques for Thrashing Problem
  453. %E D. Etiemble
  454. %E J.-C. Syre
  455. %B PARLE '92, Parallel Architectures and Languages Europe
  456. %S LNCS
  457. %V 605
  458. %I Springer-Verlag
  459. %C Berlin
  460. %D 1992
  461. %P 465-482?
  462. %K fine grain parallelism,
  463.  
  464. %A E. T. Freeman
  465. %A D. P. Friedman
  466. %T Characterizing the Paralation Model Using Dynamic Assignment
  467. %E D. Etiemble
  468. %E J.-C. Syre
  469. %B PARLE '92, Parallel Architectures and Languages Europe
  470. %S LNCS
  471. %V 605
  472. %I Springer-Verlag
  473. %C Berlin
  474. %D 1992
  475. %P 483-496?
  476. %K functional programming,
  477.  
  478. %A S. Cox
  479. %A S.-Y. Huang
  480. %A P. Kelly
  481. %A J. Liu
  482. %A F. Taylor
  483. %T An Implementation of Static Functional Process Networks
  484. %E D. Etiemble
  485. %E J.-C. Syre
  486. %B PARLE '92, Parallel Architectures and Languages Europe
  487. %S LNCS
  488. %V 605
  489. %I Springer-Verlag
  490. %C Berlin
  491. %D 1992
  492. %P 497-514?
  493. %K functional programming,
  494.  
  495. %A A. J. Martin
  496. %T Translating Concurrent Programs into VLSI Chips
  497. %E D. Etiemble
  498. %E J.-C. Syre
  499. %B PARLE '92, Parallel Architectures and Languages Europe
  500. %S LNCS
  501. %V 605
  502. %I Springer-Verlag
  503. %C Berlin
  504. %D 1992
  505. %P 515-534
  506. %P invited lecture,
  507.  
  508. %A M. J. Wise
  509. %T Message-Brokers and Communicating Prolog Processes
  510. %E D. Etiemble
  511. %E J.-C. Syre
  512. %B PARLE '92, Parallel Architectures and Languages Europe
  513. %S LNCS
  514. %V 605
  515. %I Springer-Verlag
  516. %C Berlin
  517. %D 1992
  518. %P 535-550?
  519.  
  520. %A C. Mourlas
  521. %A C. Halatsis
  522. %T Extensions to a Parallel Prolog System to Support Real-Time Applications
  523. %E D. Etiemble
  524. %E J.-C. Syre
  525. %B PARLE '92, Parallel Architectures and Languages Europe
  526. %S LNCS
  527. %V 605
  528. %I Springer-Verlag
  529. %C Berlin
  530. %D 1992
  531. %P 551-568?
  532.  
  533. %A L. Bic
  534. %A J. M. A. Roy
  535. %A M. Nagel
  536. %T Declarative Programming for Conventional MIMD Multiprocessors
  537. %E D. Etiemble
  538. %E J.-C. Syre
  539. %B PARLE '92, Parallel Architectures and Languages Europe
  540. %S LNCS
  541. %V 605
  542. %I Springer-Verlag
  543. %C Berlin
  544. %D 1992
  545. %P 569-584?
  546. %K data flow systems,
  547.  
  548. %A Q. Ning
  549. %A G. R. Gao
  550. %T Minimizing Loop Storage Allocation for
  551. an Argument-Fetching Dataflow Architecture Model
  552. %E D. Etiemble
  553. %E J.-C. Syre
  554. %B PARLE '92, Parallel Architectures and Languages Europe
  555. %S LNCS
  556. %V 605
  557. %I Springer-Verlag
  558. %C Berlin
  559. %D 1992
  560. %P 585-602?
  561. %K data flow systems,
  562.  
  563. %A K. A. M. Ali
  564. %A R. Karlsson
  565. %T Performance of Muse on the BBN Butterfly TC2000
  566. %E D. Etiemble
  567. %E J.-C. Syre
  568. %B PARLE '92, Parallel Architectures and Languages Europe
  569. %S LNCS
  570. %V 605
  571. %I Springer-Verlag
  572. %C Berlin
  573. %D 1992
  574. %P 603-616?
  575. %K prolog,
  576.  
  577. %A G. Gupta
  578. %A V. Santos Costa
  579. %T And-Or Parallelism in Full Prolog with Paged Binding Arrays
  580. %E D. Etiemble
  581. %E J.-C. Syre
  582. %B PARLE '92, Parallel Architectures and Languages Europe
  583. %S LNCS
  584. %V 605
  585. %I Springer-Verlag
  586. %C Berlin
  587. %D 1992
  588. %P 617-634?
  589.  
  590. %A J. Duato
  591. %T Improving the Efficiency of Virtual Channels with
  592. Time-Dependent Selection Functions
  593. %E D. Etiemble
  594. %E J.-C. Syre
  595. %B PARLE '92, Parallel Architectures and Languages Europe
  596. %S LNCS
  597. %V 605
  598. %I Springer-Verlag
  599. %C Berlin
  600. %D 1992
  601. %P 635-650?
  602. %K network efficiency,
  603.  
  604. %A G. V. Wilson
  605. %T Using Opportunistic Combining Networks to Reduce Contention in
  606. Multicomputers
  607. %E D. Etiemble
  608. %E J.-C. Syre
  609. %B PARLE '92, Parallel Architectures and Languages Europe
  610. %S LNCS
  611. %V 605
  612. %I Springer-Verlag
  613. %C Berlin
  614. %D 1992
  615. %P 651-668?
  616. %K network efficiency,
  617.  
  618. %A M. S. Baig
  619. %A T. A. El-Ghazawi
  620. %A N. A. Alexandridis
  621. %T Mixed-Mode Multicomputers with Load Adaptability
  622. %E D. Etiemble
  623. %E J.-C. Syre
  624. %B PARLE '92, Parallel Architectures and Languages Europe
  625. %S LNCS
  626. %V 605
  627. %I Springer-Verlag
  628. %C Berlin
  629. %D 1992
  630. %P 669-684?
  631. %K architecture,
  632.  
  633. %A Y. Hidaka
  634. %A H. Koike
  635. %A H. Tanaka
  636. %T Architecture of Parallel Management Kernel for PIE64
  637. %E D. Etiemble
  638. %E J.-C. Syre
  639. %B PARLE '92, Parallel Architectures and Languages Europe
  640. %S LNCS
  641. %V 605
  642. %I Springer-Verlag
  643. %C Berlin
  644. %D 1992
  645. %P 685-702?
  646.  
  647. %A M. R. Meybodi
  648. %T Concurrent Data Structures for Hypercube Machine
  649. %E D. Etiemble
  650. %E J.-C. Syre
  651. %B PARLE '92, Parallel Architectures and Languages Europe
  652. %S LNCS
  653. %V 605
  654. %I Springer-Verlag
  655. %C Berlin
  656. %D 1992
  657. %P 703-724?
  658. %K parallel algorithms,
  659.  
  660. %A B. Codenotti
  661. %A M. Loencini
  662. %A G. Resta
  663. %T Repeated Matrix Squaring for the Parallel Solution of Linear Systems
  664. %E D. Etiemble
  665. %E J.-C. Syre
  666. %B PARLE '92, Parallel Architectures and Languages Europe
  667. %S LNCS
  668. %V 605
  669. %I Springer-Verlag
  670. %C Berlin
  671. %D 1992
  672. %P 725-734?
  673. %K parallel algorithms,
  674.  
  675. %A J.-M. Kuntz
  676. %T Performance Evaluation of Cache Memories in
  677. Tightly Coupled Multiprocessor Systems
  678. %E D. Etiemble
  679. %E J.-C. Syre
  680. %B PARLE '92, Parallel Architectures and Languages Europe
  681. %S LNCS
  682. %V 605
  683. %I Springer-Verlag
  684. %C Berlin
  685. %D 1992
  686. %P 735-750
  687.  
  688. %A S. Krishnamoorthy
  689. %A A. Choudhary
  690. %T An Evaluation of Set-Associativity in Two-Level Caches for
  691. Shared Memory Multiprocessors
  692. %E D. Etiemble
  693. %E J.-C. Syre
  694. %B PARLE '92, Parallel Architectures and Languages Europe
  695. %S LNCS
  696. %V 605
  697. %I Springer-Verlag
  698. %C Berlin
  699. %D 1992
  700. %P 751-768?
  701. %K cache systems,
  702.  
  703. %A E. Kuhn
  704. %A F. Puntigam
  705. %T Reliable Communication in VPL
  706. %E D. Etiemble
  707. %E J.-C. Syre
  708. %B PARLE '92, Parallel Architectures and Languages Europe
  709. %S LNCS
  710. %V 605
  711. %I Springer-Verlag
  712. %C Berlin
  713. %D 1992
  714. %P 769-782?
  715. %P implementation of parallel languages,
  716.  
  717. %A P. Anderson
  718. %A D. Bolton
  719. %A P. Kelly
  720. %T Paragon Specifications: Structure, Analysis and Implementation
  721. %E D. Etiemble
  722. %E J.-C. Syre
  723. %B PARLE '92, Parallel Architectures and Languages Europe
  724. %S LNCS
  725. %V 605
  726. %I Springer-Verlag
  727. %C Berlin
  728. %D 1992
  729. %P 783-800?
  730. %K implementation of parallel languages,
  731.  
  732. %A A. Gupta
  733. %T Stanford DASH Multiprocessor: The Hardware and Software Approach
  734. %E D. Etiemble
  735. %E J.-C. Syre
  736. %B PARLE '92, Parallel Architectures and Languages Europe
  737. %S LNCS
  738. %V 605
  739. %I Springer-Verlag
  740. %C Berlin
  741. %D 1992
  742. %P 801-808
  743. %K invited lecture,
  744.  
  745. %A P. W. P. J. Grefen
  746. %A P. M. G. Apers
  747. %T Dynamic Action Scheduling in a Parallel Database System
  748. %E D. Etiemble
  749. %E J.-C. Syre
  750. %B PARLE '92, Parallel Architectures and Languages Europe
  751. %S LNCS
  752. %V 605
  753. %I Springer-Verlag
  754. %C Berlin
  755. %D 1992
  756. %P 809-824?
  757. %K data base,
  758.  
  759. %A C. Chachaty
  760. %A P. Borla-Salamet
  761. %A M. Ward
  762. %T A Compositional Approach for the Design of
  763. a Parallel Query Processing Language
  764. %E D. Etiemble
  765. %E J.-C. Syre
  766. %B PARLE '92, Parallel Architectures and Languages Europe
  767. %S LNCS
  768. %V 605
  769. %I Springer-Verlag
  770. %C Berlin
  771. %D 1992
  772. %P 825-842?
  773. %K parallel scheduling on data base systems,
  774.  
  775. %A F. Cherief
  776. %T Back and Forth Bisimulations on Prime Event Structures
  777. %E D. Etiemble
  778. %E J.-C. Syre
  779. %B PARLE '92, Parallel Architectures and Languages Europe
  780. %S LNCS
  781. %V 605
  782. %I Springer-Verlag
  783. %C Berlin
  784. %D 1992
  785. %P 843-858?
  786. %K semantic models,
  787.  
  788. %A J. Fanchon
  789. %T Dynamic Concurrent Processes
  790. %E D. Etiemble
  791. %E J.-C. Syre
  792. %B PARLE '92, Parallel Architectures and Languages Europe
  793. %S LNCS
  794. %V 605
  795. %I Springer-Verlag
  796. %C Berlin
  797. %D 1992
  798. %P 859-876?
  799. %K semantic models,
  800.  
  801. %A F. Carino
  802. %A P. Kostamaa
  803. %T Exegenesis of DBC/1012 and P-90
  804. %E D. Etiemble
  805. %E J.-C. Syre
  806. %B PARLE '92, Parallel Architectures and Languages Europe
  807. %S LNCS
  808. %V 605
  809. %I Springer-Verlag
  810. %C Berlin
  811. %D 1992
  812. %P 877-892?
  813. %K parallel data base machines, Teradata,
  814.  
  815. %A S. H. Lavington
  816. %A M. E. Waite
  817. %A J. Robinson
  818. %A N. E. J. Dewhurst
  819. %T Exploiting Parallelism in Primitive Operations on Bulk Data Types
  820. %E D. Etiemble
  821. %E J.-C. Syre
  822. %B PARLE '92, Parallel Architectures and Languages Europe
  823. %S LNCS
  824. %V 605
  825. %I Springer-Verlag
  826. %C Berlin
  827. %D 1992
  828. %P 893-910?
  829. %K parallel data base machines,
  830.  
  831. %A K. De\ Bosschere
  832. %A J.-M. Jacquet
  833. %T Comparative Semantics of Microlog
  834. %E D. Etiemble
  835. %E J.-C. Syre
  836. %B PARLE '92, Parallel Architectures and Languages Europe
  837. %S LNCS
  838. %V 605
  839. %I Springer-Verlag
  840. %C Berlin
  841. %D 1992
  842. %P 911-926?
  843. %K language semantics,
  844.  
  845. %A G. Singh
  846. %A A. J. Bernstein
  847. %T A Framework for Parallel Composition of Protocols
  848. %E D. Etiemble
  849. %E J.-C. Syre
  850. %B PARLE '92, Parallel Architectures and Languages Europe
  851. %S LNCS
  852. %V 605
  853. %I Springer-Verlag
  854. %C Berlin
  855. %D 1992
  856. %P 927-944?
  857. %K language semantics,
  858.  
  859. %A S. Gorlatch
  860. %T A Case Study: Parallel Program Development for
  861. a Recursive Numerical Algorithm
  862. %E D. Etiemble
  863. %E J.-C. Syre
  864. %B PARLE '92, Parallel Architectures and Languages Europe
  865. %S LNCS
  866. %V 605
  867. %I Springer-Verlag
  868. %C Berlin
  869. %D 1992
  870. %P 945-946?
  871. %K poster session,
  872.  
  873. %A F. Knabe
  874. %T A Distributed Protocol for Channel-Based Communications with Choice
  875. %E D. Etiemble
  876. %E J.-C. Syre
  877. %B PARLE '92, Parallel Architectures and Languages Europe
  878. %S LNCS
  879. %V 605
  880. %I Springer-Verlag
  881. %C Berlin
  882. %D 1992
  883. %P 947-948?
  884. %K poster session,
  885.  
  886. %A S. Damy
  887. %A G. R. Perrin
  888. %T A Refinement of Communicating Processes
  889. %E D. Etiemble
  890. %E J.-C. Syre
  891. %B PARLE '92, Parallel Architectures and Languages Europe
  892. %S LNCS
  893. %V 605
  894. %I Springer-Verlag
  895. %C Berlin
  896. %D 1992
  897. %P 949-950?
  898. %K poster session,
  899.  
  900. %A P. Caspi
  901. %A A. Girault
  902. %T Distributing Finite Transition Systems
  903. %E D. Etiemble
  904. %E J.-C. Syre
  905. %B PARLE '92, Parallel Architectures and Languages Europe
  906. %S LNCS
  907. %V 605
  908. %I Springer-Verlag
  909. %C Berlin
  910. %D 1992
  911. %P 951-952?
  912. %K poster session,
  913.  
  914. %A R. Capobianchi
  915. %A R. Guerraoui
  916. %A A. Lanusse
  917. %A R. Roux
  918. %T Coping with the Process Proliferation Problem in
  919. Concurrent Object-Based Language Implementation
  920. %E D. Etiemble
  921. %E J.-C. Syre
  922. %B PARLE '92, Parallel Architectures and Languages Europe
  923. %S LNCS
  924. %V 605
  925. %I Springer-Verlag
  926. %C Berlin
  927. %D 1992
  928. %P 953-954?
  929. %K poster session,
  930.  
  931. %A J. Gabarro
  932. %A R. Gavalda
  933. %T Correctness of Flat Data Parallel Algorithms:
  934. An Axiomatic Approach and Examples
  935. %E D. Etiemble
  936. %E J.-C. Syre
  937. %B PARLE '92, Parallel Architectures and Languages Europe
  938. %S LNCS
  939. %V 605
  940. %I Springer-Verlag
  941. %C Berlin
  942. %D 1992
  943. %P 955-956?
  944. %K poster session,
  945.  
  946. %A Z. Chamski
  947. %T Generating Memory-Efficient Imperative Data Structures from
  948. Systolic Processes
  949. %E D. Etiemble
  950. %E J.-C. Syre
  951. %B PARLE '92, Parallel Architectures and Languages Europe
  952. %S LNCS
  953. %V 605
  954. %I Springer-Verlag
  955. %C Berlin
  956. %D 1992
  957. %P 957-958
  958. %K poster session,
  959.  
  960. %A J.-P. Carrara
  961. %A J.-L. Basille
  962. %A J.-F. Larue
  963. %A D. Juvin
  964. %T Geometric Transforms on Parallel Architecture
  965. %E D. Etiemble
  966. %E J.-C. Syre
  967. %B PARLE '92, Parallel Architectures and Languages Europe
  968. %S LNCS
  969. %V 605
  970. %I Springer-Verlag
  971. %C Berlin
  972. %D 1992
  973. %P 959-960?
  974. %K poster session,
  975.  
  976. %A P. Kacsuk
  977. %T Implementing Cut in a Distributed Data Driven OR-Parallel Prolog Environment
  978. %E D. Etiemble
  979. %E J.-C. Syre
  980. %B PARLE '92, Parallel Architectures and Languages Europe
  981. %S LNCS
  982. %V 605
  983. %I Springer-Verlag
  984. %C Berlin
  985. %D 1992
  986. %P 961-962?
  987. %K poster session,
  988.  
  989. %A N. de\ Beaucoudrey
  990. %A A. Bellemain
  991. %A D. Phalippou
  992. %A P. Chavel
  993. %A D. Fortin
  994. %A I. Exman
  995. %A L. Rudolph
  996. %A J.-P. Schnell
  997. %A J.-P. Pocholle
  998. %T Optical Interconnections for Parallel Systems:
  999. Demonstration of an Optical Link with Multiple-Quantum-Well
  1000. Opto-Electronic Arrays
  1001. %E D. Etiemble
  1002. %E J.-C. Syre
  1003. %B PARLE '92, Parallel Architectures and Languages Europe
  1004. %S LNCS
  1005. %V 605
  1006. %I Springer-Verlag
  1007. %C Berlin
  1008. %D 1992
  1009. %P 963-964?
  1010. %K poster session,
  1011.  
  1012. %A S. F. Liu
  1013. %A M. L. Soffa
  1014. %T Parallel Task Assignment by Graph Partitioning
  1015. %E D. Etiemble
  1016. %E J.-C. Syre
  1017. %B PARLE '92, Parallel Architectures and Languages Europe
  1018. %S LNCS
  1019. %V 605
  1020. %I Springer-Verlag
  1021. %C Berlin
  1022. %D 1992
  1023. %P 965-966?
  1024. %K poster session,
  1025.  
  1026. %A A. Klingler
  1027. %A V. Penner
  1028. %T Parallelizing Recursive Logic Programs Through Decomposition
  1029. %E D. Etiemble
  1030. %E J.-C. Syre
  1031. %B PARLE '92, Parallel Architectures and Languages Europe
  1032. %S LNCS
  1033. %V 605
  1034. %I Springer-Verlag
  1035. %C Berlin
  1036. %D 1992
  1037. %P 967-968?
  1038. %K poster session,
  1039.  
  1040. %A D. Houzet
  1041. %A J.-L. Basille
  1042. %A J.-Y. Latil
  1043. %T Performance Analysis of the Network of the GFLOPS Parallel Architecture
  1044. %E D. Etiemble
  1045. %E J.-C. Syre
  1046. %B PARLE '92, Parallel Architectures and Languages Europe
  1047. %S LNCS
  1048. %V 605
  1049. %I Springer-Verlag
  1050. %C Berlin
  1051. %D 1992
  1052. %P 969-970?
  1053. %K poster session,
  1054.  
  1055. %A W. Weihl
  1056. %A E. Brewer
  1057. %A A. Colbrook
  1058. %A Ch. Dellarocas
  1059. %A W. Hsieh
  1060. %A A. Joseph
  1061. %A C. Waldspurger
  1062. %A P. Wang
  1063. %T PRELUDE: A System for Portable Parallel Software
  1064. %E D. Etiemble
  1065. %E J.-C. Syre
  1066. %B PARLE '92, Parallel Architectures and Languages Europe
  1067. %S LNCS
  1068. %V 605
  1069. %I Springer-Verlag
  1070. %C Berlin
  1071. %D 1992
  1072. %P 971-972?
  1073. %K poster session,
  1074.  
  1075. %A N. J. Dimopoulos
  1076. %A M. Chowdhury
  1077. %A R. Sivakumar
  1078. %A V. Dimakopoulos
  1079. %T Routing in Hypercubes.  Deadlock Free and Backtracking Strategies
  1080. %E D. Etiemble
  1081. %E J.-C. Syre
  1082. %B PARLE '92, Parallel Architectures and Languages Europe
  1083. %S LNCS
  1084. %V 605
  1085. %I Springer-Verlag
  1086. %C Berlin
  1087. %D 1992
  1088. %P 973-974?
  1089. %K poster session,
  1090.  
  1091. %A G. R. R. Justo
  1092. %A P. H. Welch
  1093. %T Serialisation as a Paradigm for the Engineering of Parallel Programs
  1094. %E D. Etiemble
  1095. %E J.-C. Syre
  1096. %B PARLE '92, Parallel Architectures and Languages Europe
  1097. %S LNCS
  1098. %V 605
  1099. %I Springer-Verlag
  1100. %C Berlin
  1101. %D 1992
  1102. %P 975-976?
  1103. %K poster session,
  1104.  
  1105. %A J. Perret
  1106. %A Ph. Gautron
  1107. %T SIMCDL: Simulating Parallel Programming in a Sequential Environment
  1108. %E D. Etiemble
  1109. %E J.-C. Syre
  1110. %B PARLE '92, Parallel Architectures and Languages Europe
  1111. %S LNCS
  1112. %V 605
  1113. %I Springer-Verlag
  1114. %C Berlin
  1115. %D 1992
  1116. %P 977-978?
  1117. %K poster session,
  1118.  
  1119. %A G. Karjoth
  1120. %T XFSM: A Formal Model of Communicating State Machines for
  1121. Implementation Specifications
  1122. %E D. Etiemble
  1123. %E J.-C. Syre
  1124. %B PARLE '92, Parallel Architectures and Languages Europe
  1125. %S LNCS
  1126. %V 605
  1127. %I Springer-Verlag
  1128. %C Berlin
  1129. %D 1992
  1130. %P 979-980?
  1131. %K poster session,
  1132.  
  1133. %A J. M. Nash
  1134. %A P. M. Dew
  1135. %T XPRAM Model and Programming Interface
  1136. %E D. Etiemble
  1137. %E J.-C. Syre
  1138. %B PARLE '92, Parallel Architectures and Languages Europe
  1139. %S LNCS
  1140. %V 605
  1141. %I Springer-Verlag
  1142. %C Berlin
  1143. %D 1992
  1144. %P 981-982?
  1145. %K poster session,
  1146.  
  1147.  
  1148.  
  1149.