3154 search results - page 291 / 631 » An annotation based approach to support design communication |
153
click to vote
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents the underlying methodology of Cosmos, an interactive approach for hardware software co-design capable of handling multiprocessor systems and distributed archit...
177
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...
159
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper focuses on spam blog (splog) detection. Blogs are highly popular, new media social communication mechanisms and splogs corrupt blog search results as well as waste netw...
155
click to vote
ENTCS
2010
15 years 6 months ago
2010
An adaptation contract describes composition constraints and adaptation requirements among several services which were not initially built to interoperate with each other. The man...
189
click to vote
CF
2005
ACM
15 years 8 months ago
2005
ACM
Modern microprocessor designs continue to obtain impressive performance gains through increasing clock rates and advances in the parallelism obtained via micro-architecture design...