Search
Search Funnelback University
- Refined by:
- Date: 2004
1 -
10 of
11
search results for Antonio Vidal-Puig
where 0
match all words and 11
match some words.
Results that match 1 of 2 words
-
HAS PSYCHOKINESIS MET SCIENCE'S MEASURE?
www.tcm.phy.cam.ac.uk/~bdj10/mm/articles/PK_sci_measure.html3 Mar 2004: has been noted by one of my collaborators, social anthropologist and parapsychologist Marilyn Schlitz of the Mind Science Foundation, San Antonio, Texas, there exist analogies that may be more directly relevant -
Sliding Window Logic SimulationSarah Thompson and Alan Mycroft…
https://www.cl.cam.ac.uk/~am21/papers/async04.pdf1 Apr 2004: 238–252. [2] , Systematic design of program anal-ysis frameworks, Conference Record of theSixth Annual ACM SIGPLAN-SIGACT Sym-posium on Principles of Programming Lan-guages (San Antonio, Texas), ACM Press, -
top.dvi
https://www.cl.cam.ac.uk/~amp12/papers/typor/typor.pdf13 Sep 2004: Advanced Topics in. Types and Programming Languages. Benjamin C. Pierce, editor. The MIT Press. Cambridge, Massachusetts. London, England. 2005 Massachusetts Institute of Technology. All rights reserved. No part of this book may be reproduced in any -
Hermes: A scalable event-based middleware
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-590.pdf5 Jun 2004: Technical ReportNumber 590. Computer Laboratory. UCAM-CL-TR-590ISSN 1476-2986. Hermes: A scalable event-basedmiddleware. Peter R. Pietzuch. June 2004. 15 JJ Thomson Avenue. Cambridge CB3 0FD. United Kingdom. phone 44 1223 763500. http://www.cl.cam.ac -
University of Karlsruhe (TH) A flexible and scalablepeer-to-peer…
https://www.cl.cam.ac.uk/research/srg/netos/projects/archive/futuregrid/dischinger-report.pdf15 Jul 2004: University of Karlsruhe (TH). A flexible and scalablepeer-to-peer multicast application. using Bamboo. Studienarbeit at the Institute of TelematicsProf. Dr. M. Zitterbart. Department of Computer ScienceUniversity of Karlsruhe (TH). and. Systems -
Officers Number, Michaelmas Term 2004: Part I: University Officers
https://www.reporter.admin.cam.ac.uk/reporter/2004-05/special/05/i.pdf2 Nov 2004: S. ROBINSON, 30 June 2009K. SIDDLE, CHU. University LecturerA. VIDAL-PUIG, 30 Sept. -
Abstract Interpretation of Combinational Asynchronous Circuits Sarah…
https://www.cl.cam.ac.uk/~am21/papers/sas04.pdf30 May 2004: 238–252. 2. Cousot, P., and Cousot, R. Systematic design of program analysis frameworks.In Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT Symposiumon Principles of Programming Languages (San Antonio, -
Linear Types for Packet Processing Robert Ennals1, Richard Sharp2, ...
https://www.cl.cam.ac.uk/~am21/papers/esop04.pdf27 Jan 2004: Intel Press, 2002. 12. Kobayashi, N. Quasi-linear types. In Conference Record of POPL 99: The 26thACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,San Antonio, Texas (New York, NY, -
Syntactic simplification and text cohesion
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-597.pdf10 Aug 2004: Technical ReportNumber 597. Computer Laboratory. UCAM-CL-TR-597ISSN 1476-2986. Syntactic simplification and textcohesion. Advaith Siddharthan. August 2004. 15 JJ Thomson Avenue. Cambridge CB3 0FD. United Kingdom. phone 44 1223 763500. -
Role-based access control policy administration
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-586.pdf31 Mar 2004: Technical ReportNumber 586. Computer Laboratory. UCAM-CL-TR-586ISSN 1476-2986. Role-based access control policyadministration. András Belokosztolszki. March 2004. 15 JJ Thomson Avenue. Cambridge CB3 0FD. United Kingdom. phone 44 1223 763500. http:/
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.