Sciweavers

1895 search results - page 19 / 379
» Modular Functional Descriptions
Sort
View
DATE
2002
IEEE
105views Hardware» more  DATE 2002»
14 years 18 days ago
Functional Verification for SystemC Descriptions Using Constraint Solving
Fabrizio Ferrandi, Michele Rendine, Donatella Sciu...
EPOS
2006
13 years 11 months ago
Talking about ABSS: Functional Descriptions of Models
How much of the literature on social simulation is about modelling for modellers? Conversely, how much of the literature is directly about the world in which we live
Scott Moss
LATA
2010
Springer
13 years 6 months ago
Restarting Automata with Structured Output And Functional Generative Description
Martin Plátek, František Mráz, Markéta Lopatko...