Search results for "Occam"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Russell Wayman	OCCAM 2: an overview from a software engineering perspective.	Microprocess. Microsystems	1987	DBLP DOI BibTeX RDF
19	Robert Glück, Christian Demuth	OC-FP, An applicative language combination with occam and the algebra of processes.	Microprocess. Microprogramming	1987	DBLP DOI BibTeX RDF
19	R. G. Bramley, D. J. Creasey	A real-time image compressor using a modular signal-processing system employing occam and the transputer.	Microprocess. Microprogramming	1987	DBLP DOI BibTeX RDF
19	Michael Goldsmith, A. Cox, Geoff Barrett	An Algebraic Transformation System for Occam Programs.	STACS	1987	DBLP DOI BibTeX RDF
19	A. J. West	Monitoring distributed OCCAM programs.		1987	RDF
19	J. R. Newport	An introduction to Occam and the development of parallel software.	Softw. Eng. J.	1986	DBLP DOI BibTeX RDF
19	P. M. Samwell	Experience with occam for simulating systolic and wavefront arrays.	Softw. Eng. J.	1986	DBLP DOI BibTeX RDF
19	Klaus W. Pleßmann, Charalambos Tassakos	Die Programmiersprache OCCAM.	Angew. Inform.	1986	DBLP BibTeX RDF
19	A. J. Fisher	A Multi-processor Implementation of occam.	Softw. Pract. Exp.	1986	DBLP DOI BibTeX RDF
19	Richard Bornat	A Protocol for Generalized occam.	Softw. Pract. Exp.	1986	DBLP BibTeX RDF
19	Geraint Jones	Programming in occam.		1986	RDF
19	David May 0001, Roger Shepherd, Catherine Keane	Communicating Process Architecture: Transputers and Occam.	Future Parallel Computers	1986	DBLP DOI BibTeX RDF
19	Iann M. Barron	The Transputer and OCCAM(TM) (Invited Paper).	IFIP Congress	1986	DBLP BibTeX RDF
19	Traian Muntean, Michel Riveill	An Extended Occam Model for Timed Parallel Systems: Application to Environmental Robot Programming.	IAS	1986	DBLP BibTeX RDF
19	A. Boucher	A time-based model for OCCAM.		1986	RDF
19	Roy D. Dowsing	Simulating hardware structures in occam.	Softw. Microsystems	1985	DBLP DOI BibTeX RDF
19	Brian Heal	Multiprocessor solution in OCCAM to an NP-complete problem.	Microprocess. Microsystems	1985	DBLP DOI BibTeX RDF
19	Geraint Jones, Michael Goldsmith	Programming in occam 2.		1985	RDF
19	Roy Chapman, Tariq S. Durrani, T. Willey	Design strategies for implementing systolic and wavefront arrays using OCCAM.	ICASSP	1985	DBLP DOI BibTeX RDF
19	Cécile Roisin	Protocol description with the OCCAM language.	PSTV	1985	DBLP BibTeX RDF
19	D. Q. M. Fay	Experiences using Inmos proto-OCCAM (TM).	ACM SIGPLAN Notices	1984	DBLP DOI BibTeX RDF
19	B. Jane Curry	OCCAM solves classical operating system problems.	Microprocess. Microsystems	1984	DBLP DOI BibTeX RDF
19	David May 0001, Richard James Taylor	OCCAM-an overview.	Microprocess. Microsystems	1984	DBLP DOI BibTeX RDF
19	Don Fay	Working with occam: a program for generating display images.	Microprocess. Microsystems	1984	DBLP DOI BibTeX RDF
19	Jon M. Kerridge, Dan Simpson	Three Solutions for a Robot Arm Controller Using Pascal-Plus, occam and Edison.	Softw. Pract. Exp.	1984	DBLP DOI BibTeX RDF
19	David May 0001, Roger Shepherd	The Transputer Implementation of Occam.	FGCS	1984	DBLP BibTeX RDF
19	David May 0001	OCCAM.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
14	Nikolaj Tatti	Probably the best itemsets.	KDD	2010	DBLP DOI BibTeX RDF	bayesian model selection, decomposable models, exponential models, MCMC, junction tree, itemset mining
14	Christian Bessiere, Emmanuel Hebrard, Barry O'Sullivan	Minimising Decision Tree Size as Combinatorial Optimisation.	CP	2009	DBLP DOI BibTeX RDF
14	Willi Sauerbrei, Norbert Holländer, Anika Buchholz	Investigation about a screening step in model selection.	Stat. Comput.	2008	DBLP DOI BibTeX RDF	Model selection uncertainty, Variable screening, Simulation, Bootstrap
14	Javier Civera 0001, Andrew J. Davison, J. M. M. Montiel	Interacting multiple model monocular SLAM.	ICRA	2008	DBLP DOI BibTeX RDF
14	Victor Jauregui, Son Bao Pham	An Imperative Account of Actions.	PRICAI	2008	DBLP DOI BibTeX RDF
14	Jian Yu, Miin-Shen Yang	A Generalized Fuzzy Clustering Regularization Model With Optimality Tests and Model Complexity Analysis.	IEEE Trans. Fuzzy Syst.	2007	DBLP DOI BibTeX RDF
14	Nariankadu D. Shyamalkumar, Kasturi R. Varadarajan	Efficient subspace approximation algorithms.	SODA	2007	DBLP BibTeX RDF
14	Javed I. Khan, Sajid S. Shaikh	A Multi-scenario Reputation Estimation Framework and its Resilience Study against Various forms of Attacks.	Web Intelligence	2007	DBLP DOI BibTeX RDF
14	Mohak Shah	Sample compression bounds for decision trees.	ICML	2007	DBLP DOI BibTeX RDF
14	Nisheeth Shrivastava, Raghuraman Mudumbai, Upamanyu Madhow, Subhash Suri	Target tracking with binary proximity sensors: fundamental limits, minimal descriptions, and algorithms.	SenSys	2006	DBLP DOI BibTeX RDF	binary sensing, sensor networks, distributed algorithms, target tracking, fundamental limits
14	Atul Kanaujia, Dimitris N. Metaxas	Learning Ambiguities Using Bayesian Mixture of Experts.	ICTAI	2006	DBLP DOI BibTeX RDF
14	Pablo A. D. Castro, Fernando J. Von Zuben	Bayesian Learning of Neural Networks by Means of Artificial Immune Systems.	IJCNN	2006	DBLP DOI BibTeX RDF
14	Anant Madabhushi, Jianbo Shi, Michael D. Feldman, Mark Rosen, John Tomaszewski	Comparing Ensembles of Learners: Detecting Prostate Cancer from High Resolution MRI.	CVAMIA	2006	DBLP DOI BibTeX RDF
14	Jiyuan An, Yi-Ping Phoebe Chen	Finding Short Patterns to Classify Text Documents.	Web Intelligence	2006	DBLP DOI BibTeX RDF	rule generation, Document Categorization, breadth-first, depth-first
14	Peter H. Welch, Fred R. M. Barnes, Fiona Polack	Communicating Complex Systems.	ICECCS	2006	DBLP DOI BibTeX RDF
14	Sehoon Yea, William A. Pearlman	Critical encoding rate in combined denoising and compression.	ICIP (3)	2005	DBLP DOI BibTeX RDF
14	Brian Kahne, Aseem Gupta, Peter Wilson, Nikil D. Dutt	An Introduction to the Plasma Language.	MTV	2005	DBLP DOI BibTeX RDF
14	Rana Barua	Completeness of a combination of neighbourhood logic and temporal logic.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Neighbourhood logic, Completeness, Possible world semantics, Interval logic, First-order temporal logic
14	Songbo Tan, Jun Gu	An Efficient Rules Induction Algorithm for Rough Set Classification.	Discovery Science	2004	DBLP DOI BibTeX RDF
14	Elisa Guerrero Vázquez, Joaquín Pizarro Junquera, Andrés Yáñez Escolano, Pedro L. Galindo	A New Penalty-Based Criterion for Model Selection in Regularized Nonlinear Models.	IWANN (1)	2003	DBLP DOI BibTeX RDF
14	Marcus Hutter	On the Existence and Convergence of Computable Universal Priors.	ALT	2003	DBLP DOI BibTeX RDF
14	Tim Todman, Wayne Luk	Real-time Extensions to a C-like Hardware Description Language.	FCCM	2003	DBLP DOI BibTeX RDF
14	Jian Yu	General c-Means Clustering Model and Its Application.	CVPR (2)	2003	DBLP DOI BibTeX RDF
14	Alain Biem	A Model Selection Criterion for Classification: Application to HMM Topology Optimization.	ICDAR	2003	DBLP DOI BibTeX RDF
14	Benson Limketkai, Rahul Biswas, Sebastian Thrun	Learning Occupancy Grids of Non-Stationary Objects with Mobile Robots.	ISER	2002	DBLP DOI BibTeX RDF
14	Peter H. Welch, Jo R. Aldous, Jon Foster	CSP Networking for Java (JCSP.net).	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF
14	Jürgen Schmidhuber	The Speed Prior: A New Simplicity Measure Yielding Near-Optimal Computable Predictions.	COLT	2002	DBLP DOI BibTeX RDF
14	Jim Woodcock 0001, Ana Cavalcanti 0001	The Steam Boiler in a Unified Theory of Z and CSP.	APSEC	2001	DBLP DOI BibTeX RDF
14	Markus Weinhardt, Wayne Luk	Task-Parallel Programming of Reconfigurable Systems.	FPL	2001	DBLP DOI BibTeX RDF
14	Judith Ellen Devaney	The Role of Choice in Discovery.	Discovery Science	2000	DBLP DOI BibTeX RDF
14	Egon Börger, Alessandra Cavarra, Elvinia Riccobene	An ASM Semantics for UML Activity Diagrams.	AMAST	2000	DBLP DOI BibTeX RDF
14	David Tugwell	Towards a Dynamic Syntax for Language Modelling.	TSD	2000	DBLP DOI BibTeX RDF
14	Michael Schenke, Ernst-Rüdiger Olderog	Transformational Design of Real-Time Systems Part I: From Requirements to Program Specifications.	Acta Informatica	1999	DBLP DOI BibTeX RDF
14	Michael Schenke	Transformational Design of Real-Time Systems. Part II: From Program Specifications to Programs.	Acta Informatica	1999	DBLP DOI BibTeX RDF
14	David May 0001, Henk L. Muller	Using Channels for Multimedia Communication.	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
14	Marek A. Perkowski, Alan Mishchenko, Anatoli N. Chebotarev	Evolvable Hardware or Learning Hardware? Induction of State Machines from Temporal Logic Constraints.	Evolvable Hardware	1999	DBLP DOI BibTeX RDF
14	Henk L. Muller, David May 0001	A Simple Protocol to Communicate Channels over Channels.	Euro-Par	1998	DBLP DOI BibTeX RDF
14	Robin P. Glover, Peter K. Sharpe	Efficient GA Based Techniques for Automating the Design of Classification Models.	IDA	1997	DBLP DOI BibTeX RDF
14	Mordechai Ben-Ari	Using inheritance to implement concurrency.	SIGCSE	1996	DBLP DOI BibTeX RDF	object-oriented programming, concurrent programming
14	François Denis, Cyrille D'Halluin, Rémi Gilleron	PAC Learning with Simple Examples.	STACS	1996	DBLP DOI BibTeX RDF
14	Mark d'Inverno, George R. Ribeiro-Justo, Paul Howells	A Formal Framework for Specifying Design Methods.	HICSS (1)	1996	DBLP DOI BibTeX RDF
14	André Bakkers, Johan Sunter, Evert Ploeg	Automatic Generation of Scheduling and Communication Code in Real-Time Parallel Programs.	Workshop on Languages, Compilers, & Tools for Real-Time Systems	1995	DBLP DOI BibTeX RDF
14	Peter T. Breuer, Jonathan P. Bowen	Decompilation: The Enumeration of Types and Grammars.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	list comprehension, reverse engineering, logic programming, functional programming, abstract interpretation, attribute grammar, decompilation
14	C. A. R. Hoare, Ian Page	Hardware and Software: The Closing Gap.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
14	Gérard Berry, S. Ramesh 0001, R. K. Shyamasundar	Communicating Reactive Processes.	POPL	1993	DBLP DOI BibTeX RDF	CSP, CSP
14	Alan Jones, Andrew Hopper	Handling Audio and Video Streams in a Distributed Environment.	SOSP	1993	DBLP DOI BibTeX RDF
14	Jesper Larsson Träff	Precis: Distributed Shortest Path Algorithms.	PARLE	1993	DBLP DOI BibTeX RDF
14	Stephan Rössig, Michael Schenke	Specification and Stepwise Development of Communicating Systems.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
14	Jozef Hooman	Compositional Verification of Real-Time Systems using Extended Hoare Triples.	REX Workshop	1991	DBLP DOI BibTeX RDF	Hoare triples, Verification, Real-time, Specification, Compositionality
14	Jozef Hooman	A Denotional Real-Time Semantics for Shared Processes.	PARLE (2)	1991	DBLP DOI BibTeX RDF
14	Ernst-Rüdiger Olderog	Towards a Design Calculus for Communicationg Programs.	CONCUR	1991	DBLP DOI BibTeX RDF
14	Germán S. Goldszmidt, Shaula Yemini, Shmuel Katz	High-Level Language Debugging for Concurrent Programs.	ACM Trans. Comput. Syst.	1990	DBLP DOI BibTeX RDF	temporal logic, portability, distributed debugging, language independence
14	Jonathan P. Bowen, Jifeng He 0001, Paritosh K. Pandya	An Approach to Verifiable Compiling Specification and Prototyping.	PLILP	1990	DBLP DOI BibTeX RDF
14	Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo	Graph-based Implementation of a Functional Logic Langugage.	ESOP	1990	DBLP DOI BibTeX RDF
14	Egon Börger	A Logical Operational Semantics of Full Prolog, Part II: Built-in Predicates for Database Manipulation.	MFCS	1990	DBLP DOI BibTeX RDF
14	Gordon Davies	Developments in Pascal-FC.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF	Ada, Pascal
14	Ryszard Janicki, Tomasz Müldner	Complete Sequential Specification Allows for Concurrent Execution.	ACM Conference on Computer Science	1989	DBLP DOI BibTeX RDF
14	Rita Loogen, Herbert Kuchen, Klaus Indermark, Werner Damm	Distributed Implementation of Programmed Graph Reduction.	PARLE (1)	1989	DBLP DOI BibTeX RDF
14	Jozef Hooman, Jennifer Widom	A Temporal-Logic Based Compositional Proof System for Real-Time Message Passing.	PARLE (2)	1989	DBLP DOI BibTeX RDF
14	Alan Burns 0001, Gordon Davies, Andy J. Wellings	A Modula-2 implementation of a real-time process abstraction.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Modula-2
14	John H. Reppy	Synchronous Operations as First-Class Values.	PLDI	1988	DBLP DOI BibTeX RDF	C++, Pegasus
14	Cornelis Huizing, Rob Gerth, Willem P. de Roever	Modeling Statecharts Behaviour in a Fully Abstract Way.	CAAP	1988	DBLP DOI BibTeX RDF
14	Germán S. Goldszmidt, Shmuel Katz, Shaula Yemini	Interactive Blackbox Debugging for Concurrent Languages.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
14	Roger Olmstead	Compilers and parallel architectures (abstract only): sequential to parallel mapping strategies.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
14	Dirk Taubner	On the Implementation of Petri Nets.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
14	Oliver Vornberger	Load Balancing in a Network of Transputers.	WDAG	1987	DBLP DOI BibTeX RDF
14	Jozef Hooman	A Compositional Proof Theory for Real-Time Distributed Message Passing.	PARLE (2)	1987	DBLP DOI BibTeX RDF
14	David J. Pritchard, C. R. Askew, D. B. Carpenter, Ian Glendinning, Anthony J. G. Hey, Denis A. Nicole	Practical Parallelism using Transputer Arrays.	PARLE (1)	1987	DBLP DOI BibTeX RDF
14	Peter H. Welch	Emulating Digital Logic using Transputer Networks (very High Parallelism = Simplicity = Performance).	PARLE (1)	1987	DBLP DOI BibTeX RDF
14	D. L. McBurney, M. Ronan Sleep	Transputer-Based Experiments with the ZAPP Architecture.	PARLE (1)	1987	DBLP DOI BibTeX RDF
14	Matthew Hennessy	Communication Primitives in Programming and Specification Languages.	Networking in Open Systems	1986	DBLP DOI BibTeX RDF
14	Norman Hardy	Nested Scopes in Pascal and Algol 68.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF