Showing
1 - 11
results of
11
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - Bornholt, James
Search Results - Bornholt, James
Showing
1 - 11
results of
11
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
Finding code that explodes under symbolic evaluation
by
Bornholt, James
,
Torlak, Emina
Published in
Proceedings of ACM on programming languages
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
2
Loading…
Noninterference specifications for secure systems
by
Nelson, Luke
,
Bornholt, James
,
Krishnamurthy, Arvind
,
Torlak, Emina
,
Wang, Xi
Published in
Operating systems review
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
3
Loading…
Toward a DNA-Based Archival Storage System
by
Bornholt, James
,
Lopez, Randolph
,
Carmean, Douglas M.
,
Ceze, Luis
,
Seelig, Georg
,
Strauss, Karin
Published in
IEEE MICRO
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
4
Loading…
Uncertain: Abstractions for Uncertain Hardware and Software
by
Bornholt, James
,
Mytkowicz, Todd
,
McKinley, Kathryn S.
Published in
IEEE MICRO
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
5
Loading…
Synthesizing fine-grained synchronization protocols for implicit monitors
by
Ferles, Kostas
,
Sepanski, Benjamin
,
Krishnan, Rahul
,
Bornholt, James
,
Dillig, Işil
Published in
Proceedings of ACM on programming languages
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
6
Loading…
A DNA-Based Archival Storage System
by
Bornholt, James
,
Lopez, Randolph
,
Carmean, Douglas
,
Ceze, Luis
,
Seelig, Georg
,
Strauss, Karin
Published in
IEEE MICRO
Get full text
Items that cite this one
Article
Save to List
Saved in:
7
Loading…
A Taxonomy of General Purpose Approximate Computing Techniques
by
Moreau, Thierry
,
San Miguel, Joshua
,
Wyse, Mark
,
Bornholt, James
,
Alaghi, Armin
,
Ceze, Luis
,
Enright Jerger, Natalie
,
Sampson, Adrian
Published in
IEEE embedded systems letters
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
8
Loading…
A DNA-Based Archival Storage System
by
Bornholt, James
,
Lopez, Randolph
,
Carmean, Douglas M.
,
Ceze, Luis
,
Seelig, Georg
,
Strauss, Karin
Published in
Operating systems review
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
9
Loading…
Uncertain< T >: a first-order type for uncertain data
by
Bornholt, James
,
Mytkowicz, Todd
,
McKinley, Kathryn S.
Published in
Computer architecture news
Get full text
Items that this one cites
Article
Save to List
Saved in:
10
Loading…
A DNA-Based Archival Storage System
by
Bornholt, James
,
Lopez, Randolph
,
Carmean, Douglas M.
,
Ceze, Luis
,
Seelig, Georg
,
Strauss, Karin
Published in
Computer architecture news
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
11
Loading…
Mixed-domain Galerkin expansions in scattering problems
by
Bornholdt, J.M.
,
Medgyesi-Mitschang, L.N.
Published in
IEEE transactions on antennas and propagation
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
7 results
7
Full Text
11 results
11
Format
Articles
11 results
11
Journal Title
Ieee Micro
3 results
3
Computer Architecture News
2 results
2
Operating Systems Review
2 results
2
Proceedings Of Acm On Programming Languages
2 results
2
Proceedings Of The Acm On Programming Languages
2 results
2
Ieee Embedded Systems Letters
1 results
1
Ieee Transactions On Antennas And Propagation
1 results
1
Subjects
Science & Technology
5 results
5
Technology
5 results
5
Computer Science
4 results
4
Computer Science, Software Engineering
4 results
4
Computer Science, Hardware & Architecture
2 results
2
Decoding
2 results
2
Dna
2 results
2
Encoding
2 results
2
Engineering
2 results
2
Engineering, Electrical & Electronic
2 results
2
Sequential Analysis
2 results
2
Aerospace Electronics
1 results
1
Applied Sciences
1 results
1
Approximate Computing
1 results
1
Approximation
1 results
1
Archival Storage
1 results
1
Bayes Methods
1 results
1
Coarseness
1 results
1
Compatible Software
1 results
1
Compilers
1 results
1
Year of Publication
From:
To:
Source
Acm Digital Library
6 results
6
Ieee Electronic Library (Iel) Journals
5 results
5
Ieee Xplore All Journals
5 results
5
Association For Computing Machinery:jisc Collections:acm Open Journals 2023-2025 (Reading List)
4 results
4
Science Citation Index Expanded (Web Of Science)
3 results
3
Road: Directory Of Open Access Scholarly Resources
2 results
2
Ezb Electronic Journals Library
2 results
2