Asynchronous processing of formal documents in Coq

A SIMD Cellular Processor Array Vision Chip With Asynchronous Processing Capabilities

IEEE Transactions on Circuits and Systems I Regular Papers ◽

10.1109/tcsi.2011.2131370 ◽

2011 ◽

Vol 58 (10) ◽

pp. 2420-2431 ◽

Cited By ~ 54

Author(s):

Alexey Lopich ◽

Piotr Dudek

Keyword(s):

Processor Array ◽

Vision Chip ◽

Asynchronous Processing

asynchronous processing

10.1007/springerreference_8340 ◽

2011 ◽

Keyword(s):

Asynchronous Processing

Distributed State Estimation Using a Network of Asynchronous Processing Nodes

Advances in Intelligent Systems and Computing - Intelligent Systems in Technical and Medical Diagnostics ◽

10.1007/978-3-642-39881-0_38 ◽

2014 ◽

pp. 453-462

Author(s):

Zdzisław Kowalczuk ◽

Mariusz Domżalski

Keyword(s):

State Estimation ◽

Distributed State Estimation ◽

Asynchronous Processing

Determinants of asynchronous processing in vision

Proceedings of The Royal Society B Biological Sciences ◽

10.1098/rspb.2001.1913 ◽

2002 ◽

Vol 269 (1491) ◽

pp. 579-583 ◽

Cited By ~ 34

Author(s):

Derek H Arnold ◽

Colin W.G Clifford

Keyword(s):

Asynchronous Processing

asynchronous processing

Computer Science and Communications Dictionary ◽

10.1007/1-4020-0613-6_936 ◽

2000 ◽

pp. 70-70

Author(s):

Martin H. Weik

Keyword(s):

Asynchronous Processing

Objective-C Recipes ◽

10.1007/978-1-4302-4372-4_6 ◽

2012 ◽

pp. 197-241

Author(s):

Matthew Campbell

Keyword(s):

Asynchronous Processing

Asynchronous processing in vision

Current Biology ◽

10.1016/s0960-9822(01)00156-7 ◽

2001 ◽

Vol 11 (8) ◽

pp. 596-600 ◽

Cited By ~ 62

Author(s):

Derek H Arnold ◽

Colin W.G Clifford ◽

Peter Wenderoth

Keyword(s):

Asynchronous Processing

Asynchronous Processing for Latent Fingerprint Identification on Heterogeneous CPU-GPU Systems

IEEE Access ◽

10.1109/access.2020.3005476 ◽

2020 ◽

Vol 8 ◽

pp. 124236-124253 ◽

Cited By ~ 2

Author(s):

Andres J. Sanchez-Fernandez ◽

Luis F. Romero ◽

Daniel Peralta ◽

Miguel Angel Medina-Perez ◽

Yvan Saeys ◽

...

Keyword(s):

Fingerprint Identification ◽

Latent Fingerprint ◽

Asynchronous Processing

Managing Proof Documents for Asynchronous Processing

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2008.12.097 ◽

2009 ◽

Vol 226 ◽

pp. 49-66

Author(s):

Holger Gast

Keyword(s):

Asynchronous Processing

The Architectural Pattern of a Highly Extensible System for the Asynchronous Processing of a Large Amount of Data

Journal of Information Processing Systems ◽

10.3745/jips.2013.9.4.567 ◽

2013 ◽

Vol 9 (4) ◽

pp. 567-574 ◽

Cited By ~ 1

Author(s):

Ro Man Hwang ◽

Soo Kyun Kim ◽

Syungog An ◽

Dong-Won Park

Keyword(s):

Architectural Pattern ◽

Asynchronous Processing