Filters








169,075 Hits in 5.0 sec

Test Generation for SystemC designs by interlaced Greybox Fuzzing and Concolic Execution [article]

Mukta Debnath, Animesh Basak Chowdhury, Debasri Saha, Susmita Sur-Kolay
<span title="2022-05-10">2022</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Recent success in high-level synthesis ( HLS ) has enabled designing complex hardware with better abstraction and configurability in high-level languages (e.g.  ...  Recent works have demonstrated the success of software testing techniques such as greybox fuzzing and concolic execution to obtain better coverage on SystemC designs.  ...  Fuzzing and Concolic Execution of SystemC Designs: We interleave greybox fuzzing and concolic execution in an algorithmic manner, extenuating the problems associated with standalone techniques.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2205.04047v2">arXiv:2205.04047v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/n5g3opluivcvfpb7s3r45rgz4q">fatcat:n5g3opluivcvfpb7s3r45rgz4q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220512035944/https://arxiv.org/pdf/2205.04047v1.pdf" title="fulltext PDF download [not primary version]" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <span style="color: #f43e3e;">&#10033;</span> <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8b/fe/8bfe1219c5e78075bb0a6dc71f8b8e8d7a365f5a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2205.04047v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

IMPLEMENTATION OF CONCOLIC UNIT TESTING IN TESTING BINARY SEARCH ALGORITHM USING JCUTE

Neneng Rachmalia Feta, Fitria Fitria
<span title="2022-02-16">2022</span> <i title="PPPM STMIK Nusa Mandiri"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/pw2iuknmdzbbdlykkipszt7hf4" style="color: black;">JITK (Jurnal Ilmu Pengetahuan dan Teknologi Komputer)</a> </i> &nbsp;
This test is carried out on the search function of an element of data in the Binary Search Search Algorithm.  ...  JCUTE can also find an interleaving of two sequences or circuits that results in an infinite loop.  ...  Symbolic execution differs from traditional symbolic execution in that the algorithm follows a path that requires concrete execution.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.33480/jitk.v7i2.2758">doi:10.33480/jitk.v7i2.2758</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/up4e5a6pjze35hfeinqbphiicq">fatcat:up4e5a6pjze35hfeinqbphiicq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220523220947/https://ejournal.nusamandiri.ac.id/index.php/jitk/article/download/2758/889" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/13/dd/13dd28550fa96ee3ef3a096828b63690b2f8110a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.33480/jitk.v7i2.2758"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

A symbolic execution framework for algorithm-level modelling

Ziyad Hanna, Tom Melham
<span title="">2009</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4xfhwkuqw5f43mad6ock55mkeu" style="color: black;">2009 IEEE International High Level Design Validation and Test Workshop</a> </i> &nbsp;
We describe an experimental framework for direct symbolic execution of models in this language, intended as a basis for both property and refinement verification, as well as design exploration.  ...  We aim to show the utility of our language and symbolic execution framework for exploring microarchitectural algorithm and to validate designs using dynamic or formal techniques, yielding more productive  ...  ACKNOWLEDGMENTS We are grateful to the Microsoft Research team, including Yuri Gurevich and Wolfram Schulte, for their initial support in AsmL and Spec Explorer.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hldvt.2009.5340168">doi:10.1109/hldvt.2009.5340168</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/hldvt/HannaM09.html">dblp:conf/hldvt/HannaM09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/s7ugbceedjf4hgpvmtfpr3yyoe">fatcat:s7ugbceedjf4hgpvmtfpr3yyoe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830011848/http://www.cs.ox.ac.uk/tom.melham/pub/Hanna-2009-SEF.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f8/52/f85228df45c400ece686aee5b9871bc6217f2a57.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hldvt.2009.5340168"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A Symbolic Approach to Detecting Hardware Trojans Triggered by Don't Care Transitions [article]

Ruochen Dai, Tuba Yavuz
<span title="2021-11-07">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In this paper, we present a symbolic approach to detecting don't care transitions and the hidden Trojans.  ...  One type of hardware Trojans leverages the don't care transitions in Finite State Machines (FSMs) of hardware designs.  ...  Algorithm 3: Symbolic Execution Algorithm (SymEx) as adapted for a HW design.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2111.03989v1">arXiv:2111.03989v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/w72t5zor45f7hcii6jqu3a755q">fatcat:w72t5zor45f7hcii6jqu3a755q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20211116105112/https://arxiv.org/pdf/2111.03989v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/20/2a/202a7f09003add0ddb4ae94cbcf9bf8576136579.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2111.03989v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Efficient validation input generation in RTL by hybridized source code analysis

Lingyi Liu, S Vasudevan
<span title="">2011</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qjrrvry5ubgdlarkymvlxuip6m" style="color: black;">2011 Design, Automation &amp; Test in Europe</a> </i> &nbsp;
The corresponding symbolic trace is extracted from the CFG with an RTL symbolic execution engine. A guard in the symbolic expression is mutated.  ...  We implement the Verilog RTL symbolic execution engine and show that the notion of branchcoverage directed exploration can avoid path explosion caused by previous path-based approach to input vector generation  ...  Symbolic execution follows a single execution path in the design, as opposed to symbolically simulating all paths pertaining to each process in the design.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/date.2011.5763253">doi:10.1109/date.2011.5763253</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/date/LiuV11.html">dblp:conf/date/LiuV11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7tv7pjyqebhebdejf6nvzwjh3y">fatcat:7tv7pjyqebhebdejf6nvzwjh3y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170831125931/https://www.computer.org/csdl/proceedings/date/2011/4208/00/05763253.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f3/60/f360cf667861f8651dfc782f32645be31cd187d4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/date.2011.5763253"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

On the architecture and implementation of tree-based genetic programming in HeuristicLab

Michael Kommenda, Gabriel Kronberger, Stefan Wagner, Stephan Winkler, Michael Affenzeller
<span title="">2012</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/fdhfwmjdwjbvxo6zc7cdt5hi7q" style="color: black;">Proceedings of the fourteenth international conference on Genetic and evolutionary computation conference companion - GECCO Companion &#39;12</a> </i> &nbsp;
In particular we focus on the core design goals, namely extensibility, usability, and performance optimization and explain our approach to reach these goals.  ...  The overall design, the encoding, interpretation, and evaluation of programs is described and code examples are given to explain core aspects of the framework.  ...  Design Considerations Separation of Algorithms, Encodings, and Problems The first design consideration is separation of the algorithm, the encoding, and the problem (as shown in Figure 1 ).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2330784.2330801">doi:10.1145/2330784.2330801</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/gecco/KommendaKWWA12.html">dblp:conf/gecco/KommendaKWWA12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6lalf7u3fjaopljnqd4oiaosqe">fatcat:6lalf7u3fjaopljnqd4oiaosqe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829010108/http://research.fh-ooe.at/files/publications/2933_GECCO_2012_Kommenda.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/28/99/28995dbdffcfc577f5ed59f0019a006933c5afc4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2330784.2330801"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Research on Fuzz Testing Framework based on Concolic Execution

Xiong Xie, Yuhang Chen
<span title="2018-01-10">2018</span> <i title="DEStech Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/52spf3of4jbu5da2xrhvubclcy" style="color: black;">DEStech Transactions on Computer Science and Engineering</a> </i> &nbsp;
The work of this paper is to design and realize a fuzz framework based on concolic execution using C++.  ...  of these symbolic variables executed in the CFG.  ...  The all path generated by the algorithm are shown in TABLE I. The main process is in the Figure 2 , the tree is a symbolic execution tree generated by test program.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.12783/dtcse/csae2017/17478">doi:10.12783/dtcse/csae2017/17478</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5jr6s535cjdehnlhx2a64f4l7e">fatcat:5jr6s535cjdehnlhx2a64f4l7e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190426085449/http://dpi-proceedings.com/index.php/dtcse/article/download/17478/16985" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/19/bf/19bf1500730ec7da913630c57f15c3215feb822f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.12783/dtcse/csae2017/17478"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Problem solving techniques for the design of algorithms

Elaine Kant, Allen Newell
<span title="">1984</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/v5dch4enzne6phusiwdh25za24" style="color: black;">Information Processing &amp; Management</a> </i> &nbsp;
A particularly versatile problem-solving method in this problem space is symbolic execution, which can be used to refine, verify, or explain components of an algorithm.  ...  In this paper we present a model of algorithm design based on our analysis of the protocols of two subjects designing three convex hull algorithms.  ...  Acknowledgements Acknowledgements We thank our subjects for their time and interest in this project. David Steier carefully read a draft of this paper and provided many helpful comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0306-4573(84)90042-6">doi:10.1016/0306-4573(84)90042-6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tlqk34frzfcktmnjjdv37hy4qu">fatcat:tlqk34frzfcktmnjjdv37hy4qu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922041902/http://repository.cmu.edu/cgi/viewcontent.cgi?article=3506&amp;context=compsci" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/08/6e/086e671fa6572a9ad84448895ed828e071d75064.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0306-4573(84)90042-6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

A Scalable Symbolic Simulator for Verilog RTL

Sasidhar Sunkari, Supratik Chakraborty, Vivekananda Vedula, Kailasnath Maneparambil
<span title="">2007</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/3oppyhkpfrbzpipvfilo5id3jq" style="color: black;">2007 Eighth International Workshop on Microprocessor Test and Verification</a> </i> &nbsp;
We also present initial experimental results obtained by applying our algorithms to a Verilog model of an x86 processor design.  ...  Symbolic simulation is an important technique used in formal property verification and test generation for digital circuits.  ...  Acknowledgment The authors would like to thank Ashutosh Kulkarni and Kaustubh Nimkar for their inputs and help in the implementation of the symbolic simulator.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/mtv.2007.13">doi:10.1109/mtv.2007.13</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/mtv/SunkariCVM07.html">dblp:conf/mtv/SunkariCVM07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/j4dgegytybazlghcj56yp6omkq">fatcat:j4dgegytybazlghcj56yp6omkq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180722170950/http://dspace.library.iitb.ac.in/xmlui/bitstream/handle/10054/1391/4620136.pdf;jsessionid=D9E430D17E4234A88070CFD4FF9A2333?sequence=3" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9a/3f/9a3fe5303e6748ffb3a75883b3e83fc1ee0ab02b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/mtv.2007.13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Complex instruction and software library mapping for embedded software using symbolic algebra

A. Peymandoust, T. Simunic, G. De Micheli
<span title="">2003</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rl7xk4fwazdrred2difr6v3lii" style="color: black;">IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems</a> </i> &nbsp;
In this paper, we present a tool flow and a methodology, SymSoft, that automates the use of complex processor instructions and preoptimized software library routines using symbolic algebraic techniques  ...  Since the decoder executes faster than real-time playback, additional energy savings are now possible by using processor frequency and voltage scaling.  ...  This algorithm is implemented in C with calls to Maple V for the symbolic manipulations.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tcad.2003.814951">doi:10.1109/tcad.2003.814951</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4c2bfgc6gfa7dbpgkhfczyar24">fatcat:4c2bfgc6gfa7dbpgkhfczyar24</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050506073051/http://chronos.stanford.edu:80/users/nanni/publications/archive/2003/CADIS964.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a4/2c/a42c3a8b35e0554c94eac3c42da50edf730aee1b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tcad.2003.814951"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

AlgoSketch: Algorithm Sketching and Interactive Computation [article]

Chuanjun Li, Timothy S. Miller, Robert C. Zeleznik, Joseph J. LaViola Jr.
<span title="">2008</span> <i title="The Eurographics Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jr7zmaowq5a3djlbdocjvzag3i" style="color: black;">Sketch-Based Interfaces and Modeling</a> </i> &nbsp;
AlgoSketch lets users fluidly enter and edit 2D handwritten mathematical expressions in the form of pseudocode-like descriptions to support the algorithm design and development process.  ...  In this paper, we present the details behind AlgoSketch including the design of our 2D algorithmic description language, support for iteration and flow of control constructs and a simple debugging trace  ...  Acknowledgements This work is supported, in part, with grants from Microsoft Research and IARPA.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2312/sbm/sbm08/175-182">doi:10.2312/sbm/sbm08/175-182</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7r4vgnuvqvbb5p4bj5jvpdf6pm">fatcat:7r4vgnuvqvbb5p4bj5jvpdf6pm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811204656/http://www.eecs.ucf.edu/~jjl/pubs/AlgoSketch-sbim08-final.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/24/62/24625d6cbc924cf805563c23b35b06b310215531.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2312/sbm/sbm08/175-182"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Strengthening measurements from the edges

Simone Basso, Michela Meo, Juan Carlos De Martin
<span title="2013-07-01">2013</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/g4bof3rzarbpjigq5zxjkozv2u" style="color: black;">Computer communication review</a> </i> &nbsp;
In contrast with traditional approaches, iNFAnt adopts non-deterministic automata, allowing the compilation of very large and complex rule sets that are otherwise hard to treat. iNFAnt is explicitly designed  ...  After multistriding it is possible for the traversal algorithm to consider pairs of symbols at once, thus reducing global execution time.  ...  The CPU executes this algorithm in pipeline with GPU-based automaton traversal, reducing its run-time impact; the number of symbols to be processed is halved by each rewrite and, by extension, the time  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2500098.2500104">doi:10.1145/2500098.2500104</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tdrqb4erc5e4za6hm7inxscvgu">fatcat:tdrqb4erc5e4za6hm7inxscvgu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171109104223/https://core.ac.uk/download/pdf/11417510.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a8/f7/a8f789dc15ecbc351feb14716382f1f5f2c832fd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2500098.2500104"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Scalable Path Search for Automated Test Case Generation

Enze Ma, Xiufeng Fu, Xi Wang
<span title="2022-02-26">2022</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ikdpfme5h5egvnwtvvtjrnntyy" style="color: black;">Electronics</a> </i> &nbsp;
This approach combines dataflow analysis and dynamic symbolic execution together, and more importantly, it efficiently searches the program path space for potential faults based on the tabu search strategy  ...  Unlike the traditional symbolic execution, which explores the program space exhaustively and is difficult to apply to complicated programs effectively, our approach automatically explores the feasible  ...  Search Space The search space in the path-selection model is based on the path execution tree that we designed earlier.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/electronics11050727">doi:10.3390/electronics11050727</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/br3u7qlhindalpvx2wf5usczqq">fatcat:br3u7qlhindalpvx2wf5usczqq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220504074641/https://mdpi-res.com/d_attachment/electronics/electronics-11-00727/article_deploy/electronics-11-00727-v2.pdf?version=1646142218" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/46/b7/46b7a6dadce69f5e0b84b592b7402ac7409072b3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/electronics11050727"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </button> </a>

Energy-aware runtime scheduling for embedded-multiprocessor SOCs

Peng Yang, Chung Wong, P. Marchal, F. Catthoor, D. Desmet, D. Verkest, R. Lauwereins
<span title="">2001</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hkpx3vsnhrfb7jh6hlwads7olq" style="color: black;">IEEE Design &amp; Test of Computers</a> </i> &nbsp;
Unfortunately, design technologies have fallen behind advances in processing technology, especially in the context of complex (possibly data-dominated) and very dynamic (partly nondeterministic) applications  ...  Contemporary software (and hardware) design practices for this target class can be described only as ad hoc. The design trajecto-  ...  Also suppose that the coming software thread node's execution time is C and the deadline is D (in symbols).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/54.953271">doi:10.1109/54.953271</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/k4qnyyt4pfcztmt6hkayjrne2a">fatcat:k4qnyyt4pfcztmt6hkayjrne2a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829220220/http://ziyang.eecs.umich.edu/~dickrp/ides/papers/yang-energy-sched.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6a/2d/6a2dd8acd6aedd5341e9a425eb76a82e2c32e404.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/54.953271"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

High-Level Design Space and Flexibility Exploration for Adaptive, Energy-Efficient WCDMA Channel Estimation Architectures

Zoltán Endre Rákossy, Zheng Wang, Anupam Chattopadhyay
<span title="">2012</span> <i title="Hindawi Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/yumlw7fbzbevvi2nz62kksdpwu" style="color: black;">International Journal of Reconfigurable Computing</a> </i> &nbsp;
In this paper, we conduct a case study for representatives of two complexity classes of WCDMA channel estimation algorithms and explore the effect of flexibility on energy efficiency using different implementation  ...  Furthermore, we propose new design guidelines for both highly specialized architectures and highly flexible architectures using high-level synthesis, to enable the required performance and flexibility  ...  All results are for a complete algorithm execution for a slot of 10 symbols for the respective application.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2012/961950">doi:10.1155/2012/961950</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hyxgv237zrddrm6g43fgq2oebi">fatcat:hyxgv237zrddrm6g43fgq2oebi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190309052956/http://pdfs.semanticscholar.org/ff0f/c715788a147fb9683b2462ec19ea35ed01cd.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ff/0f/ff0fc715788a147fb9683b2462ec19ea35ed01cd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2012/961950"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> hindawi.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 169,075 results