Sciweavers

6978 search results - page 357 / 1396
» On Proofs in System P
Sort
View
BC
2000
49views more  BC 2000»
15 years 6 months ago
Modelling of congenital nystagmus waveforms produced by saccadic system abnormalities
David S. Broomhead, Richard A. Clement, Mark R. Mu...
IBMSJ
2002
43views more  IBMSJ 2002»
15 years 6 months ago
ABLE: A toolkit for building multiagent autonomic systems
Joseph P. Bigus, Don A. Schlosnagle, Jeff R. Pilgr...
TJS
2002
64views more  TJS 2002»
15 years 6 months ago
Mapping a Single Assignment Programming Language to Reconfigurable Systems
A. P. Wim Böhm, Jeffrey Hammes, Bruce A. Drap...