Academic literature on the topic 'Write Award'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Write Award.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Write Award"

1

Wong, Tommy S. "How to Write an Award-Winning Paper." Journal of Professional Issues in Engineering Education and Practice 134, no. 1 (2008): 11. http://dx.doi.org/10.1061/(asce)1052-3928(2008)134:1(11).

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Kirkland, Lynn, and Maryann Manning. "Children's Books: Write On! New Books by Award-Winning Authors." Childhood Education 89, no. 5 (2013): 328–31. http://dx.doi.org/10.1080/00094056.2013.830919.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Suter, Deanna K. "HOW TO WRITE AN AWARD‐WINNING FINANCIAL REPORT: One Library's Experience." Bottom Line 2, no. 4 (1989): 15–20. http://dx.doi.org/10.1108/eb025195.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Shi, August. "SIGSOFT Outstanding Doctoral Dissertation Award." ACM SIGSOFT Software Engineering Notes 46, no. 3 (2021): 17–18. http://dx.doi.org/10.1145/3468744.3468749.

Full text
Abstract:
As software becomes more important and ubiquitous, high quality software also becomes crucial. We depend on software developers who write the software to also maintain and improve its quality. When developers make changes to software, they rely on continuous integration [6] and regression testing [15] to check that changes do not break existing functionality. Continuous integration (CI) automates the process of building and testing software after every change. The process of running tests on the code after every change is known as regression testing. The goal of regression testing is to allow developers to detect and fix faults early on, ideally the moment the faults are introduced. Regression testing is widely used in both industry and open source, but regression testing suffers from two main challenges: (1) regression testing is costly, and (2) regression test suites often contain flaky tests.
APA, Harvard, Vancouver, ISO, and other styles
5

Pollock, Raphael E., and Charles M. Balch. "The NIH clinician-investigator award: How to write a training grant application." Journal of Surgical Research 46, no. 1 (1989): 1–3. http://dx.doi.org/10.1016/0022-4804(89)90173-x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Yolen, Jane. "Commentary: Writing Picture Books." LEARNing Landscapes 4, no. 2 (2011): 55–60. http://dx.doi.org/10.36510/learnland.v4i2.386.

Full text
Abstract:
In this interview Jane Yolen, award-winning author of children’s picture books, talks of how her books come into being and the sometimes long period between the first spark of an idea and the time writing begins. She explains the many types of research that can be required for different types of books, giving examples from her own work. She also provides insight as to the role of the writer, the illustrator and the editor in creating the final version of a children’s picture book. Finally, she reveals her own favourite children’s picture books and gives advice to those wishing to write in this genre.
APA, Harvard, Vancouver, ISO, and other styles
7

Harries, Judith. "Baby Brains at work." Early Years Educator 21, no. 11 (2020): S2—S3. http://dx.doi.org/10.12968/eyed.2020.21.11.s2.

Full text
Abstract:
Award-winning author and illustrator Simon James is renowned for his books featuring Baby Brains, the extraordinarily smart baby. They can be used as a springboard for children to write letters, cards, lists and labels and experiment with rhyming words.
APA, Harvard, Vancouver, ISO, and other styles
8

BETTA, Jan. "TEACHNIG PROJECT MANAGEMENT TO MANAGERS WITH REFERENCE TO INTERNATIONAL PROJECT MANAGEMENT ASSOCIATION PROJECT EXCELLENCE AWARD." Scientific Journal of the Military University of Land Forces 161, no. 3 (2011): 397–406. http://dx.doi.org/10.5604/01.3001.0002.3137.

Full text
Abstract:
This paper deals with PM training efficient and profitable for all stakeholders. The inspiration to write it was the author’s rich experience as a trainer and an IPMA Project Excellence Award Assessor. There are three reasons for writing the paper: to encourage managers to better prepare such training (formulation of needs and expectations by them), to indicate the main points of content and the method of training for inexperienced trainers and to promote the PE Award. The methodology used consisted in observation, interviewing and inquiring. Basic results are: showing managers the weight of needs and expectations formulation, the content and methods of training and PE Award promotion. Conclusions – training more profitable for companies and interesting for participants and trainers. The PE Award is more recognized worldwide.
APA, Harvard, Vancouver, ISO, and other styles
9

