Sciweavers

1895 search results - page 19 / 379
» Modular Functional Descriptions
Sort
View
DATE
2002
IEEE
105views Hardware» more  DATE 2002»
15 years 4 months ago
Functional Verification for SystemC Descriptions Using Constraint Solving
Fabrizio Ferrandi, Michele Rendine, Donatella Sciu...
EPOS
2006
15 years 2 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
14 years 10 months ago
Restarting Automata with Structured Output And Functional Generative Description
Martin Plátek, František Mráz, Markéta Lopatko...