1010 search results - page 172 / 202 » Logics for Contravariant Simulations |
114
click to vote
ISMVL
2000
IEEE
15 years 6 months ago
2000
IEEE
Evolvable Hardware (EHW) refers to HW design and self-reconfiguration using evolutionary/genetic mechanisms. The paper presents an overview of some key concepts of EHW, comments o...
115
click to vote
CCS
2000
ACM
15 years 6 months ago
2000
ACM
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...
116
click to vote
ICCD
1999
IEEE
15 years 6 months ago
1999
IEEE
Current trends in DRAM memory chip fabrication have led many researchers to propose \intelligent memory" architectures that integrate microprocessors or logic with memory. Su...
125
click to vote
CIKM
1999
Springer
15 years 6 months ago
1999
Springer
A number of recent technological trends have made data intensive applications such as continuous media audio and video servers a reality. These servers are expected to play an i...
MSE
1999
IEEE
15 years 6 months ago
1999
IEEE
Intellectual property IP blocks are being created for reuse and marketed as a means of reducing the development time of complex designs. This in turn leads to a reduction in time ...