Atwood, Margaret. "The Handmaid's Tale and Oryx and Crake in Context." PMLA/Publications of the Modern Language Association of America 119, no. 3 (2004): 513–17. http://dx.doi.org/10.1632/003081204x20578.

Full text
Abstract:
I'm not a science fiction expert. Nor am i an academic, although i used to be one, sort of. Although I'm a writer, I'm not primarily a writer of science fiction. In this genre I'm a dilettante and a dabbler, an amateur—which last word, rightly translated, means “lover.” I got into hot water recently on a radio talk show in Britain: the radio person said she'd just been to a sci-fi conference there, and some people were really, really mad at me. Why? said I, mystified. For being mean to science fiction, said she. In what way had I been mean? I asked. For saying you didn't write it, she replied. And I having had the nerve to win the Arthur C. Clarke Award for Science Fiction.
APA, Harvard, Vancouver, ISO, and other styles
10

Serenio, Frances Mae A., and Cindy A. Velasquez. "Speech Acts in the Selected and Award Winning Filipino Children Short Stories." Indonesian Journal of EFL and Linguistics 4, no. 1 (2019): 15. http://dx.doi.org/10.21462/ijefl.v4i1.89.

Full text
Abstract:
Children’s literature may be one of the most difficult genres to write, if not the most difficult. The writer has to take into consideration his or her aims in writing the story while focusing on other literary elements such as the theme and the plot at the same time. Not only that, he or she has to put in mind what kind of reaction he wants from his or her reader – whether it be amusement, rejection or wholesome acceptance through learning. The purpose of this study is to identify the different speech acts commonly found in contemporary children’s short stories particularly those which have been awarded as Palanca winners and those from the book entitled Filipino Stories for Filipino children (An Anthology from the UP Integrated School Creative Writing Classes) by Eleanor Eme Hermosa. The study is anchored on John Searle’s (1969) Speech Act Theory. In the analysis, it is found that children’s literature provides a didactic role. Consistent with this function, the speech act structure has observed didactic role found to be primarily informational, assertive, and expressive in nature. In the stories, some of the values that the writers aimed to teach the readers are nationalism, love and pride for parents and siblings, and appreciation for education.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Write Award"

1

Pan, Yun-Teng, and 潘雲騰. "Energy-Aware Secure-Write Strategy for PCM-Base File System." Thesis, 2012. http://ndltd.ncl.edu.tw/handle/gg9bf9.

Full text
Abstract:
碩士
國立臺北科技大學
電腦與通訊研究所
100
In recent years, phase-change memory (PCM) has drawn a lot of attention because of its byte-addressability and non-volatility. It has become a good alternative storage media to reduce the performance gap between main memory and secondary storage, but its high energy consumption on writes is a challenging issue in the design of battery-powered embedded mobile devices. In this work, we propose an energy-aware secure-write strategy to reduce the energy consumption on writing data to PCM-based file systems. This strategy could also guarantee the integrity of file systems even if the system crashes or power failure occurs during the process of updating any part of the file system even when the file system does not have tye journaling support. A series of experiments based on the implementation in the Linux system was conducted to evaluate the capability of the proposed strategy, and the results are very encouraging.
APA, Harvard, Vancouver, ISO, and other styles
2

Huang, Xiang-Zhi, and 黃祥智. "A Pattern-Aware Write Strategy for Hybrid PCM Storage Devices." Thesis, 2015. http://ndltd.ncl.edu.tw/handle/14508762260678544754.

