21984 search results - page 57 / 4397 » C |
159
click to vote
TSE
2002
15 years 6 months ago
2002
This is the first empirical study of the use of the C macro preprocessor, Cpp. To determine how the
178
click to vote
JUCS
2010
15 years 5 months ago
2010
: In this paper, we describe the static analysis of the XEN 3.0.3 hypervisor using the Frama-C static analysis tool.
172
click to vote
DSL
2009
15 years 4 months ago
2009
Traversals of heterogeneous object structures are the most common operations in schema-first applications where the three key issues are (1) separation of traversal specifications ...
224
click to vote
NAR
2011
14 years 9 months ago
2011
The catfish genome database, cBARBEL (abbreviated from catfish Breeder And Researcher Bioinformatics Entry Location) is an online open-access database for genome biology of ictalu...
157
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper, we propose a multi-task mapping/scheduling technique for heterogeneous and scalable MPSoC. To utilize the large number of cores embedded in MPSoC, the proposed te...