57 search results - page 2 / 12 » Hardware-software coverification of concurrent embedded real... |
ICANN
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. One focus of recent research in the field of biologically plausible neural networks is the investigation of higher-level functions such as learning, development and modu...
RTAS
2005
IEEE
13 years 11 months ago
2005
IEEE
ECRTS
1999
IEEE
13 years 9 months ago
1999
IEEE
VLSID
2003
IEEE
14 years 5 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
CODES
1999
IEEE
13 years 9 months ago
1999
IEEE