Full text
Abstract:
碩士
國立臺灣大學
資訊工程學研究所
103
ABSTRACT Phase change memory (PCM) is a potential candidate on the storage applications due to its nanosecond-level access latency and byte-addressability. In addition, with the help of multiple-level-per- cell (MLC) technology, PCM could provide comparable capacity to flash memory. However, adopting MLC PCM needs much larger power consumption than SLC PCM. Thus, in this paper, we exploit a SLC/MLC hybrid memory architecture with the proposed pattern-aware write back policy to minimize the energy consumption on the storage devices In addition, we also propose a counter buffer design to reduce the cost on manipulating data structures, and meanwhile, we design a data migration mechanism to migrate data to MLC PCM when the space of SLC PCM is exhausted. We conducted the experiments on the well-known benchmarks and for which the results are encourage.
APA, Harvard, Vancouver, ISO, and other styles
3

Lin, Wen Zhang, and 林文章. "A Reliability-aware Write Termination Scheme for Resistive Random Access Memory." Thesis, 2016. http://ndltd.ncl.edu.tw/handle/3k59pp.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Chao, Kuo-Yi, and 趙國逸. "FAWB: A File-Aware Write Buffer Management Method for Flash Memory." Thesis, 2014. http://ndltd.ncl.edu.tw/handle/64930631610658302088.

Full text
Abstract:
碩士
國立臺灣科技大學
電子工程系
103
NAND flash memory has very distinct characteristics: the out-of-place update and the endurance problem. The out-of-place update means that data can’t be overwritten to the same place unless the residing block is erased first. The endurance problem means that each flash memory block can endure limited times of erase operations (e.g., 10,000 100,000 times) and could suffer from access errors when beyond the limited times. Therefore, the out-of-place update can cause a lot of erase operations and damage the system performance. The endurance problem can damage the lifetime of NAND flash memory.In order to improve the performance and lifetime of NAND flash memory, a flash-aware write buffer is used to buffer the frequently accessed data and reduce a lot of write and erase operations. Based on our observations, we find that the page read cache mode and the multi-channel I/O parallelism can improve the current flash-aware write buffer schemes. We want to integrate the concept of the page read cache mode and the multi-channel I/ O parallelism into the design of the flash-aware write buffer schemes. According to the experimental results, the proposed method can improve the effectiveness of the current flash-aware write buffer schemes.
APA, Harvard, Vancouver, ISO, and other styles
5

Huang, Yao-Hung, and 黃耀宏. "Read/Write Disturbance-Aware Design for MLC STT-RAM-based Cache." Thesis, 2019. http://ndltd.ncl.edu.tw/handle/mr4r5w.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Lee, Yi-An, and 李翼安. "Data Compression Ratio-aware Routing for Multiple E-Beam Direct Write Systems." Thesis, 2017. http://ndltd.ncl.edu.tw/handle/x59xpu.

Full text
Abstract:
碩士
國立臺灣大學
電子工程學研究所
105
Along with the advancement of technology, the feature size of Integrated Circuits(IC) are shrinking down day after day, but the resolution of the ArF laser is not enough to support next generation lithography. Electron beam lithography have a role to play in next generation lithography with its characteristic of high-accuracy. In order to support the accuracy of Electron beam, the massive data size of the circuit has to be delivered to the E-beam emitter. However, circuits nowadays have become more complicated. In order to synchronize the operation of Electron beam lithography with data transmission, the successfulness of this process relies on the speed of data transmission, which is not sufficiently fast even with technologies today. So in practice, the massive circuit data should be compressed before transmitted by optic fibers, and then decompressed on the chip of E-beam machines. In this thesis, considering the data arrangement after rasterization, we proposed a method to improve router. Besides, we modify data compression algorithm to support the particular arrangement of data. The results of experiments show that we not only improve data compression ratio with our proposed algorithms but establish a procedure of data transformation for multiple electron beam direct write systems.
APA, Harvard, Vancouver, ISO, and other styles
7

Lin, Wen-Di, and 林汶廸. "An Update-Period-Aware Write Cache Management for Flash-Memory-based SSDs." Thesis, 2019. http://ndltd.ncl.edu.tw/handle/5wcc8c.

