Sciweavers

12334 search results - page 55 / 2467
» The Use of C
Sort
View
SBACPAD
2003
IEEE
137views Hardware» more  SBACPAD 2003»
14 years 3 months ago
Exploring Memory Hierarchy with ArchC
This paper presents the cache configuration exploration of a programmable system, in order to find the best matching between the architecture and a given application. Here, prog...
Pablo Viana, Edna Barros, Sandro Rigo, Rodolfo Aze...
IFM
2010
Springer
205views Formal Methods» more  IFM 2010»
13 years 7 months ago
Adding Change Impact Analysis to the Formal Verification of C Programs
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
Serge Autexier, Christoph Lüth
EMSOFT
2005
Springer
14 years 3 months ago
Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip
SystemC is becoming a de-facto standard for the description of complex systems-on-a-chip. It enables system-level descriptions of SoCs: the same language is used for the descripti...
Matthieu Moy, Florence Maraninchi, Laurent Maillet...
FDL
2005
IEEE
14 years 3 months ago
An HW/SW Co-design Environment based on UML and SystemC
This paper outlines some fundamental concepts for the development of a system design framework based on standard notations and common CASE tools. We describe an environment for HW...
Elvinia Riccobene, Patrizia Scandurra, Alberto Ros...
BMCBI
2010
134views more  BMCBI 2010»
13 years 10 months ago
Localizing triplet periodicity in DNA and cDNA sequences
Background: The protein-coding regions (coding exons) of a DNA sequence exhibit a triplet periodicity (TP) due to fact that coding exons contain a series of three nucleotide codon...
Liya Wang, Lincoln D. Stein