Results 341 to 350 of about 4,892,723 (368)
Some of the next articles are maybe not open access.
Dynamical memristors for higher-complexity neuromorphic computing
Nature Reviews Materials, 2022Suhas Kumar +2 more
exaly
1995
Formal program design methods are most useful when supported with suitable mechanization. This need for mechanization has long been apparent, but there have been doubts whether verification technology could cope with the problems of scale and complexity.
openaire +2 more sources
Formal program design methods are most useful when supported with suitable mechanization. This need for mechanization has long been apparent, but there have been doubts whether verification technology could cope with the problems of scale and complexity.
openaire +2 more sources
Memory devices and applications for in-memory computing
Nature Nanotechnology, 2020Abu Sebastian +2 more
exaly
Resource Scheduling in Edge Computing: A Survey
IEEE Communications Surveys and Tutorials, 2021Changle Li, Guanghui Li, Quyuan Luo
exaly
Computer vs Computer via Computer
ICGA Journal, 1984Tim Breikreutz, Jonathan Schaeffer
openaire +2 more sources
Edge Computing in Industrial Internet of Things: Architecture, Advances and Challenges
IEEE Communications Surveys and Tutorials, 2020Jiancheng Chi, Tie Qiu, Xiaobo Zhou
exaly