Results 21 to 30 of about 18,694,941 (118)

Towards ANSI C Program Slicing using XML [PDF]

, 2002
In this paper, we consider ANSI C program slicing using XML (Extensible Markup Language). Our goal is to build a flexible, useful and uniform data interchange format for CASE tools, which is a key issue to make it much easier to develop CASE tools such ...
Kawashima, Hayato, Gondow, Katsuhiko
core   +1 more source

IMPLEMENTACIÓN CLIENTE SERVIDOR MEDIANTE SOCKETS [PDF]

, 2011
Este artículo pretende hacer visibles los requerimientos tanto físicos, lógicos y funcionales necesarios para establecer una comunicación entre dos computadores utilizando sockets; se plantean los diferentes protocolos mediante los cuales se puede ...
Fuquene Ardila, Hector Julio
core   +2 more sources

Translating Timing into an Architecture: The Synergy of COTSon and HLS (Domain Expertise—Designing a Computer Architecture via HLS)

International Journal of Reconfigurable Computing, Volume 2019, Issue 1, 2019., 2019
Translating a system requirement into a low‐level representation (e.g., register transfer level or RTL) is the typical goal of the design of FPGA‐based systems. However, the Design Space Exploration (DSE) needed to identify the final architecture may be time consuming, even when using high‐level synthesis (HLS) tools. In this article, we illustrate our
Roberto Giorgi, Farnam Khalili, Marco Procaccini, Wim Vanderbauwhede   +3 more
wiley   +1 more source

Power‐Efficient Computing: Experiences from the COSA Project

Scientific Programming, Volume 2017, Issue 1, 2017., 2017
Energy consumption is today one of the most relevant issues in operating HPC systems for scientific applications. The use of unconventional computing systems is therefore of great interest for several scientific communities looking for a better tradeoff between time‐to‐solution and energy‐to‐solution.
Daniele Cesini, Elena Corni, Antonio Falabella, Andrea Ferraro, Lucia Morganti, Enrico Calore, Sebastiano Fabio Schifano, Michele Michelotto, Roberto Alfieri, Roberto De Pietri, Tommaso Boccali, Andrea Biagioni, Francesca Lo Cicero, Alessandro Lonardo, Michele Martinelli, Pier Stanislao Paolucci, Elena Pastorelli, Piero Vicini, Basilio B. Fraguela   +18 more
wiley   +1 more source

Context-bounded model checking of LTL properties for ANSI-C software

, 2011
Context-bounded model checking has successfully been used to verify safety properties in multi-threaded systems automatically, even if they are implemented in low-level programming languages like ANSI-C.
Denis Nicole, Nicole, Denis, Cordeiro, Lucas, Fischer, Bernd, Lucas Cordeiro, Jeremy Morse, Morse, Jeremy, Cordeiro, Lucas; id_orcid, Bernd Fischer   +8 more
core   +1 more source

Experimental Evaluation of ZigBee‐Based Wireless Networks in Indoor Environments

Journal of Engineering, Volume 2013, Issue 1, 2013., 2013
ZigBee is an emerging standard specifically designed for wireless personal area networks (WPANs) with a focus on enabling the wireless sensor networks (WSNs). It attempts to provide a low‐data rate, low‐power, and low‐cost wireless networking on the device‐level communication.
Jin-Shyan Lee, Yuan-Ming Wang, Christos Bouras   +2 more
wiley   +1 more source

Power Line Communications for Smart Grid Applications

Journal of Electrical and Computer Engineering, Volume 2013, Issue 1, 2013., 2013
Power line communication, that is, using the electricity infrastructure for data transmission, is experiencing a renaissance in the context of Smart Grid. Smart Grid objectives include the integration of intermittent renewable energy sources into the electricity supply chain, securing reliable electricity delivery, and using the existing electrical ...
Lars Torsten Berger, Andreas Schwager, J. Joaquín Escudero-Garzás, Ahmed Zeddam   +3 more
wiley   +1 more source

Optical Wireless Data and Power Transfer for In‐Body Electronic Devices: A Proof‐of‐Concept Study Using Ex Vivo Porcine Samples

IET Optoelectronics, Volume 19, Issue 1, January/December 2025.
The proposed system architecture of joint data and power transfer based on optical technology to in‐body electronics devices. ABSTRACT This study presents a proof‐of‐concept system for the joint wireless transfer of data and power to in‐body electronic devices (IEDs) using near‐infrared (NIR) light technology. The proposed system addresses two critical
Syifaul Fuada, Mariella Särestöniemi, Marcos Katz   +2 more
wiley   +1 more source

High‐Level Synthesis of In‐Circuit Assertions for Verification, Debugging, and Timing Analysis

International Journal of Reconfigurable Computing, Volume 2011, Issue 1, 2011., 2011
Despite significant performance and power advantages compared to microprocessors, widespread usage of FPGAs has been limited by increased design complexity. High‐level synthesis (HLS) tools have reduced design complexity but provide limited support for verification, debugging, and timing analysis.
John Curreri, Greg Stitt, Alan D. George, J. M P Cardoso   +3 more
wiley   +1 more source

Experience with ANSI C Markup Language for a Cross-Referencer [PDF]

, 2003
The purpose of this paper is twofold: (1) to examine the properties of our ANSI C Markup Language (ACML) as a domain-specific language (DSL); and (2) to show that ACML is useful as a DSL by implementing an ANSI C cross-referencer using ACML.
H. Kawashima, K. Gondow, Hayato Kawashima, Katsuhiko Gondow   +3 more
core   +1 more source