Full text
Abstract:
碩士
國立臺灣科技大學
電子工程系
107
Since the semiconductor technology has improved rapidly over the past few decades, the capacity of current flash memory chip is much larger than before. Solid-state drives (SSDs) based on the flash memory chip has become an alternative to traditional hard-disk drives (HDDs) because of their lower price. Compared with the traditional HDDs, SSDs have the advantages of low-power consumption, fast-access speed, small size, shock resistance. However, due to the internal structure of the underlying flash memory chip, it retains many disadvantages, such as out-of-place update, asymmetric access units for programing and erasing, limited program/erase cycles. To solve or alleviate the above problems caused by the characteristics of underlying flash memory chips in the SSDs, a portion of the DRAM is typically used as a write cache to improve the performance and the lifetime of flash memory by absorbing large amounts of data updates from the file system. In this thesis, we propose a novel write cache management. The core idea is to select the victim page that is suitable for being removed from the cache according to the expected update interval. Overall, the experimental results show that the hit ratio of our method has approximate 25.8%, 14.54%, 13.01% improvement compared with the existing cache management methods such as LRU, PRLRU, and VBBMS.
APA, Harvard, Vancouver, ISO, and other styles
8

Lin, Chun-Hung, and 林俊宏. "A Page Cache-Aware Write Buffer Management Scheme for Flash-Based Storage Systems." Thesis, 2015. http://ndltd.ncl.edu.tw/handle/9eg2yx.

Full text
Abstract:
碩士
國立中興大學
資訊科學與工程學系
103
The storage medium of Solid State Drives (SSD) is NAND Flash Memory. It has many advantages such as small size, high shock resistance and low power. Due to these advantages, it has been widely used for mobile devices and embedded systems. However, due to certain physical characteristic of NAND Flash Memory, it has the asymmetric speed of read and write operations, inability to in-place updates, limited number of write and erase times. Consequently, we need to take proper operation for write operations; otherwise, it would lead to a degraded system performance. To address the write issues of flash memory-based storage systems, one promising approach is to add a write buffer in SSDs. Since the storage medium of write buffer is RAM, hot data can in-place update in the write buffer to reduce frequent write and erase to flash memory. However, in the host computer systems, there is a memory-based page cache. The traditional replacement algorithms of page cache assumes that the secondary storage consists of hard disks. As a result, these replacement algorithm cannot be directly applied for SSDs. Hence, many new page cache management strategies for SSDs have been proposed in recent studies that consider the characteristics of Flash memory. However, the current replacement algorithms on page cache and write buffer are designed separately. To address this issue, in this thesis, we propose a page cache-aware write buffer management scheme. By the idea of cross-layer design, the page cache can pass information to the write buffer. Then, by this information, the write buffer replacement policy can select a more suitable victim for replacement, so as to optimize the performance of the SSDs.
APA, Harvard, Vancouver, ISO, and other styles
9

賴原群. "Write-Hotness Aware Cache-Set Remapping for Improving Lifetime of Non-volatile Caches." Thesis, 2017. http://ndltd.ncl.edu.tw/handle/p39j8f.

Full text
Abstract:
碩士
國立交通大學
資訊科學與工程研究所
106
In most memory systems, SRAM is used for caches. As cache capacity scales up, the leakage power of SRAM becomes the main power consumer of a computer system. Comparing to SRAM, the leakage power of non-volatile memory is lower, so it can be a replacement of SRAM. But the low write endurance of non-volatile memory leads short lifetime of caches, and because the slow write speed of non-volatile memory, non-volatile memory is more suitable to replace SRAM in last level caches. A lot of research has adapted wear-leveling techniques used in non-volatile storage systems to fit properties of caches, but the methodologies of those research incur other issues, such as larger storage overhead or many unnecessary data movements, so we intend to minimize those issues and propose a better wear-leveling technique for improving lifetime of non-volatile caches.
APA, Harvard, Vancouver, ISO, and other styles
10

