]> BibSonomy publications for /author/Geist/dblp http://www.bibsonomy.org/burst/author/Geist/dblp BibSonomy BuRST Feed for /author/Geist/dblp 2008-07-27T02:22:58+02:00 Legal Query Expansion using Ontologies and Relevance Feedback. dblphttp://www.bibsonomy.org/bibtex/220ee0fa67a4e403aab76f53328a4e8ed/dblp dblp 2008-06-06T00:00:00+02:00 dblp
Legal Query Expansion using Ontologies and Relevance Feedback.
Erich Schweighofer and Anton Geist LOAIT 149-160 (2007)
to dblp by dblp on 2008-06-06 00:00:00 ]]> LOAITconf/icail/2007loait149-160CEUR Workshop ProceedingsLegal Query Expansion using Ontologies and Relevance Feedback.3212007dblp 2008-06-06 00:00:00.0 ORNL M3C tool. dblphttp://www.bibsonomy.org/bibtex/283412a36508739596455f1403e2baa6e/dblp dblp 2008-05-28T00:00:00+02:00 dblp
ORNL M3C tool.
Al Geist and Brian Luethke and Jens Schwidder and Stephen L. Scott CLUSTER 389-390 (2000)
to dblp by dblp on 2008-05-28 00:00:00 ]]> CLUSTERconf/cluster/2000389-390ORNL M3C tool.2000dblp 2008-05-28 00:00:00.0 The Ceilidh system for the automatic grading of students on programming courses. dblphttp://www.bibsonomy.org/bibtex/25cf61d1fe003704a60d7467208c72783/dblp dblp 2008-04-08T00:00:00+02:00 dblp
The Ceilidh system for the automatic grading of students on programming courses.
Steve Benford and Edmund K. Burke and Eric Foxley and Christopher A. Higgins ACM Southeast Regional Conference 176-182 (1995)
to dblp by dblp on 2008-04-08 00:00:00 ]]> ACM Southeast Regional Conferenceconf/ACMse/1995176-182The Ceilidh system for the automatic grading of students on programming courses.1995dblp 2008-04-08 00:00:00.0 Virtualized Environments for the Harness High Performance Computing Workbench. dblphttp://www.bibsonomy.org/bibtex/2932e2fe4128f13fec5a61fff4572cf8d/dblp dblp 2008-02-26T00:00:00+01:00 dblp
Virtualized Environments for the Harness High Performance Computing Workbench.
Björn Könning and Christian Engelmann and Stephen L. Scott and Al Geist PDP 133-140 (2008)
to dblp by dblp on 2008-02-26 00:00:00 ]]> PDPconf/pdp/2008133-140Virtualized Environments for the Harness High Performance Computing Workbench.2008dblp 2008-02-26 00:00:00.0 Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP. dblphttp://www.bibsonomy.org/bibtex/2cf3fd439bea94ce593df0f64b1989492/dblp dblp 2008-02-08T00:00:00+01:00 dblp
Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP.
Sven Beyer and Christian Jacobi and Daniel Kroening and Dirk Leinenbach and Wolfgang J. Paul CHARME 51-65 (2003)
to dblp by dblp on 2008-02-08 00:00:00 ]]> CHARMEconf/charme/200351-65Lecture Notes in Computer ScienceInstantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP.28602003dblp 2008-02-08 00:00:00.0 Is There a There There: Towards Greater Certainty for Internet Jurisdiction dblphttp://www.bibsonomy.org/bibtex/29c7d694f762cb060c125b1d02efa4ffb/dblp dblp 2008-01-02T00:00:00+01:00 dblp
Is There a There There: Towards Greater Certainty for Internet Jurisdiction
Michael Geist CoRR cs.CY/0109012 (2001)
to dblp by dblp on 2008-01-02 00:00:00 ]]> CoRRinformal publicationIs There a There There: Towards Greater Certainty for Internet Jurisdictioncs.CY/01090122001dblp 2008-01-02 00:00:00.0 Grundlagen einer feature-orientierten Referenzbibliothek im Virtual Engineering. dblphttp://www.bibsonomy.org/bibtex/25613230a3a2484f97a6a2a9c63f88c88/dblp dblp 2007-12-05T00:00:00+01:00 dblp
Grundlagen einer feature-orientierten Referenzbibliothek im Virtual Engineering.
Stephan Vornholt and Mario Pukall and Ingolf Geist Grundlagen von Datenbanken 22-26 (2007)
to dblp by dblp on 2007-12-05 00:00:00 ]]> Grundlagen von Datenbankenconf/gvd/200722-26Technical ReportGrundlagen einer feature-orientierten Referenzbibliothek im Virtual Engineering.02/20072007dblp 2007-12-05 00:00:00.0 Network-based concurrent computing on the PVM system. dblphttp://www.bibsonomy.org/bibtex/2ce707245a9c9dbfcd83c9c2f65577c00/dblp dblp 2007-11-30T00:00:00+01:00 dblp
Network-based concurrent computing on the PVM system.
Al Geist and Vaidy S. Sunderam Concurrency - Practice and Experience 4 293-311 (1992)
to dblp by dblp on 2007-11-30 00:00:00 ]]> Concurrency - Practice and Experience4293-311Network-based concurrent computing on the PVM system.41992dblp 2007-11-30 00:00:00.0 The Neutron Science TeraGrid Gateway: a TeraGrid science gateway to support the Spallation Neutron Source. dblphttp://www.bibsonomy.org/bibtex/2eec96f75d124ae543825fcc8e48bdfc6/dblp dblp 2007-11-26T00:00:00+01:00 dblp
The Neutron Science TeraGrid Gateway: a TeraGrid science gateway to support the Spallation Neutron Source.
John W. Cobb and Al Geist and James Arthur Kohl and Stephen D. Miller and Peter F. Peterson and Gregory G. Pike and Michael A. Reuter and Tom Swain and Sudharshan S. Vazhkudai and Nithya N. Vijayakumar Concurrency and Computation: Practice and Experience 19 809-826 (2007)
to dblp by dblp on 2007-11-26 00:00:00 ]]> Concurrency and Computation: Practice and Experience6809-826The Neutron Science TeraGrid Gateway: a TeraGrid science gateway to support the Spallation Neutron Source.192007dblp 2007-11-26 00:00:00.0 AVPGEN-A test generator for architecture verification. dblphttp://www.bibsonomy.org/bibtex/245c8856e17c9b16841ae7f475a092442/dblp dblp 2007-11-12T00:00:00+01:00 dblp
AVPGEN-A test generator for architecture verification.
Ashok K. Chandra and Vijay S. Iyengar and D. Jameson and R. V. Jawalekar and Indira Nair and Barry K. Rosen and Michael P. Mullen and J. Yoon and R. Armoni and Daniel Geist and Yaron Wolfsthal IEEE Trans. VLSI Syst. 3 188-200 (1995)
to dblp by dblp on 2007-11-12 00:00:00 ]]> IEEE Trans. VLSI Syst.2188-200AVPGEN-A test generator for architecture verification.31995dblp 2007-11-12 00:00:00.0