2251 search results - page 162 / 451 » Specification and Implementation Problems for C |
161
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: Gene expression data can be analyzed by summarizing groups of individual gene expression profiles based on GO annotation information. The mean expression profile per g...
173
click to vote
ANSOFT
2002
15 years 3 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
134
click to vote
CODES
2009
IEEE
15 years 8 months ago
2009
IEEE
In a multiprocessor system-on-chip (MPSoC) private caches introduce the cache coherence problem. Here, we target at heterogeneous MPSoCs with a network-on-chip (NoC). Existing har...
127
click to vote
SIPS
2007
IEEE
15 years 10 months ago
2007
IEEE
System-on-Chip (SoC) designs become more complex nowadays. The communication between each processing element often suffers challenges due to the wiring problem. Networks-on-Chip (...
149
click to vote
JSC
2010
15 years 2 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...