Chiu, Yu-Hsiang, and 邱煜翔. "Data Compression Ratio-aware Detailed Routing for Multiple E-Beam Direct Write Systems." Thesis, 2015. http://ndltd.ncl.edu.tw/handle/49819815702155267265.

Full text
Abstract:
碩士
國立臺灣大學
電子工程學研究所
104
The feature size of Integrated Circuits(IC) are shrinking down along with the advancement of technology, but the resolution of the ArF laser is far from the target for next generation lithography. Electron beam (E-beam) lithography, with its high-accuracy characteristic, is very likely to become the main role in next generation lithography. Because of the accuracy of E-beam, the exact information of the circuit has to be delivered to the E-beam emitter. However, circuits nowadays has become so complicated that the successfulness of this process relies on the speed of data transmission, which is not sufficiently fast even with technologies today. So in practice, data should be compressed first, transmitted by optic fibers, and then decompressed in the E-beam machines. In this thesis, we proposed a detailed routing method to improve data compression quality before applying the actual compression algorithm. The results of experiments show that, with one particular data compression algorithm, LineDiff Entropy, chosen, we improve data compression ratio with our proposed detailed router. And we can conclude that considering data compression ratio in physical design phase is a field worth studying.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Write Award"

1

(Thailand), Bangkok. Beyond borders: The 35th anniversary S.E.A. Write Award anthology. Bangkok Metropolitan Administration, 2013.

APA, Harvard, Vancouver, ISO, and other styles
2

Ibrahim, Noreidah Haji, and Dayang Hajah Jusibah binti Haji Mohd Yussof. Bibliografi Muslim Burmat: Penerima anugerah penulis Asia Tenggara, S.E.A. write award. Perpustakaan Dewan Bahasa dan Pustaka, Kementerian Kebudayaan, Belia dan Sukan, Bandar Seri Begawan, 2015.

APA, Harvard, Vancouver, ISO, and other styles
3

Laʻō̜, Satčhaphūm. Sī Rai daiʻārī: Banthưk hētkān wannakam Thai = S.E.A. Write diary. Sukkhaphāp Čhai, 2008.

APA, Harvard, Vancouver, ISO, and other styles
4

Dư̄ansavan, Chō̜. Chanthī Dư̄ansavan, lāngvan Sīrai lư̄angsan pacham pī Phō̜. Sō̜. 2542 =: Lao writer Chanthi Deuansavanh, awardee of the S.E.A. write award 1999. Samākhom Nakpaphan Lāo, 1999.

APA, Harvard, Vancouver, ISO, and other styles
5

Shepard, Aaron. The business of writing for children: An award-winning author's tips on how to write, sell, and promote your children's books. Shepard Publications, 2000.

APA, Harvard, Vancouver, ISO, and other styles
6

Trisman, Bambang. Tiga novel penerima hadiah sastra SEA Write Award: Sang guru karya Gerson Poyk, Ladang perminus karya Ramadhan K. H., dan Bekisar merah karya Ahmad Tohari. Pusat Bahasa, Departemen Pendidikan Nasional, 2003.

APA, Harvard, Vancouver, ISO, and other styles
7

Sētthabut, Nō̜ranit. 10 pī Sīrai: Khamhaikān rư̄ang rāngwan wannakam sāngsan yō̜tyīam hǣng ʻĀsīan, pī 2522-2531. 2-ге вид. Dō̜kyā, 1988.

APA, Harvard, Vancouver, ISO, and other styles
8

Cifuentes, Fernando Sarmiento. Tutela contra laudo arbitral: Análisis de un caso paradigmático. Academia Colombiana de Jurisprudencia, 2008.

APA, Harvard, Vancouver, ISO, and other styles
9

Ascencios, Frank García. Amparo versus arbitraje: Improcedencia del amparo contra laudos arbitrales. Editorial Adrus, 2012.

