Sciweavers

5863 search results - page 396 / 1173
» On Model-Checking of P Systems
Sort
View
BC
2000
49views more  BC 2000»
15 years 7 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 7 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 7 months ago
Mapping a Single Assignment Programming Language to Reconfigurable Systems
A. P. Wim Böhm, Jeffrey Hammes, Bruce A. Drap...
TVLSI
2010
15 years 2 months ago
Accurate Predictive Interconnect Modeling for System-Level Design
Luca P. Carloni, Andrew B. Kahng, Sudhakar Muddu, ...