Sciweavers

21984 search results - page 35 / 4397
» C
Sort
View
APSEC
2004
IEEE
13 years 11 months ago
Binary-Level Lightweight Data Integration to Develop Program Understanding Tools for Embedded Software in C
In embedded software development, the programming language C and inline assembly code are traditionally widely used. However, tools for C program-understanding, e.g., cross-refere...
Katsuhiko Gondow, Tomoya Suzuki II, Hayato Kawashi...
CSE
2008
IEEE
13 years 8 months ago
A High-Throughput Multi-cluster NoC Architecture
During the last years a large number of research works has focused on problems related to multi-core processors. Due to the possibilities of many cores, the number of opportunitie...
Henrique C. Freitas, Philippe Olivier Alexandre Na...
ENTCS
2006
151views more  ENTCS 2006»
13 years 7 months ago
Extending C for Checking Shape Safety
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
Mike Dodds, Detlef Plump
SIAMCO
2000
164views more  SIAMCO 2000»
13 years 7 months ago
(C, A)-Invariance of Modules over Principal Ideal Domains
Abstract. For discrete-time linear systems over a principal ideal domain, three types of (C, A)invariance can be distinguished. Connections between these notions are investigated. ...
Naoharu Ito, Wiland Schmale, Harald K. Wimmer
CONCURRENCY
1998
119views more  CONCURRENCY 1998»
13 years 7 months ago
C to Java: Converting Pointers into References
We consider the problem of converting C pointers to the less flexible concept of references. Our main application is converting scientific applications from C to Java. We provid...
Erik D. Demaine