APA, Harvard, Vancouver, ISO, and other styles
10

(Indonesia), Pusat Bahasa. Acep Zamzam Noor: Penerima Hadiah Sastra Asia Tenggara = awardee of the S.E.A. Write Awards, 2005. Pusat Bahasa, Departemen Pendidikan Nasional, 2005.

APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Write Award"

1

Roberts, Sherry. "The Award Process." In How to Write a Successful Research Grant Application. Springer US, 1995. http://dx.doi.org/10.1007/978-1-4757-2393-9_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Stover, Ellen. "The Award Process." In How to Write a Successful Research Grant Application. Springer US, 2010. http://dx.doi.org/10.1007/978-1-4419-1454-5_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Vamsikrishna, Meduri Venkata, Zhan Su, and Kian-Lee Tan. "A Write Efficient PCM-Aware Sort." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-32600-4_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Zhang, Xi, Qian Hu, Dongsheng Wang, Chongmin Li, and Haixia Wang. "A Read-Write Aware Replacement Policy for Phase Change Memory." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24151-2_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Kishani, Mostafa, Amirali Baniasadi, and Hossein Pedram. "Using Silent Writes in Low-Power Traffic-Aware ECC." In Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24154-3_19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Monazzah, Amir Mahdi Hosseini, Amir M. Rahmani, Antonio Miele, and Nikil Dutt. "Exploiting Memory Resilience for Emerging Technologies: An Energy-Aware Resilience Exemplar for STT-RAM Memories." In Dependable Embedded Systems. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-52017-5_21.

Full text
Abstract:
AbstractDue to the consistent pressing quest of larger on-chip memories and caches of multicore and manycore architectures, Spin Transfer Torque Magnetic RAM (STT-MRAM or STT-RAM) has been proposed as a promising technology to replace classical SRAMs in near-future devices. Main advantages of STT-RAMs are a considerably higher transistor density and a negligible leakage power compared with SRAM technology. However, the drawback of this technology is the high probability of errors occurring especially in write operations. Such errors are asymmetric and transition-dependent, where 0 → 1 is the most critical one, and is high subjected to the amount and current (voltage) supplied to the memory during the write operation. As a consequence, STT-RAMs present an intrinsic trade-off between energy consumption vs. reliability that needs to be properly tuned w.r.t. the currently running application and its reliability requirement. This chapter proposes FlexRel, an energy-aware reliability improvement architectural scheme for STT-RAM cache memories. FlexRel considers a memory architecture provided with Error Correction Codes (ECCs) and a custom current regulator for the various cache ways and conducts a trade-off between reliability and energy consumption. FlexRel cache controller dynamically profiles the number of 0 → 1 transitions of each individual bit write operation in a cache block and based on that selects the most-suitable cache way and current level to guarantee the necessary error rate threshold (in terms of occurred write errors) while minimizing the energy consumption. We experimentally evaluated the efficiency of FlexRel against the most efficient uniform protection scheme from reliability, energy, area, and performance perspectives. Experimental simulations performed by using gem5 has demonstrated that while FlexRel satisfies the given error rate threshold, it delivers up to 13.2% energy saving. From the area footprint perspective, FlexRel delivers up to 7.9% cache ways’ area saving. Furthermore, the performance overhead of the FlexRel algorithm which changes the traffic patterns of the cache ways during the executions is 1.7%, on average.
APA, Harvard, Vancouver, ISO, and other styles
7

Qiu, Keni, Qingan Li, Jingtong Hu, Weigong Zhang, and Chun Jason Xue. "Write Mode Aware Loop Tiling for High-Performance Low-Power Volatile PCM in Embedded Systems." In Smart Sensors and Systems. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-42234-9_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Costea, Andreea, Amy Zhu, Nadia Polikarpova, and Ilya Sergey. "Concise Read-Only Specifications for Better Synthesis of Programs with Pointers." In Programming Languages and Systems. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-44914-8_6.

