Showing
1 - 10
results of
10
for search '
SEMANTICS
'
Skip to content
Home
High Impact Articles
Search Options
UiTM Open Access
Search by UiTM Scopus
Advanced Search
Search by Category
Discovery Service
Sources
Jawi Collection
UiTM Journals
List UiTM Journal in IR
Statistic
About
Open Access
Creative Commons Licenses
COKI | Malaysia Open Access
Report Technical
User Guide
Contact Us
Search Tips
FAQs
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Reset Filters
Genre:
Article
Author:
Rinard, Martin C.
Reset Filters
Show filters (2)
Genre:
Article
Author:
Rinard, Martin C.
Search Results - SEMANTICS
Showing
1 - 10
results of
10
for search '
SEMANTICS
'
, query time: 0.85s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Verification of
semantic
commutativity conditions and inverse operations on linked data structures
by
Kim, Deokhwan
,
Rinard, Martin C.
Published 2012
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
2
Survival strategies for synthesized hardware systems
by
Rinard, Martin C.
Published 2010
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
3
Proving acceptability properties of relaxed nondeterministic approximate programs
by
Carbin, Michael James
,
Kim, Deokhwan
,
Misailovic, Sasa
,
Rinard, Martin C.
Published 2012
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
4
Data structure fusion
by
Hawkins, Peter
,
Aiken, Alex
,
Fisher, Kathleen
,
Rinard, Martin C.
,
Sagiv, Mooly
Published 2011
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
5
Probabilistically Accurate Program Transformations
by
Misailovic, Sasa
,
Roy, Daniel
,
Rinard, Martin C.
Published 2012
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
6
Parallelizing Sequential Programs with Statistical Accuracy Tests
by
Misailovic, Sasa
,
Kim, Deokhwan
,
Rinard, Martin C.
Published 2015
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
7
Verified integrity properties for safe approximate program transformations
by
Kim, Deokhwan
,
Misailovic, Sasa
,
Rinard, Martin C.
,
Carbin, Michael James
Published 2014
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
8
Randomized accuracy-aware program transformations for efficient approximate computations
by
Misailovic, Sasa
,
Kelner, Jonathan Adam
,
Rinard, Martin C.
Published 2012
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
9
From Natural Language Specifications to Program Input Parsers
by
Lei, Tao
,
Long, Fan
,
Barzilay, Regina
,
Rinard, Martin C.
Published 2013
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
10
Taint-based Directed Whitebox Fuzzing
by
Rinard, Martin C.
,
Ganesh, Vijay
,
Leek, Tim
Published 2010
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
Search Tools:
Get RSS Feed
—
Email this Search
Back
Narrow Search
Format
Article
10
Sources
MIT IR
10
Collections
Institutional Repositories
10
Author
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
10
Rinard, Martin C.
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
7
Misailovic, Sasa
5
Kim, Deokhwan
4
Carbin, Michael James
2
Aiken, Alex
1
Barzilay, Regina
1
Fisher, Kathleen
1
Ganesh, Vijay
1
Hawkins, Peter
1
Kelner, Jonathan Adam
1
Leek, Tim
1
Lei, Tao
1
Lincoln Laboratory
1
Long, Fan
1
Massachusetts Institute of Technology. Department of Mathematics
1
Roy, Daniel
1
Sagiv, Mooly
1
Zhu, Zeyuan Allen
1
see all ...
Language
English
10
Genre
Article
Year of Publication
From:
To:
Loading...