Benjamin Carrión Schäfer

Learn More
A method to accelerate the Design Space Exploration (DSE) of behavioral descriptions for high-level synthesis based on a divide and conquer method called Divide and Conquer Exploration Algorithm (DC-ExpA) is presented. DC-ExpA parses an untimed behavioral description given in C or SystemC and clusters interdependent operations which are in turn explored(More)
Circomics was coined to describe the combination of rolling circle amplification (RCA), restriction fragment length polymorphism (RFLP) and pyro-sequencing to investigate the genome structures of small circular DNAs. A batch procedure is described using 61 plant samples from Asia, South America and Central America which revealed 83 contig sequences of(More)
Begomovirus is the largest genus within the family Geminiviridae and includes economically important plant DNA viruses infecting a broad range of plant species and causing devastating crop diseases, mainly in subtropical and tropical countries. Besides cultivated plants, many weeds act as virus reservoirs. Eight begomovirus isolates from Bolivian weeds were(More)
A machine learning-based predictive model design space exploration (DSE) method for high-level synthesis (HLS) is presented. The method creates a predictive model for a training set until a given error threshold is reached and then continues with the exploration using the predictive model avoiding time-consuming synthesis and simulations of new(More)
High-level synthesis (HLS) is being increasingly used for commercial VLSI designs. This has led to the proliferation of many HLS tools. In order to evaluate their performance and functionalities, a standard benchmark suite in a common language supported by all of them is required. This letter presents a benchmark suite, which complies with the latest(More)
Asystasia gangetica (Acanthaceae) from tropical Africa and Asia is used as source of food and for medical applications. Plants collected in West Africa in the 1980s with typical geminivirus symptoms showed an unusual symptom segregation that included vein yellowing, curling and mosaic, which were present simultaneously or separately on different leaves of(More)
Very long instruction word processors (VLIW) allow to execute multiple instructions in parallel. At the same time VLIW compilers optimize the source code for maximum performance by grouping as many instructions in parallel as possible. This work addresses the problem of thermal- awareness in VLIW compilers with a temperature control and reduction techniques(More)
<para> This paper presents a clustering method called clustering design space exploration (CDS-ExpA) to accelerate the architectural exploration of behavioral descriptions in C and SystemC. The trade-offs between faster exploration versus optimality of results are investigated. Two variations of CDS-ExpA were developed: CDS-ExpA(min) and CDS-ExpA(max).(More)
Circomics (circular DNA genomics), the combination of rolling circle amplification (RCA), restriction fragment length polymorphism (RFLP) analysis and pyro-sequencing, has been used recently to identify geminiviruses with high efficiency and low costs. Circular DNAs associated with Cuban geminiviruses were characterised by RCA/RFLP analysis and 454(More)
Logic locking is an intellectual property (IP) protection technique that prevents IP piracy, reverse engineering and overbuilding attacks by the untrusted foundry or end-users. Existing logic locking techniques are all based on locking the functionality; the design/chip is nonfunctional unless the secret key has been loaded. Existing techniques are(More)