Full text
Abstract:
AbstractIn program synthesis there is a well-known trade-off between concise and strong specifications: if a specification is too verbose, it might be harder to write than the program; if it is too weak, the synthesised program might not match the user’s intent. In this work we explore the use of annotations for restricting memory access permissions in program synthesis, and show that they can make specifications much stronger while remaining surprisingly concise. Specifically, we enhance Synthetic Separation Logic (SSL), a framework for synthesis of heap-manipulating programs, with the logical mechanism of read-only borrows.We observe that this minimalistic and conservative SSL extension benefits the synthesis in several ways, making it more (a) expressive (stronger correctness guarantees are achieved with a modest annotation overhead), (b) effective (it produces more concise and easier-to-read programs), (c) efficient (faster synthesis), and (d) robust (synthesis efficiency is less affected by the choice of the search heuristic). We explain the intuition and provide formal treatment for read-only borrows. We substantiate the claims (a)–(d) by describing our quantitative evaluation of the borrowing-aware synthesis implementation on a series of standard benchmark specifications for various heap-manipulating programs.
APA, Harvard, Vancouver, ISO, and other styles
9

Herschbach, Dudley. "An Homage to Otto Stern." In Molecular Beams in Physics and Chemistry. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-63963-1_1.

Full text
Abstract:
AbstractThis chapter outlines an International Symposium held at Frankfurt on 1–5 September 2019. It marked the centennial of quantitative experiments with molecular beams, pioneered by Otto Stern. The European Physical Society declared Stern’s original laboratory a Historic Site, the fifth in Germany. As a graduate student in 1955, I learned about Otto Stern (1888–1969) and the impact of his molecular beams on quantum physics. I was intrigued and undertook crossed-beam experiments at Berkeley. In 1960 Otto came to a seminar that I gave. Later I met him, and heard some of his stories. The rest of the chapter describes his Nobel Prize and other Fests. In 1958 his long-term colleague, Immanuel Estermann, organized a celebration and Festschrift for Otto’s 70th birthday. In 1988, as a guest editor, I organized a Festschift for the centennial of Otto’s birth. That year, the German Physical Society established the Stern-Gerlach Prize as its highest award for experimental physics. Bretislav Friedrich and I wrote three papers about Stern. Since 2000, Horst Schmidt-Böcking at Frankfurt and colleagues have produced historical articles, along with a book about Otto, edited and bound all of his research papers into books, and diligently pursued letters to and from Otto, collecting them into large volumes.
APA, Harvard, Vancouver, ISO, and other styles
10

Frers, Lars. "Conclusions: Touching and Being Touched – Experience and Ethical Relations." In IMISCOE Research Series. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-67608-7_5.

Full text
Abstract:
AbstractSometimes, research can hit you in the stomach, making you angry and upset, possibly sick. With a bit of luck, this can be fine, as discontentment can be a force that propels you to become active and engage yourself. Sometimes, research can resonate in your heart, making you aware and empathetic. Not much luck is needed in these cases, as this will hopefully also stimulate you to get new ideas, a better understanding or hopefully even give you a better foothold for whatever you do in practice. Most of the time, research just passes you by, not leaving much of an impression. We do know that words can make a difference, that words can touch you. They evoke many different thoughts and emotions. It is not a single word alone that does this, it is the flow and rhythm of a text, how it takes the reader along, cognitively but also in space and time and in an embodied manner. To achieve different effects, we place words differently, we craft sentences that appeal to different senses and sensibilities, we use terms or jargon, we write complex sentences that juxtapose hosts of different qualities, as Michel Serres does in in The Five Senses (2008). We present a clear definition, we unfold arguments or put something to the point. Most of the word work we do, we do on our keyboards, sitting at a desk, in a train carriage or lying on a sofa. Thus, this word work happens remote from the site where our study took place, it is definitely not the same as the field work that we do, it is not the same as the numbers and algorithms that make up our data. But done well, it can still evoke the sense of what happens or happened “out there” in the field, the phenomena that the numbers point to, be they the numbers of people crossing a border or the feeling of someone who is lost or maybe even hunted (Guttorm, 2016).
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Write Award"

