Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Russell Wayman |
OCCAM 2: an overview from a software engineering perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 11(8), pp. 413-422, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
19 | Robert Glück, Christian Demuth |
OC-FP, An applicative language combination with occam and the algebra of processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microprogramming ![In: Microprocess. Microprogramming 21(1-5), pp. 549-557, 1987. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microprogramming ![In: Microprocess. Microprogramming 21(1-5), pp. 49-55, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
19 | Michael Goldsmith, A. Cox, Geoff Barrett |
An Algebraic Transformation System for Occam Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings, pp. 481, 1987, Springer, 3-540-17219-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
19 | A. J. West |
Monitoring distributed OCCAM programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1987 |
RDF |
|
19 | J. R. Newport |
An introduction to Occam and the development of parallel software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Eng. J. ![In: Softw. Eng. J. 1(4), pp. 165-169, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
19 | P. M. Samwell |
Experience with occam for simulating systolic and wavefront arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Eng. J. ![In: Softw. Eng. J. 1(5), pp. 204-, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
19 | Klaus W. Pleßmann, Charalambos Tassakos |
Die Programmiersprache OCCAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Angew. Inform. ![In: Angew. Inform. 28(9), pp. 389-399, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
19 | A. J. Fisher |
A Multi-processor Implementation of occam. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 16(10), pp. 875-892, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
19 | Richard Bornat |
A Protocol for Generalized occam. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 16(9), pp. 783-799, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
19 | Geraint Jones |
Programming in occam. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1986 |
RDF |
|
19 | David May 0001, Roger Shepherd, Catherine Keane |
Communicating Process Architecture: Transputers and Occam. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Parallel Computers ![In: Future Parallel Computers, An Advanced Course, Pisa, Italy, June 9-20, 1986, Proceedings, pp. 35-81, 1986, Springer, 3-540-18203-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
19 | Iann M. Barron |
The Transputer and OCCAM(TM) (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Congress ![In: Information Processing 86, Proceedings of the IFIP 10th World Computer Congress, Dublin, Ireland, September 1-5, 1986., pp. 259-266, 1986, North-Holland/IFIP, 0-444-70077-3. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
19 | Traian Muntean, Michel Riveill |
An Extended Occam Model for Timed Parallel Systems: Application to Environmental Robot Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAS ![In: Intelligent Autonomous Systems, An International Conference, Amsterdam, The Netherlands, 8-11 December 1986, pp. 470-476, 1986, North-Holland, 0-444-70168-0. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
19 | A. Boucher |
A time-based model for OCCAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1986 |
RDF |
|
19 | Roy D. Dowsing |
Simulating hardware structures in occam. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Microsystems ![In: Softw. Microsystems 4(4), pp. 77-84, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
19 | Brian Heal |
Multiprocessor solution in OCCAM to an NP-complete problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 9(4), pp. 162-170, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
19 | Geraint Jones, Michael Goldsmith |
Programming in occam 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1985 |
RDF |
|
19 | Roy Chapman, Tariq S. Durrani, T. Willey |
Design strategies for implementing systolic and wavefront arrays using OCCAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP '85, Tampa, Florida, USA, March 26-29, 1985, pp. 292-295, 1985, IEEE. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
19 | Cécile Roisin |
Protocol description with the OCCAM language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985, pp. 235-246, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
19 | D. Q. M. Fay |
Experiences using Inmos proto-OCCAM (TM). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 19(9), pp. 5-11, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
19 | B. Jane Curry |
OCCAM solves classical operating system problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 8(6), pp. 280-283, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
19 | David May 0001, Richard James Taylor |
OCCAM-an overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 8(2), pp. 73-79, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
19 | Don Fay |
Working with occam: a program for generating display images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 8(1), pp. 3-15, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
19 | Jon M. Kerridge, Dan Simpson |
Three Solutions for a Robot Arm Controller Using Pascal-Plus, occam and Edison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 14(1), pp. 3-15, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
19 | David May 0001, Roger Shepherd |
The Transputer Implementation of Occam. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 533-541, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
19 | David May 0001 |
OCCAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 18(4), pp. 69-79, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
14 | Nikolaj Tatti |
Probably the best itemsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, July 25-28, 2010, pp. 293-302, 2010, ACM, 978-1-4503-0055-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings, pp. 173-187, 2009, Springer, 978-3-642-04243-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Willi Sauerbrei, Norbert Holländer, Anika Buchholz |
Investigation about a screening step in model selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 18(2), pp. 195-208, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA, pp. 3704-3709, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Victor Jauregui, Son Bao Pham |
An Imperative Account of Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2008: Trends in Artificial Intelligence, 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings, pp. 718-727, 2008, Springer, 978-3-540-89196-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Jian Yu, Miin-Shen Yang |
A Generalized Fuzzy Clustering Regularization Model With Optimality Tests and Model Complexity Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 15(5), pp. 904-915, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Nariankadu D. Shyamalkumar, Kasturi R. Varadarajan |
Efficient subspace approximation algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2007, New Orleans, Louisiana, USA, January 7-9, 2007, pp. 532-540, 2007, SIAM, 978-0-898716-24-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2007 IEEE / WIC / ACM International Conference on Web Intelligence, WI 2007, 2-5 November 2007, Silicon Valley, CA, USA, Main Conference Proceedings, pp. 676-682, 2007, IEEE Computer Society, 0-7695-3026-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Mohak Shah |
Sample compression bounds for decision trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Machine Learning, Proceedings of the Twenty-Fourth International Conference (ICML 2007), Corvallis, Oregon, USA, June 20-24, 2007, pp. 799-806, 2007, ACM, 978-1-59593-793-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SenSys ![In: Proceedings of the 4th International Conference on Embedded Networked Sensor Systems, SenSys 2006, Boulder, Colorado, USA, October 31 - November 3, 2006, pp. 251-264, 2006, ACM, 1-59593-343-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 13-15 November 2006, Arlington, VA, USA, pp. 436-440, 2006, IEEE Computer Society, 0-7695-2728-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2006, part of the IEEE World Congress on Computational Intelligence, WCCI 2006, Vancouver, BC, Canada, 16-21 July 2006, pp. 4831-4838, 2006, IEEE, 0-7803-9490-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVAMIA ![In: Computer Vision Approaches to Medical Image Analysis, Second International ECCV Workshop, CVAMIA 2006, Graz, Austria, May 12, 2006 Revised Papers, pp. 25-36, 2006, Springer, 3-540-46257-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Jiyuan An, Yi-Ping Phoebe Chen |
Finding Short Patterns to Classify Text Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 18-22 December 2006, Hong Kong, China, pp. 293-296, 2006, IEEE Computer Society, 0-7695-2747-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA, pp. 107-120, 2006, IEEE Computer Society, 0-7695-2530-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Sehoon Yea, William A. Pearlman |
Critical encoding rate in combined denoising and compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (3) ![In: Proceedings of the 2005 International Conference on Image Processing, ICIP 2005, Genoa, Italy, September 11-14, 2005, pp. 341-344, 2005, IEEE, 0-7803-9134-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Brian Kahne, Aseem Gupta, Peter Wilson, Nikil D. Dutt |
An Introduction to the Plasma Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: Sixth International Workshop on Microprocessor Test and Verification (MTV 2005), Common Challenges and Solutions, 3-4 November 2005, Austin, Texas, USA, pp. 12-22, 2005, IEEE Computer Society, 0-7695-2627-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Rana Barua |
Completeness of a combination of neighbourhood logic and temporal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 16(2), pp. 96-103, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, 7th International Conference, DS 2004, Padova, Italy, October 2-5, 2004, Proceedings, pp. 330-337, 2004, Springer, 3-540-23357-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Artificial Neural Nets Problem Solving Methods, 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN2003, Maó, Menorca, Spain, June 3-6, 2003 Proceedings, Part I, pp. 374-381, 2003, Springer, 3-540-40210-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Marcus Hutter |
On the Existence and Convergence of Computable Universal Priors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 14th International Conference, ALT 2003, Sapporo, Japan, October 17-19, 2003, Proceedings, pp. 298-312, 2003, Springer, 3-540-20291-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Tim Todman, Wayne Luk |
Real-time Extensions to a C-like Hardware Description Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 11th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2003), 8-11 April 2003, Napa, CA, USA, Proceedings, pp. 302-304, 2003, IEEE Computer Society, 0-7695-1979-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Jian Yu |
General c-Means Clustering Model and Its Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR (2) ![In: 2003 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2003), 16-22 June 2003, Madison, WI, USA, pp. 122-127, 2003, IEEE Computer Society, 0-7695-1900-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Alain Biem |
A Model Selection Criterion for Classification: Application to HMM Topology Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 7th International Conference on Document Analysis and Recognition (ICDAR 2003), 2-Volume Set, 3-6 August 2003, Edinburgh, Scotland, UK, pp. 104-108, 2003, IEEE Computer Society, 0-7695-1960-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Benson Limketkai, Rahul Biswas, Sebastian Thrun |
Learning Occupancy Grids of Non-Stationary Objects with Mobile Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISER ![In: Experimental Robotics VIII [ISER 2002, Sant'Angelo d'Ischia, Italy, 8-11 July 2002], pp. 222-231, 2002, Springer, 978-3-540-00305-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Peter H. Welch, Jo R. Aldous, Jon Foster |
CSP Networking for Java (JCSP.net). ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2002, International Conference, Amsterdam, The Netherlands, April 21-24, 2002. Proceedings, Part II, pp. 695-708, 2002, Springer, 3-540-43593-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Jürgen Schmidhuber |
The Speed Prior: A New Simplicity Measure Yielding Near-Optimal Computable Predictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLT ![In: Computational Learning Theory, 15th Annual Conference on Computational Learning Theory, COLT 2002, Sydney, Australia, July 8-10, 2002, Proceedings, pp. 216-228, 2002, Springer, 3-540-43836-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Jim Woodcock 0001, Ana Cavalcanti 0001 |
The Steam Boiler in a Unified Theory of Z and CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China, pp. 291-298, 2001, IEEE Computer Society, 0-7695-1408-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Markus Weinhardt, Wayne Luk |
Task-Parallel Programming of Reconfigurable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field-Programmable Logic and Applications, 11th International Conference, FPL 2001, Belfast, Northern Ireland, UK, August 27-29, 2001, Proceedings, pp. 172-181, 2001, Springer, 3-540-42499-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Judith Ellen Devaney |
The Role of Choice in Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, Third International Conference, DS 2000, Kyoto, Japan, December 4-6, 2000, Proceedings, pp. 247-251, 2000, Springer, 3-540-41352-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Egon Börger, Alessandra Cavarra, Elvinia Riccobene |
An ASM Semantics for UML Activity Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, pp. 293-308, 2000, Springer, 3-540-67530-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | David Tugwell |
Towards a Dynamic Syntax for Language Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TSD ![In: Text, Speech and Dialogue - Third International Workshop, TSD 2000, Brno, Czech Republic, September 13-16, 2000, Proceedings, pp. 33-38, 2000, Springer, 3-540-41042-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 36(1), pp. 1-65, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Michael Schenke |
Transformational Design of Real-Time Systems. Part II: From Program Specifications to Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 36(1), pp. 67-96, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | David May 0001, Henk L. Muller |
Using Channels for Multimedia Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS/SPDP ![In: 13th International Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS / SPDP '99), 12-16 April 1999, San Juan, Puerto Rico, Proceedings, pp. 93-98, 1999, IEEE Computer Society, 0-7695-0143-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Evolvable Hardware ![In: 1st NASA / DoD Workshop on Evolvable Hardware (EH '99), July 19-21, 1999, Pasadena, CA, USA, pp. 129-138, 1999, IEEE Computer Society, 0-7695-0256-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Henk L. Muller, David May 0001 |
A Simple Protocol to Communicate Channels over Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '98 Parallel Processing, 4th International Euro-Par Conference, Southampton, UK, September 1-4, 1998, Proceedings, pp. 591-600, 1998, Springer, 3-540-64952-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Robin P. Glover, Peter K. Sharpe |
Efficient GA Based Techniques for Automating the Design of Classification Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDA ![In: Advances in Intelligent Data Analysis, Reasoning about Data, Second International Symposium, IDA-97, London, UK, August 4-6, 1997, Proceedings, pp. 149-160, 1997, Springer, 3-540-63346-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Mordechai Ben-Ari |
Using inheritance to implement concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 27th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1996, Philadelphia, Pennsylvania, USA, February 15-17, 1996, pp. 180-184, 1996, ACM, 0-89791-757-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 96, 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996, Proceedings, pp. 231-242, 1996, Springer, 3-540-60922-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Mark d'Inverno, George R. Ribeiro-Justo, Paul Howells |
A Formal Framework for Specifying Design Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 29th Annual Hawaii International Conference on System Sciences (HICSS-29), January 3-6, 1996, Maui, Hawaii, USA, pp. 741-, 1996, IEEE Computer Society, 0-8186-7324-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
14 | André Bakkers, Johan Sunter, Evert Ploeg |
Automatic Generation of Scheduling and Communication Code in Real-Time Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Languages, Compilers, & Tools for Real-Time Systems ![In: Proceedings of the ACM SIGPLAN 1995 Workshop on Languages, Compilers, & Tools for Real-Time Systems (LCT-RTS 1995). La Jolla, California, USA, June 21-22, 1995, pp. 134-145, 1995, ACM. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
14 | Peter T. Breuer, Jonathan P. Bowen |
Decompilation: The Enumeration of Types and Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(5), pp. 1613-1647, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Languages and System Architectures ![In: Programming Languages and System Architectures, International Conference, Zurich, Switzerland, March 2-4, 1994, Proceedings, pp. 49-68, 1994, Springer, 3-540-57840-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Gérard Berry, S. Ramesh 0001, R. K. Shyamasundar |
Communicating Reactive Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, USA, January 1993, pp. 85-98, 1993, ACM Press, 0-89791-560-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
CSP, CSP |
14 | Alan Jones, Andrew Hopper |
Handling Audio and Video Streams in a Distributed Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the Fourteenth ACM Symposium on Operating System Principles, SOSP 1993, The Grove Park Inn and Country Club, Asheville, North Carolina, USA, December 5-8, 1993, pp. 231-243, 1993, ACM, 0-89791-632-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Jesper Larsson Träff |
Precis: Distributed Shortest Path Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE ![In: PARLE '93, Parallel Architectures and Languages Europe, 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, Proceedings, pp. 720-723, 1993, Springer, 3-540-56891-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Stephan Rössig, Michael Schenke |
Specification and Stepwise Development of Communicating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe (1) ![In: VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions, pp. 149-163, 1991, Springer, 3-540-54834-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Jozef Hooman |
Compositional Verification of Real-Time Systems using Extended Hoare Triples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings, pp. 252-290, 1991, Springer, 3-540-55564-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Hoare triples, Verification, Real-time, Specification, Compositionality |
14 | Jozef Hooman |
A Denotional Real-Time Semantics for Shared Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (2) ![In: PARLE '91: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings, pp. 184-201, 1991, Springer, 3-540-54152-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Ernst-Rüdiger Olderog |
Towards a Design Calculus for Communicationg Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings, pp. 61-77, 1991, Springer, 3-540-54430-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Germán S. Goldszmidt, Shaula Yemini, Shmuel Katz |
High-Level Language Debugging for Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 8(4), pp. 311-336, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings, pp. 45-59, 1990, Springer, 3-540-53010-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings, pp. 271-290, 1990, Springer, 3-540-52592-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Egon Börger |
A Logical Operational Semantics of Full Prolog, Part II: Built-in Predicates for Database Manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1990, MFCS'90, Banská Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings, pp. 1-14, 1990, Springer, 3-540-52953-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Gordon Davies |
Developments in Pascal-FC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 24(6), pp. 69-76, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Ada, Pascal |
14 | Ryszard Janicki, Tomasz Müldner |
Complete Sequential Specification Allows for Concurrent Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Computer Trends in the 1990s - Proceedings of the 1989 ACM 17th Annual Computer Science Conference, Louisville, Kentucky, USA, February 21-23, 1989, pp. 221-231, 1989, ACM, 0-89791-299-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Rita Loogen, Herbert Kuchen, Klaus Indermark, Werner Damm |
Distributed Implementation of Programmed Graph Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (1) ![In: PARLE '89: Parallel Architectures and Languages Europe, Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 12-16, 1989, Proceedings, pp. 136-157, 1989, Springer, 3-540-51284-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Jozef Hooman, Jennifer Widom |
A Temporal-Logic Based Compositional Proof System for Real-Time Message Passing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (2) ![In: PARLE '89: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989, Proceedings, pp. 424-441, 1989, Springer, 3-540-51285-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Alan Burns 0001, Gordon Davies, Andy J. Wellings |
A Modula-2 implementation of a real-time process abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 23(10), pp. 49-58, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Modula-2 |
14 | John H. Reppy |
Synchronous Operations as First-Class Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, June 22-24, 1988, pp. 250-259, 1988, ACM, 0-89791-269-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
C++, Pegasus |
14 | Cornelis Huizing, Rob Gerth, Willem P. de Roever |
Modeling Statecharts Behaviour in a Fully Abstract Way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings, pp. 271-294, 1988, Springer, 3-540-19021-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Germán S. Goldszmidt, Shmuel Katz, Shaula Yemini |
Interactive Blackbox Debugging for Concurrent Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Debugging ![In: Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, University of Wisconsin, Madison, Wisconsin, USA, May 5-6, 1988, pp. 271-282, 1988, ACM, 0-89791-296-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Roger Olmstead |
Compilers and parallel architectures (abstract only): sequential to parallel mapping strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 424, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Dirk Taubner |
On the Implementation of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1988, covers the 8th European Workshop on Applications and Theory of Petri Nets, held in Zaragoza, Spain in June 1987, selected papers, pp. 418-434, 1987, Springer, 3-540-50580-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Oliver Vornberger |
Load Balancing in a Network of Transputers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 2nd International Workshop, Amsterdam, The Netherlands, July 8-10, 1987, Proceedings, pp. 116-126, 1987, Springer, 3-540-19366-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Jozef Hooman |
A Compositional Proof Theory for Real-Time Distributed Message Passing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (2) ![In: PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings, pp. 315-332, 1987, Springer, 3-540-17945-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (1) ![In: PARLE, Parallel Architectures and Languages Europe, Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings, pp. 278-294, 1987, Springer, 3-540-17943-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Peter H. Welch |
Emulating Digital Logic using Transputer Networks (very High Parallelism = Simplicity = Performance). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (1) ![In: PARLE, Parallel Architectures and Languages Europe, Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings, pp. 357-373, 1987, Springer, 3-540-17943-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
14 | D. L. McBurney, M. Ronan Sleep |
Transputer-Based Experiments with the ZAPP Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (1) ![In: PARLE, Parallel Architectures and Languages Europe, Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings, pp. 242-259, 1987, Springer, 3-540-17943-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Matthew Hennessy |
Communication Primitives in Programming and Specification Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networking in Open Systems ![In: Networking in Open Systems, International Seminar, Oberlech, Austria, August 18-22, 1986, Proceedings, pp. 223-251, 1986, Springer, 3-540-17707-8. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
14 | Norman Hardy |
Nested Scopes in Pascal and Algol 68. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 18(4), pp. 65, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|