BibSonomy :: 
group ::
daks ::
(UC Davis Data and Knowledge Systems Lab)
CVThe blue social bookmark and publication sharing system.
- UDF SkyWalker Welcome to the UDF Skywalker This tool allows to view the whole of the UDF colour mosaic, use the mouse (click-drag) to pan around in thi...UDF SkyWalker Welcome to the UDF Skywalker This tool allows to view the whole of the UDF colour mosaic, use the mouse (click-drag) to pan around in this field. Now: Load the UDF Skywalker Credits and © 2004 Design/Programming:K. Jahnke & S.F.Sánchez (AIP) Images: NASA/ESA/Steve Beckwith (STSCI) and the HUDF team You are the visitor number: 222, since 16.03.04
- http://www.davidalber.net/dist/geneagrapher/Geneagrapher-0.2-r1.tar.gz
- Haskell library featuring a concurrency model inspired by CSP
- Documentation of Occam modules
- Occam resources on Fred Barnes' web site
- Introduction to Occam on Fred Barnes' web site
- Program that visualizes the Lego Mindstorms RCX internal logic through visual flowcharts.
- Automated tool for the manipulation and analysis of concurrent systems
- Language for dynamic creation of concurrent processes; communication via message channels and; can be analyzed with the SPIN model checker.
- Tool for verifying correctness of distributed software modeled in Promela.
- Wikipedia article. Guarded commands are used within the Promela programming language, which is used by the SPIN model checker.
- Vector Borne Zoonotic Dis 3(1):27-37 (2003)
- Journal of Computer Science and Technology 24(2):198--211 (March 2009)
- ACM Intl. Workshop on Web Information and Data Management WIDM, page 93--90. (2006)
- Concurrency and Computation: Practice and Experience 18(10):1039-1065 (2006)
- EDBT Workshops, page 712-723. (2006)
- ICDE Workshops, page 73. IEEE Computer Society, (2006)
- Proc. of the ICDE Workshop on Workflow and Data Flow for Scientific Applications SciFlow, IEEE Computer Society, (2006)
- Proc. of the Intl. Provenance and Annotation Workshop IPAW, volume 4145 of LNCS, page 133--147. (2006)
- Proc. of the Intl. Workshop on Data Integration in the Life Sciences DILS, volume 4075 of LNCS, page 248--263. (2006)
- e-Science and Grid Computing, International Conference on (2006)
- Theor. Comput. Sci. 371(3):200-226 (2007)
- Concurrency and Computation: Practice and Experience 20(5):507-518 (2008)
- Concurrency and Computation: Practice and Experience 20(5):519-529 (2008)
- ICDT, volume 3363 of Lecture Notes in Computer Science, page 352-367. Springer, (2005)
- WORKS '07: Proceedings of the 2nd workshop on Workflows in support of large-scale science, page 35--44. New York, NY, USA, ACM, (2007)
- IEEE Data Eng. Bull. 30(4):44-50 (2007)
- Concurrency and Computation: Practice and Experience 20(5):507-518 (2008)
- Future Generation Computer Systems 25(5):541-551 (2008)
- Proc. of the Intl. Workshop on Data Integration in the Life Sciences DILS, volume 4544 of LNCS, page 122--138. (2007)
- SIGMOD Rec. 37(1):62--65 (2008)
