Sciweavers

29172 search results - page 394 / 5835
» Modeling Systems in CLP
Sort
View
143
Voted
DATE
2008
IEEE
133views Hardware» more  DATE 2008»
16 years 2 months ago
Model Checking of Analog Systems using an Analog Specification Language
Sebastian Steinhorst, Lars Hedrich
149
Voted
IPPS
2008
IEEE
16 years 2 months ago
Analytic performance models for bounded queueing systems
Praveen Krishnamurthy, Roger D. Chamberlain
170
Voted
ISBI
2008
IEEE
16 years 2 months ago
Analytic system matrix resolution modeling in PET: An application to Rb-82 cardiac imaging
Arman Rahmim, Martin A. Lodge, Jing Tang, Sahel La...