Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | D. G. Patrick, P. R. Green, Trevor A. York |
OCCAM- and C-Based Multiprocessor Environments for UNIX Cluster. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 40(1), pp. 12-21, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | F. Araque, Manuel I. Capel, José Miguel Mantas Ruiz, A. Palma |
A proposal to improve reusability in a language based on the occam-CSP model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: Fifth Euromicro Workshop on Parallel and Distributed Processing (PDP '97), January 22-24, 1997, University of Westminster, London, UK, pp. 41-46, 1997, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
19 | Carlos Domingo, Tatsuie Tsukiji, Osamu Watanabe 0001 |
Partial Occam's Razor and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 8th International Conference, ALT '97, Sendai, Japan, October 6-8, 1997, Proceedings, pp. 85-99, 1997, Springer, 3-540-63577-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Geoffrey I. Webb |
Further Experimental Evidence against the Utility of Occam's Razor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 4, pp. 397-417, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Geoffrey I. Webb |
Further Experimental Evidence against the Utility of Occam's Razor ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.AI/9605101, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
19 | Egon Börger, Igor Durdanovic |
Correctness of Compiling Occam to Transputer Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 39(1), pp. 52-92, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Balas K. Natarajan, Konstantinos Konstantinides, Cormac Herley |
Occam filters for stochastic sources with application to digital images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings 1996 International Conference on Image Processing, Lausanne, Switzerland, September 16-19, 1996, pp. 399-402, 1996, IEEE Computer Society, 0-7803-3259-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Winfried Hahn, Andreas Hagerer, B. Wagner |
UDL/I and OCCAM: Simulation Languages for Rapid-Prototyping of Digital Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESM ![In: Modelling and Simulation, ESM96, June 2-6, 1996, Budapest University of Economic Sciences., pp. 502-507, 1996, SCS, The Society for Computer Simulation International, 1-56555-097-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
19 | Renata Spencer, Augusto Sampaio |
De occam para o transputer: compilação via reescrita de termos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBES ![In: Proceedings of the 10th Brazilian Symposium on Software Engineering, SBES 1996, São Carlos, SP, Brazil, October 14-18, 1996., pp. 103-118, 1996, SBC. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Kevin J. Vella |
CSP/Occam on Networks of Workstations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UK Parallel ![In: UK Parallel '96 - Proceedings of the BCS PPSG Annual Conference, Surrey, UK, July 3-5, 1996, pp. 70-91, 1996, Springer, 978-3-540-76068-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Dave J. Beckett, Peter Welch |
A Strict occam Design Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UK Parallel ![In: UK Parallel '96 - Proceedings of the BCS PPSG Annual Conference, Surrey, UK, July 3-5, 1996, pp. 53-69, 1996, Springer, 978-3-540-76068-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Lawrence J. Dickson |
Occam Road Map for the DOS PC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1996, August 9-11, 1996, Sunnyvale, California, USA, pp. 1010-1019, 1996, CSREA Press, 0-9648666-4-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
19 | S. Vedat Demiralp |
Configuring Distributed Occam Programs Using Doc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1996, August 9-11, 1996, Sunnyvale, California, USA, pp. 1152-, 1996, CSREA Press, 0-9648666-4-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
19 | I. M. Ikram |
An occam Library for Genetic Programming on Transputer Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1996, August 9-11, 1996, Sunnyvale, California, USA, pp. 1186-1189, 1996, CSREA Press, 0-9648666-4-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
19 | Elena Trichina |
From functional equations to Occam programs: systolizing compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACT ![In: Proceedings of the IFIP WG10.3 working conference on Parallel architectures and compilation techniques, PACT '95, Limassol, Cyprus, June 27-29, 1995, pp. 310-314, 1995, IFIP Working Group on Algol / ACM. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
19 | L. Wooley, A. Battersby |
Distributed Occam Processes on a Sun Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1995, November 3-4, 1995, Georgia, USA, pp. 531-540, 1995, CSREA Press, 0-9648666-0-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
19 | Otmane Aït Mohamed, Abdelillah Mokkedem |
On Formal Verification of Occam Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1995, November 3-4, 1995, Georgia, USA, pp. 805-814, 1995, CSREA Press, 0-9648666-0-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
19 | Patrick M. Murphy, Michael J. Pazzani |
Exploring the Decision Forest: An Empirical Investigation of Occam's Razor in Decision Tree Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 1, pp. 257-275, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Patrick M. Murphy, Michael J. Pazzani |
Exploring the Decision Forest: An Empirical Investigation of Occam's Razor in Decision Tree Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/9403101, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
19 | Valmir Carneiro Barbosa, Lúcia Maria de A. Drummond, Astrid Luise H. Hellmuth |
From distributed algorithms to OCCAM programs by successive refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 26(3), pp. 257-272, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Rafail E. Krichevsky |
Occam's Razor, Partially Specified Boolean Functions, String Matching, and Independent Sets ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 108(1), pp. 158-174, January 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Peter M. A. Sloot, Alfons G. Hoekstra, Louis O. Hertzberger |
A Comparison of the Iserver-Occam, Parix, Express, and PVM Programming Environments on a Parsytec GCel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCN ![In: High-Performance Computing and Networking, International Conference and Exhibition, HPCN Europe 1994, Munich, Germany, April 18-20, 1994, Proceedings, Volume II: Networking and Tools, pp. 253-259, 1994, Springer, 3-540-57981-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Egon Börger, Igor Durdanovic, Dean Rosenzweig |
Occam: Specification and Compiler Correctness - Part I: The Primary Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 489-508, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
19 | B. K. Natarajan |
Sharper Bounds on Occam Filters with Application to Digital Video. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Compression Conference ![In: Proceedings of the IEEE Data Compression Conference, DCC 1994, Snowbird, Utah, USA, March 29-31, 1994., pp. 440-449, 1994, IEEE Computer Society, 0-8186-5637-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Elena Trichina |
Development of Occam Programs by Stepwise Transformation of Affine Recurrence Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parcella ![In: Parcella 1994, VI. International Workshop on Parallel Processing by Cellular Automata and Arrays, Potsdam, Germany, September 21-23, 1994. Proceedings, pp. 151-160, 1994, Akademie Verlag, Berlin, 3-05-501602-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
19 | Byoung-Tak Zhang, Heinz Mühlenbein |
Evolving Optimal Neural Networks Using Genetic Algorithms with Occam's Razor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex Syst. ![In: Complex Syst. 7(3), 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
19 | Domenico Talia |
Distributed termination of concurrent processes in Occam. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. ![In: Comput. Lang. 19(1), pp. 51-62, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Yasubumi Sakakibara |
Noise-Tolerant Occam Algorithms and Their Applications to Learning Decision Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 11, pp. 37-62, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Juan A. Montiel-Nelson, Valentin de Armas, D. Q. M. Fay |
An OCCAM circle generator program implemented in VLSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microprogramming ![In: Microprocess. Microprogramming 37(1-5), pp. 49-54, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Aniello Cimitile, Ugo de Carlini, Umberto Villano |
Replay-Based Debugging of Occam Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 3(2), pp. 83-100, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Haim Schweitzer |
Occam algorithms for computing visual motion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Fourth International Conference on Computer Vision, ICCV 1993, Berlin, Germany, 11-14 May, 1993, Proceedings, pp. 551-555, 1993, IEEE Computer Society, 0-8186-3870-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Byoung-Tak Zhang, Heinz Mühlenbein |
Genetic Programming of Minimal Neural Nets Using Occam's Razor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGA ![In: Proceedings of the 5th International Conference on Genetic Algorithms, Urbana-Champaign, IL, USA, June 1993, pp. 342-351, 1993, Morgan Kaufmann, 1-55860-299-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
19 | F. Breant, Jean-François Peyre |
OCCAM Prototyping of Massively Parallel Applications from Colored Petri-Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: The Seventh International Parallel Processing Symposium, Proceedings, Newport Beach, California, USA, April 13-16, 1993., pp. 842-848, 1993, IEEE Computer Society, 0-8186-3442-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Jifeng He 0001, Ian Page, Jonathan P. Bowen |
Towards a Provably Correct Hardware Implementation of Occam. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '93, Arles, France, May 24-26, 1993, Proceedings, pp. 214-225, 1993, Springer, 3-540-56778-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Robert Glück, Andrei V. Klimov |
Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings, pp. 112-123, 1993, Springer, 3-540-57264-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | B. K. Natarajan |
Occam's Razor for Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLT ![In: Proceedings of the Sixth Annual ACM Conference on Computational Learning Theory, COLT 1993, Santa Cruz, CA, USA, July 26-28, 1993., pp. 370-376, 1993, ACM, 0-89791-611-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Bamba Ibrahim Lokpo, Gérard Padiou |
Reusability in the Occam Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Struct. Program. ![In: Struct. Program. 13(2), pp. 65-74, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
19 | Raymond A. Board, Leonard Pitt |
On the Necessity of Occam Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 100(1), pp. 157-184, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Yen-Chun Lin, Yu-Ho Cheng |
Automatic Generation of Parallel Occam Programs for Transputer Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 16(2), pp. 121-133, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Flemming Nielson, Hanne Riis Nielson |
Forced transformation of Occam programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 34(2), pp. 91-96, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | D. E. Stevenson, L. K. Ammons, W. G. Crosmun, A. Jackson, G. L. Raj |
A Vector C and Fortran Compiler for the FPS T-Series: Experiences with Compiling to occam I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 22(5), pp. 371-390, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Hong Shen |
Occam implementation of process-to-processor mapping on the Hathi-2 transputer system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microprogramming ![In: Microprocess. Microprogramming 33(3), pp. 173-189, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Volker Penner |
Parallelität und Transputer - von den Grundlagen zur Anwendung ; Occam und Transputer, Concurrent, Prolog, Linda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1992 |
RDF |
|
19 | Richard P. Hopkins, Jon G. Hall, Oliver Botti |
A basic-net algebra for program semantics and its application to OCCAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Petri Nets: The DEMON Project ![In: Advances in Petri Nets 1992, The DEMON Project, pp. 179-214, 1992, Springer, 3-540-55610-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Colin Willcock |
A parallel X window server : (a case study on occam and programming-in-the-large). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1992 |
RDF |
|
19 | C. A. R. Hoare |
The transputer and occam: A personal story. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Pract. Exp. ![In: Concurr. Pract. Exp. 3(4), pp. 249-264, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Janet Edwards, Philip A. Lawson |
Fourteenth World Occam and Transputer User Group Technical Meeting: Loughborough University of Technology, UK 15-18 September 1991. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 15(8), pp. 445-448, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Yen-Chun Lin |
Translating from FP to Occam for systolic algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 15(8), pp. 435-444, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Mostafa A. Bassiouni |
Concurrent Programming in Occam 2: Wexler, J Ellis Horwood (1989) £33.50, ISBN 013-161-7389. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 15(5), pp. 286-287, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Stephen P. Van Trees, Ophir Frieder |
On the specification and implementation of X.25 using CSP and OCCAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocessing and Microprogramming ![In: Microprocessing and Microprogramming 32(1-5), pp. 739-744, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Valmir C. Barbosa, Lúcia Maria de A. Drummond, Astrid Luise H. Hellmuth |
An integrated software environment for large-scale Occam programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocessing and Microprogramming ![In: Microprocessing and Microprogramming 32(1-5), pp. 393-400, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Zhiwei Xu, Olivier Y. de Vel |
Petri Net Modelling of Occam Programs for Detecting Indeterminacy, Non-termination and Deadlock Anomalies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, PNPM 1991, Melbourne, Victoria, Australia, December 2-5, 1991, pp. 116-124, 1991, IEEE Computer Society, 0-8186-2285-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Oliver Botti, Fiorella de Cindio |
From Basic to Timed Net Models of Occam: An Application to Program Placement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, PNPM 1991, Melbourne, Victoria, Australia, December 2-5, 1991, pp. 216-221, 1991, IEEE Computer Society, 0-8186-2285-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Eiji Takimoto, Akira Maruoka |
Relationships between PAC-learning algorithms and weak Occam algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 2nd International Workshop, ALT '91, Tokyo, Japan, October 23-25, 1991, Proceedings, pp. 151-162, 1991, Ohmsha. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
19 | Matthew M. Huntbach |
Automated Translation of Occam to a Concurrent Logic Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991, pp. 254-275, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Ulrich Arzt, Daniela Merziger, Lothar Thiele |
Rekursive Prozeduraufrufe in VLSI-Occam. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Transputer-Anwender-Treffen ![In: Parallele Datenverarbeitung mit dem Transputer, 3. Transputer-Anwender-Treffen TAT '91, Aachen, 17.-18. September 1991, pp. 108-115, 1991, Springer, 3-540-55386-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
19 | Andrew E. Love Jr, Maurice F. Aburdene |
Simulation of distributed algorithms using OCCAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. ![In: Simul. 55(2), pp. 86-95, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Dick Knowles |
Mapping a Mascot 3 design into Occam. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Eng. J. ![In: Softw. Eng. J. 5(4), pp. 207-213, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
19 | David H. Wolpert |
The Relationship Between Occam's Razor and Convergent Guessing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex Syst. ![In: Complex Syst. 4(3), 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
19 | Alan E. Knowles |
Concurrent programming in Occam 2: Wexler, J Ellis Horwood, Chichester, UK (1989) £29.95 pp 208. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 14(5), pp. 325-326, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Gianfranco Ciccarella, Giuliano Paris, Giorgio Valent |
Top-down approach to the design of OCCAM and transputer-based real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Syst. Sci. Eng. ![In: Comput. Syst. Sci. Eng. 5(1), pp. 5-12, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
19 | Hong Shen |
Occam implementation of path-disjoint routing on the Hathi-2 transputer system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocessing and Microprogramming ![In: Microprocessing and Microprogramming 30(1-5), pp. 93-100, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Miroslaw Szturmowicz, Marek Tudruj |
A multi-layer transputer network for efficient parallel execution of OCCAM programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocessing and Microprogramming ![In: Microprocessing and Microprogramming 28(1-5), pp. 133-138, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Valmir C. Barbosa, Maria Cristina Silva Boeres |
An Occam-based evaluation of a parallel version of simulated annealing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocessing and Microprogramming ![In: Microprocessing and Microprogramming 30(1-5), pp. 85-92, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
19 | François Breant |
TAPIOCA: OCCAM rapid prototyping from Petri-net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Jerusalem Conference on Information Technology ![In: Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, Jerusalem, October 22-25, 1990, pp. 184-190, 1990, IEEE Computer Society, 0-8186-2078-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Achim G. Hoffmann |
The Computational Complexity of Occam's Razor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-90, 14th German Workshop on Artificial Intelligence, Eringerfeld, Germany, 10.-14. September 1990, Proceedings, pp. 277-281, 1990, Springer, 3-540-53132-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Yasubumi Sakakibara |
Occam Algorithms for Learning From Noisy Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, First International Workshop, ALT '90, Tokyo, Japan, October 8-10, 1990, Proceedings, pp. 193-208, 1990, Springer/Ohmsha, 3-540-19661-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
19 | Yuri P. Serdyuk |
Occam Based Neural Network Description Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 219-226, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
19 | Raymond A. Board, Leonard Pitt |
On the Necessity of Occam Algorithms ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 22nd Annual ACM Symposium on Theory of Computing, May 13-17, 1990, Baltimore, Maryland, USA, pp. 54-63, 1990, ACM, 0-89791-361-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Thomas Seifert, Ewald Speckenmeyer |
Spezifikation einer Sprache zur Simulation von PRAM-Modellen und ihre Übersetzung nach OCCAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Transputer-Anwender-Treffen ![In: Parallele Datenverarbeitung mit dem Transputer, 2. Transputer-Anwender-Treffen TAT '90, Aachen, 17.-18. September 1990, pp. 103-110, 1990, Springer, 3-540-53976-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Rui Ralha |
Parallel computation of eigenvalues and eigenvectors using Occam and transputers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1990 |
RDF |
|
19 | Juanito Camilleri |
An operational semantics for occam. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 18(5), pp. 365-400, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Ian Thomas |
Support system for occam objects on transputers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 13(2), pp. 129-137, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Patricia Samwell |
Programming in OCCAM 2: Burns, A Addison-Wesley, Wokingham, UK (1988) £15.95 pp 202. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 13(7), pp. 484, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Paolo Corsini, Graziano Frosini, Luigi Rizzo |
Implementing a parallel PROLOG interpreter by using OCCAM and transputers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 13(4), pp. 271-279, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
19 | G. A. Wilson |
Generic Parameters in occam. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 19(11), pp. 1057-1064, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
19 | G. A. Wilson |
Comparative Timings of Three Different Set Implementations in Occam. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 19(3), pp. 273-281, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
19 | M. Elizabeth C. Hull, Adib Zarea-Aliabadi |
Real-time system implementation - The transputer and occam alternative. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocessing and Microprogramming ![In: Microprocessing and Microprogramming 26(2), pp. 77-84, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Roy D. Dowsing, R. Elliott, M. Templeton, G. Williams, Frank Woodhams |
A framework for the synthesis of hardware from occam. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocessing and Microprogramming ![In: Microprocessing and Microprogramming 27(1-5), pp. 373-379, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
19 | H. Zedan, R. F. Stone, D. S. Simpson |
PCHAN: A notion for dynamic resource management in distributed occam systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microprogramming ![In: Microprocess. Microprogramming 25(1-5), pp. 253-257, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Herbert Kuchen |
Parallele Implementierung einer funktionalen Programmiersprache auf einem OCCAM-Transputer-System unter besonderer Berücksichtigung applikativer Datenstrukturen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1989 |
RDF |
|
19 | Ian Charles Herbert Thomas |
OCCAM objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1989 |
RDF |
|
19 | L. A. Crutcher, M. H. Barton |
Implementing SDL in occam. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Eng. J. ![In: Softw. Eng. J. 3(3), pp. 78-85, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
19 | A. W. Roscoe 0001, C. A. R. Hoare |
The Laws of Occam Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 60, pp. 177-229, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
19 | A. J. Fisher |
A Critique of Occam Channel Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. ![In: Comput. Lang. 13(2), pp. 95-105, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
19 | Don Fay |
An introduction to occam 2 programming: Bowler, K C, Kenway, R D, Pawley, G S and Roweth, D Chartwell-Bratt, Bickley, London, UK (1987) £6.95 pp 109. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 12(6), pp. 359-360, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
19 | Chris R. Jesshope |
Transputers and switches as objects in OCCAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Comput. ![In: Parallel Comput. 8(1-3), pp. 19-30, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
19 | Volker Hüsken |
Occam - Das aktuelle Schlagwort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 11(6), pp. 325-326, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
19 | R. E. M. Cooper, G. Jones |
A Microprogrammed occam Interpreter for the HLH Orion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 18(1), pp. 63-71, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
19 | H. Zedan |
On the analysis of occam real-time distributed computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microprogramming ![In: Microprocess. Microprogramming 24(1-5), pp. 491-500, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
19 | Gert Van Der Jeugt, Erik F. Dirkx, Jacques Tiberghien |
Protocol description and simulation in the OCCAM programming language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microprogramming ![In: Microprocess. Microprogramming 24(1-5), pp. 205-207, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
19 | H. Zedan |
Achieving atomicity in occam. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microprogramming ![In: Microprocess. Microprogramming 23(1-5), pp. 261-265, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
19 | Alan Chalmers |
OCCAM - The language for educating future parallel programmers? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microprogramming ![In: Microprocess. Microprogramming 24(1-5), pp. 757-760, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
19 | |
Occam 2 - reference manual ; INMOS Limited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1988 |
RDF |
|
19 | Peter H. Welch |
An OCCAM approach to transputer engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
C³P ![In: Proceedings of the Third Conference on Hypercube Concurrent Computers and Applications - Architecture, Software, Computer Systems, and General Issues, C³P, Pasadena, California, USA, January 19-20, 1988, pp. 138-147, 1988, ACM, 978-0-89791-278-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
19 | Michael J. Pazzani |
Integrating Explanation-Based and Empirical Learning Methods in OCCAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWSL ![In: Proceedings of the Third European Working Session on Learning, EWSL 1988, Turing Institute, Glasgow, UK, October 3-5, 1988, pp. 147-165, 1988, Pitman Publishing, 0-273-08800-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
19 | Jakub Segen |
Conceptual Clumping of Binary Vectors with Occam's Razor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Machine Learning, Proceedings of the Fifth International Conference on Machine Learning, Ann Arbor, Michigan, USA, June 12-14, 1988, pp. 47-53, 1988, Morgan Kaufmann, 0-934613-64-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
19 | G. V. Collis, E. J. Kappos |
Occam as a hardware description language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Eng. J. ![In: Softw. Eng. J. 2(6), pp. 213-219, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
19 | Anselm Blumer, Andrzej Ehrenfeucht, David Haussler, Manfred K. Warmuth |
Occam's Razor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 24(6), pp. 377-380, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
19 | M. Elizabeth C. Hull |
Occam - A Programming Language for Multiprocessor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. ![In: Comput. Lang. 12(1), pp. 27-37, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|