4394 search results - page 242 / 879 » Designing agent chips |
142
click to vote
FMCAD
2009
Springer
16 years 17 days ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
213
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents SAgent, a general-purpose mobile agent security framework that is designed to protect the computations of mobile agent applications in potentially hostile envi...
133
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Recent successes in the development and self-assembly of nanoelectronic devices suggest that the ability to manufacture dense nanofabrics is on the near horizon. However, the trem...
198
click to vote
TC
2008
15 years 5 months ago
2008
Numerical linear algebra operations are key primitives in scientific computing. Performance optimizations of such operations have been extensively investigated. With the rapid adva...
177
click to vote
IESS
2007
Springer
16 years 4 days ago
2007
Springer
Abstract System level design is considered a major approach to tackle the complexity of modern System-on-Chip designs. Embedded software within SoCs is gaining importance as it add...