1

Haghdoost, Alireza, and David H. C. Du. "OWBP: Flash-Aware Offline Write Buffer Policy." In 2016 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW). IEEE, 2016. http://dx.doi.org/10.1109/ipdpsw.2016.96.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Zhou, Da, and Xiaofeng Meng. "A Flash-Aware Random Write Optimized Database." In 2010 Eleventh International Conference on Mobile Data Management. IEEE, 2010. http://dx.doi.org/10.1109/mdm.2010.56.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Noguchi, Hiroki, Kazutaka Ikegami, Satoshi Takaya, et al. "7.2 4Mb STT-MRAM-based cache with memory-access-aware power optimization and write-verify-write / read-modify-write scheme." In 2016 IEEE International Solid-State Circuits Conference (ISSCC). IEEE, 2016. http://dx.doi.org/10.1109/isscc.2016.7417942.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Tabosa, Davi Batista, and Windson Viana. "EasyContext: Facilitando o desenvolvimento de aplicações com a Awareness API." In XXIV Simpósio Brasileiro de Sistemas Multimídia e Web. Sociedade Brasileira de Computação - SBC, 2018. http://dx.doi.org/10.5753/webmedia.2018.4565.

Full text
Abstract:
Due to the popularity of smartphones and their built-in sensors, Context-Aware Mobile (CAM) applications are on the rise. Some libraries and APIs help developers to create CAM applications, such as the Google Awareness API. However, the initial configuration, the write of context-aware rules, and code readability persist being complex tasks, specially for beginner developers. This paper proposes an approach to ease the development of CAM applications using Awareness API. Our proposal, called EasyContext, includes a Web Configurator and an Android Framework, which hides code complexity and the Awareness API configuration. A PoC using the EasyContext is also presented.
APA, Harvard, Vancouver, ISO, and other styles
5

Awad, Amro, Sergey Blagodurov, and Yan Solihin. "Write-Aware Management of NVM-based Memory Extensions." In ICS '16: 2016 International Conference on Supercomputing. ACM, 2016. http://dx.doi.org/10.1145/2925426.2926284.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Calciu, Irina, Dave Dice, Yossi Lev, Victor Luchangco, Virendra J. Marathe, and Nir Shavit. "NUMA-aware reader-writer locks." In the 18th ACM SIGPLAN symposium. ACM Press, 2013. http://dx.doi.org/10.1145/2442516.2442532.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Yang, Yue, and Jianwen Zhu. "Algebraic modeling of write amplification in hotness-aware SSD." In SYSTOR 2015: International Conference on Systems and Storage. ACM, 2015. http://dx.doi.org/10.1145/2757667.2757671.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Chien, Tsai-Kan, Lih-Yih Chiou, Yi-Sung Tsou, et al. "Write-energy-saving ReRAM-based nonvolatile SRAM with redundant bit-write-aware controller for last-level caches." In 2017 IEEE/ACM International Symposium on Low Power Electronics and Design (ISLPED). IEEE, 2017. http://dx.doi.org/10.1109/islped.2017.8009153.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Koshiba, Atsushi, Takahiro Hirofuchi, Soramichi Akiyama, Ryousei Takano, and Mitaro Namiki. "Towards write-back aware software emulator for non-volatile memory." In 2017 IEEE 6th Non-Volatile Memory Systems and Applications Symposium (NVMSA). IEEE, 2017. http://dx.doi.org/10.1109/nvmsa.2017.8064479.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Rani, Khushboo, and Hemangee K. Kapoor. "Write Variation Aware Non-volatile Buffers for On-Chip Interconnects." In 2019 32nd International Conference on VLSI Design and 2019 18th International Conference on Embedded Systems (VLSID). IEEE, 2019. http://dx.doi.org/10.1109/vlsid.2019.00020.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography