Showing
1 - 18
results of
18
for search '
ACM Press
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Search Results - Open Polar - ACM Press
Search Results
Showing
1 - 18
results of
18
for search '
ACM Press
'
, query time: 0.10s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
PermaDAQ: A scientific instrument for precision sensing and data recovery in env...
Get access
Get access
Sami Khuri
Get access
Get access
CCured: Type-Safe Retrofitting of Legacy Code
Get access
Get access
Age-Based Garbage Collection
Get access
Cost Recurrences for DML Programs
Get access
Get access
Implementing Typeful Program Transformations
Get access
Get access
A Dependently Typed Assembly Language
Get access
Get access
Semantics for Communication Primitives in a Polymorphic Language
Get access
Get access
Semantics for Communication Primitives in a Polymorphic Language
Get access
Get access
ORCA a sea-of-gates place and route system
Get access
Get access
Cost recurrences for DML programs
Get access
Get access
Some DML instruction sequences for application program analysis and conversion
Get access
Get access
Some DML instruction sequences for application program analysis and conversion
Get access
Get access
The parallelization of a physically based, spatially distributed hydrologic code...
Get access
Get access
Arctic
Get access
Get access
An open geospatial consortium standards-based arctic climatology sensor network...
Get access
Get access
Underwater communications and AUVs
Get access
Get access
Artica intergalaxia
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Back
Narrow Search
Year of Publication
From:
To:
Document Type
Conference Object
9
Text
9
Author
Atsushi Ohori
2
Hongwei Xi
2
Kazuhiko Kato
2
Nations, John
2
Su, Stanley Y. W.
2
Andreas Hasler
1
Andreas Meier
1
Beardslee, M.
1
Beck, Richard A.
1
Bernd Grobauer
1
Chiyan Chen
1
Christian Tschudin
1
Dannenberg, Roger B.
1
Darko Stefanovic
1
George C. Necula
1
Grobauer, Bernd
1
Hinzman, L. D.
1
Igor Talzi
1
Igusa, M.
1
J. Eliot B. Moss
1
Jan Beutel
1
Jorg Heitkotter
1
Kathryn S. McKinley
1
Lothar Thiele
1
Matthias Woehrle
1
Morton, D. J.
1
Mustafa Yuecel
1
O'Connor, S.
1
Rettig, Andrew J.
1
Rettig, Timothy J.
1
see all ...
Topic
Dependent
1
Dependent Types
1
Content Provider
ACM Publications (Association for Computing Machinery)
9
Unknown
9
Geographic location
Arctic
2
Language
English
9
unknown
9
Open Polar Keyword
DML
8
Arctic
4
The Pointers
2
Orca
1
artica
1
permafrost
1
sami
1
see all ...
Loading...