Search results for "Occam"

Hits ?▲	Authors	Title	Venue	Year	Link
19	D. G. Patrick, P. R. Green, Trevor A. York	OCCAM- and C-Based Multiprocessor Environments for UNIX Cluster.	Comput. J.	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.	PDP	1997	DBLP BibTeX RDF
19	Carlos Domingo, Tatsuie Tsukiji, Osamu Watanabe 0001	Partial Occam's Razor and Its Applications.	ALT	1997	DBLP DOI BibTeX RDF
19	Geoffrey I. Webb	Further Experimental Evidence against the Utility of Occam's Razor.	J. Artif. Intell. Res.	1996	DBLP DOI BibTeX RDF
19	Geoffrey I. Webb	Further Experimental Evidence against the Utility of Occam's Razor	CoRR	1996	DBLP BibTeX RDF
19	Egon Börger, Igor Durdanovic	Correctness of Compiling Occam to Transputer Code.	Comput. J.	1996	DBLP DOI BibTeX RDF
19	Balas K. Natarajan, Konstantinos Konstantinides, Cormac Herley	Occam filters for stochastic sources with application to digital images.	ICIP (1)	1996	DBLP DOI BibTeX RDF
19	Winfried Hahn, Andreas Hagerer, B. Wagner	UDL/I and OCCAM: Simulation Languages for Rapid-Prototyping of Digital Systems.	ESM	1996	DBLP BibTeX RDF
19	Renata Spencer, Augusto Sampaio	De occam para o transputer: compilação via reescrita de termos.	SBES	1996	DBLP DOI BibTeX RDF
19	Kevin J. Vella	CSP/Occam on Networks of Workstations.	UK Parallel	1996	DBLP DOI BibTeX RDF
19	Dave J. Beckett, Peter Welch	A Strict occam Design Tool.	UK Parallel	1996	DBLP DOI BibTeX RDF
19	Lawrence J. Dickson	Occam Road Map for the DOS PC.	PDPTA	1996	DBLP BibTeX RDF
19	S. Vedat Demiralp	Configuring Distributed Occam Programs Using Doc.	PDPTA	1996	DBLP BibTeX RDF
19	I. M. Ikram	An occam Library for Genetic Programming on Transputer Networks.	PDPTA	1996	DBLP BibTeX RDF
19	Elena Trichina	From functional equations to Occam programs: systolizing compilation.	PACT	1995	DBLP BibTeX RDF
19	L. Wooley, A. Battersby	Distributed Occam Processes on a Sun Network.	PDPTA	1995	DBLP BibTeX RDF
19	Otmane Aït Mohamed, Abdelillah Mokkedem	On Formal Verification of Occam Programs.	PDPTA	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.	J. Artif. Intell. Res.	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.	CoRR	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.	J. Syst. Softw.	1994	DBLP DOI BibTeX RDF
19	Rafail E. Krichevsky	Occam's Razor, Partially Specified Boolean Functions, String Matching, and Independent Sets	Inf. Comput.	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.	HPCN	1994	DBLP DOI BibTeX RDF
19	Egon Börger, Igor Durdanovic, Dean Rosenzweig	Occam: Specification and Compiler Correctness - Part I: The Primary Model.	PROCOMET	1994	DBLP BibTeX RDF
19	B. K. Natarajan	Sharper Bounds on Occam Filters with Application to Digital Video.	Data Compression Conference	1994	DBLP DOI BibTeX RDF
19	Elena Trichina	Development of Occam Programs by Stepwise Transformation of Affine Recurrence Equations.	Parcella	1994	DBLP BibTeX RDF
19	Byoung-Tak Zhang, Heinz Mühlenbein	Evolving Optimal Neural Networks Using Genetic Algorithms with Occam's Razor.	Complex Syst.	1993	DBLP BibTeX RDF
19	Domenico Talia	Distributed termination of concurrent processes in Occam.	Comput. Lang.	1993	DBLP DOI BibTeX RDF
19	Yasubumi Sakakibara	Noise-Tolerant Occam Algorithms and Their Applications to Learning Decision Trees.	Mach. Learn.	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.	Microprocess. Microprogramming	1993	DBLP DOI BibTeX RDF
19	Aniello Cimitile, Ugo de Carlini, Umberto Villano	Replay-Based Debugging of Occam Programs.	Softw. Test. Verification Reliab.	1993	DBLP DOI BibTeX RDF
19	Haim Schweitzer	Occam algorithms for computing visual motion.	ICCV	1993	DBLP DOI BibTeX RDF
19	Byoung-Tak Zhang, Heinz Mühlenbein	Genetic Programming of Minimal Neural Nets Using Occam's Razor.	ICGA	1993	DBLP BibTeX RDF
19	F. Breant, Jean-François Peyre	OCCAM Prototyping of Massively Parallel Applications from Colored Petri-Nets.	IPPS	1993	DBLP DOI BibTeX RDF
19	Jifeng He 0001, Ian Page, Jonathan P. Bowen	Towards a Provably Correct Hardware Implementation of Occam.	CHARME	1993	DBLP DOI BibTeX RDF
19	Robert Glück, Andrei V. Klimov	Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree.	WSA	1993	DBLP DOI BibTeX RDF
19	B. K. Natarajan	Occam's Razor for Functions.	COLT	1993	DBLP DOI BibTeX RDF
19	Bamba Ibrahim Lokpo, Gérard Padiou	Reusability in the Occam Language.	Struct. Program.	1992	DBLP BibTeX RDF
19	Raymond A. Board, Leonard Pitt	On the Necessity of Occam Algorithms.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
19	Yen-Chun Lin, Yu-Ho Cheng	Automatic Generation of Parallel Occam Programs for Transputer Rings.	J. Parallel Distributed Comput.	1992	DBLP DOI BibTeX RDF
19	Flemming Nielson, Hanne Riis Nielson	Forced transformation of Occam programs.	Inf. Softw. Technol.	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.	Softw. Pract. Exp.	1992	DBLP DOI BibTeX RDF
19	Hong Shen	Occam implementation of process-to-processor mapping on the Hathi-2 transputer system.	Microprocess. Microprogramming	1992	DBLP DOI BibTeX RDF
19	Volker Penner	Parallelität und Transputer - von den Grundlagen zur Anwendung ; Occam und Transputer, Concurrent, Prolog, Linda.		1992	RDF
19	Richard P. Hopkins, Jon G. Hall, Oliver Botti	A basic-net algebra for program semantics and its application to OCCAM.	Advances in Petri Nets: The DEMON Project	1992	DBLP DOI BibTeX RDF
19	Colin Willcock	A parallel X window server : (a case study on occam and programming-in-the-large).		1992	RDF
19	C. A. R. Hoare	The transputer and occam: A personal story.	Concurr. Pract. Exp.	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.	Microprocess. Microsystems	1991	DBLP DOI BibTeX RDF
19	Yen-Chun Lin	Translating from FP to Occam for systolic algorithms.	Microprocess. Microsystems	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.	Microprocess. Microsystems	1991	DBLP DOI BibTeX RDF
19	Stephen P. Van Trees, Ophir Frieder	On the specification and implementation of X.25 using CSP and OCCAM.	Microprocessing and Microprogramming	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.	Microprocessing and Microprogramming	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.	PNPM	1991	DBLP DOI BibTeX RDF
19	Oliver Botti, Fiorella de Cindio	From Basic to Timed Net Models of Occam: An Application to Program Placement.	PNPM	1991	DBLP DOI BibTeX RDF
19	Eiji Takimoto, Akira Maruoka	Relationships between PAC-learning algorithms and weak Occam algorithms.	ALT	1991	DBLP BibTeX RDF
19	Matthew M. Huntbach	Automated Translation of Occam to a Concurrent Logic Language.	LOPSTR	1991	DBLP DOI BibTeX RDF
19	Ulrich Arzt, Daniela Merziger, Lothar Thiele	Rekursive Prozeduraufrufe in VLSI-Occam.	Transputer-Anwender-Treffen	1991	DBLP BibTeX RDF
19	Andrew E. Love Jr, Maurice F. Aburdene	Simulation of distributed algorithms using OCCAM.	Simul.	1990	DBLP DOI BibTeX RDF
19	Dick Knowles	Mapping a Mascot 3 design into Occam.	Softw. Eng. J.	1990	DBLP DOI BibTeX RDF
19	David H. Wolpert	The Relationship Between Occam's Razor and Convergent Guessing.	Complex Syst.	1990	DBLP BibTeX RDF
19	Alan E. Knowles	Concurrent programming in Occam 2: Wexler, J Ellis Horwood, Chichester, UK (1989) £29.95 pp 208.	Microprocess. Microsystems	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.	Comput. Syst. Sci. Eng.	1990	DBLP BibTeX RDF
19	Hong Shen	Occam implementation of path-disjoint routing on the Hathi-2 transputer system.	Microprocessing and Microprogramming	1990	DBLP DOI BibTeX RDF
19	Miroslaw Szturmowicz, Marek Tudruj	A multi-layer transputer network for efficient parallel execution of OCCAM programs.	Microprocessing and Microprogramming	1990	DBLP DOI BibTeX RDF
19	Valmir C. Barbosa, Maria Cristina Silva Boeres	An Occam-based evaluation of a parallel version of simulated annealing.	Microprocessing and Microprogramming	1990	DBLP DOI BibTeX RDF
19	François Breant	TAPIOCA: OCCAM rapid prototyping from Petri-net.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
19	Achim G. Hoffmann	The Computational Complexity of Occam's Razor.	GWAI	1990	DBLP DOI BibTeX RDF
19	Yasubumi Sakakibara	Occam Algorithms for Learning From Noisy Examples.	ALT	1990	DBLP BibTeX RDF
19	Yuri P. Serdyuk	Occam Based Neural Network Description Language.	AIMSA	1990	DBLP BibTeX RDF
19	Raymond A. Board, Leonard Pitt	On the Necessity of Occam Algorithms	STOC	1990	DBLP DOI BibTeX RDF
19	Thomas Seifert, Ewald Speckenmeyer	Spezifikation einer Sprache zur Simulation von PRAM-Modellen und ihre Übersetzung nach OCCAM.	Transputer-Anwender-Treffen	1990	DBLP DOI BibTeX RDF
19	Rui Ralha	Parallel computation of eigenvalues and eigenvectors using Occam and transputers.		1990	RDF
19	Juanito Camilleri	An operational semantics for occam.	Int. J. Parallel Program.	1989	DBLP DOI BibTeX RDF
19	Ian Thomas	Support system for occam objects on transputers.	Microprocess. Microsystems	1989	DBLP DOI BibTeX RDF
19	Patricia Samwell	Programming in OCCAM 2: Burns, A Addison-Wesley, Wokingham, UK (1988) £15.95 pp 202.	Microprocess. Microsystems	1989	DBLP DOI BibTeX RDF
19	Paolo Corsini, Graziano Frosini, Luigi Rizzo	Implementing a parallel PROLOG interpreter by using OCCAM and transputers.	Microprocess. Microsystems	1989	DBLP DOI BibTeX RDF
19	G. A. Wilson	Generic Parameters in occam.	Softw. Pract. Exp.	1989	DBLP DOI BibTeX RDF
19	G. A. Wilson	Comparative Timings of Three Different Set Implementations in Occam.	Softw. Pract. Exp.	1989	DBLP DOI BibTeX RDF
19	M. Elizabeth C. Hull, Adib Zarea-Aliabadi	Real-time system implementation - The transputer and occam alternative.	Microprocessing and Microprogramming	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.	Microprocessing and Microprogramming	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.	Microprocess. Microprogramming	1989	DBLP DOI BibTeX RDF
19	Herbert Kuchen	Parallele Implementierung einer funktionalen Programmiersprache auf einem OCCAM-Transputer-System unter besonderer Berücksichtigung applikativer Datenstrukturen.		1989	RDF
19	Ian Charles Herbert Thomas	OCCAM objects.		1989	RDF
19	L. A. Crutcher, M. H. Barton	Implementing SDL in occam.	Softw. Eng. J.	1988	DBLP DOI BibTeX RDF
19	A. W. Roscoe 0001, C. A. R. Hoare	The Laws of Occam Programming.	Theor. Comput. Sci.	1988	DBLP DOI BibTeX RDF
19	A. J. Fisher	A Critique of Occam Channel Types.	Comput. Lang.	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.	Microprocess. Microsystems	1988	DBLP DOI BibTeX RDF
19	Chris R. Jesshope	Transputers and switches as objects in OCCAM.	Parallel Comput.	1988	DBLP DOI BibTeX RDF
19	Volker Hüsken	Occam - Das aktuelle Schlagwort.	Inform. Spektrum	1988	DBLP BibTeX RDF
19	R. E. M. Cooper, G. Jones	A Microprogrammed occam Interpreter for the HLH Orion.	Softw. Pract. Exp.	1988	DBLP DOI BibTeX RDF
19	H. Zedan	On the analysis of occam real-time distributed computations.	Microprocess. Microprogramming	1988	DBLP DOI BibTeX RDF
19	Gert Van Der Jeugt, Erik F. Dirkx, Jacques Tiberghien	Protocol description and simulation in the OCCAM programming language.	Microprocess. Microprogramming	1988	DBLP DOI BibTeX RDF
19	H. Zedan	Achieving atomicity in occam.	Microprocess. Microprogramming	1988	DBLP DOI BibTeX RDF
19	Alan Chalmers	OCCAM - The language for educating future parallel programmers?	Microprocess. Microprogramming	1988	DBLP DOI BibTeX RDF
19		Occam 2 - reference manual ; INMOS Limited.		1988	RDF
19	Peter H. Welch	An OCCAM approach to transputer engineering.	C³P	1988	DBLP DOI BibTeX RDF
19	Michael J. Pazzani	Integrating Explanation-Based and Empirical Learning Methods in OCCAM.	EWSL	1988	DBLP BibTeX RDF
19	Jakub Segen	Conceptual Clumping of Binary Vectors with Occam's Razor.	ML	1988	DBLP BibTeX RDF
19	G. V. Collis, E. J. Kappos	Occam as a hardware description language.	Softw. Eng. J.	1987	DBLP DOI BibTeX RDF
19	Anselm Blumer, Andrzej Ehrenfeucht, David Haussler, Manfred K. Warmuth	Occam's Razor.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
19	M. Elizabeth C. Hull	Occam - A Programming Language for Multiprocessor Systems.	Comput. Lang.	1987	DBLP DOI BibTeX RDF