2935 search results - page 110 / 587 » An Integrated Approach to High Integrity Software Verificati... |
142
click to vote
FCCM
2004
IEEE
15 years 8 months ago
2004
IEEE
A circuit and an associated lightweight protocol have been developed to secure communication between a control console and remote programmable network devices1 . The circuit provi...
149
Voted
IESS
2007
Springer
15 years 10 months 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...
138
Voted
JMM
2007
15 years 4 months ago
2007
In this paper, we combine the use of Reduced Feature Vector Integration (RFI) and Distance Integration (DI) with Relevance Feedback (RF) on 3D model similarity retrieval. The RFI ...
193
click to vote
ECBS
1996
IEEE
15 years 8 months ago
1996
IEEE
In this paper, it is shown that, through the use of Model-Integrated Program Synthesis MIPS, parallel real-time implementations of image processing data ows can be synthesized fro...
121
Voted
ISCA
1996
IEEE
15 years 8 months ago
1996
IEEE
Current high performance computer systems use complex, large superscalar CPUs that interface to the main memory through a hierarchy of caches and interconnect systems. These CPU-c...