Search Results - LEVEL DESIGN

21

Judicious Thread Migration When Accessing Distributed Shared Caches

by Shim, Keun Sup, Lis, Mieszko, Khan, Omer, Devadas, Srinivas
Published 2012

Call Number: Loading...
Located: Loading...

Get fulltext

Article
22

Verification of microarchitectural refinements in rule-based systems

by Dave, Nirav H., Katelman, Michael, King, Myron Decker, Mithal, Arvind
Published 2012

Call Number: Loading...
Located: Loading...

Get fulltext

Article
23

Autotuning algorithmic choice for input sensitivity

by Ding, Yufei, Ansel, Jason, Veeramachaneni, Kalyan, Shen, Xipeng, O'Reilly, Una-May, Amarasinghe, Saman P.
Published 2015

Call Number: Loading...
Located: Loading...

Get fulltext

Article
24

Feature engineering for clustering student solutions

by Glassman, Elena L., Singh, Rishabh, Miller, Robert C.
Published 2014

Call Number: Loading...
Located: Loading...

Get fulltext

Article
25

The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier

by Chlipala, Adam
Published 2014

Call Number: Loading...
Located: Loading...

Get fulltext

Article
26

Verified lifting of stencil computations

by Kamil, Shoaib, Cheung, Alvin, Itzhaky, Shachar, Solar Lezama, Armando
Published 2017

Call Number: Loading...
Located: Loading...

Get fulltext

Article
27

Directoryless shared memory coherence using execution migration

by Lis, Mieszko, Shim, Keun Sup, Cho, Myong Hyon, Khan, Omer, Devadas, Srinivas
Published 2012

Call Number: Loading...
Located: Loading...

Get fulltext

Article
28

Jenga: Software-Defined Cache Hierarchies

by Tsai, Po-An, Beckmann, Nathan Zachary, Sanchez, Daniel
Published 2021

Call Number: Loading...
Located: Loading...

Get fulltext

Article
29

Data Association for Semantic World Modeling from Partial Views

by Wong, Lok Sang Lawson, Kaelbling, Leslie P., Lozano-Perez, Tomas
Published 2015

Call Number: Loading...
Located: Loading...

Get fulltext

Article
30

Concurrent data representation synthesis

by Hawkins, Peter, Aiken, Alex, Fisher, Kathleen, Rinard, Martin C., Sagiv, Mooly
Published 2012

Call Number: Loading...
Located: Loading...

Get fulltext

Article
31

Flexible, Wide-Area Storage for Distributed Systems with WheelFS

by Stribling, Jeremy, Sovran, Yair, Zhang, Irene, Pretzer, Xavid F., Li, Jinyang, Kaashoek, M. Frans, Morris, Robert Tappan
Published 2011

Call Number: Loading...
Located: Loading...

Get fulltext

Article
32

Formal Verification of Hardware Synthesis

by Braibant, Thomas, Chlipala, Adam
Published 2014

Call Number: Loading...
Located: Loading...

Get fulltext

Article
33

Notary: a device for secure transaction approval

by Athalye, Anish, Belay, Adam M, Kaashoek, M. Frans, Morris, Robert, Zeldovich, Nickolai
Published 2020

Call Number: Loading...
Located: Loading...

Get fulltext

Article
34

High Performance, Point-to-Point, Transmission Line Signaling

by DeHon, Andre, Knight Jr, Thomas F
Published 2017

Call Number: Loading...
Located: Loading...

Get fulltext

Article
35

Helium: lifting high-performance stencil kernels from stripped x86 binaries to halide DSL code

by Wu, Kevin, Kamil, Shoaib, Ragan-Kelley, Jonathan, Paris, Sylvain, Zhao, Qin, Mendis, Thirimadura C. Yasend, Bosboom, Jeffrey William, Amarasinghe, Saman P.
Published 2015

Call Number: Loading...
Located: Loading...

Get fulltext

Article
36

Neural Decipherment via Minimum-Cost Flow: From Ugaritic to Linear B

by Luo, Jiaming, Cao, Yuan, Barzilay, Regina
Published 2021

Call Number: Loading...
Located: Loading...

Get fulltext

Article
37

A constraint-based method for solving sequential manipulation planning problems

by Lozano-Perez, Tomas, Kaelbling, Leslie P.
Published 2016

Call Number: Loading...
Located: Loading...

Get fulltext

Article
38

Global models of document structure using latent permutations

by Chen, Harr, Branavan, Satchuthanan R., Barzilay, Regina, Karger, David R.
Published 2010

Call Number: Loading...
Located: Loading...

Get fulltext

Article
39

Multirobot inspection of industrial machinery

by Correll, Nikolaus, Martinoli, Alcherio
Published 2010

Call Number: Loading...
Located: Loading...

Get fulltext

Article
40

Sensor-Based Reactive Execution of Symbolic Rearrangement Plans by a Legged Mobile Manipulator

by Vasilopoulos, Vasileios, Topping, T. Turner, Vega-Brown, William R, Roy, Nicholas, Koditschek, Daniel E.
Published 2020

Call Number: Loading...
Located: Loading...

Get fulltext

Article

[1]
Prev
1
2
3
4
5
Next
[5]