3318 search results - page 380 / 664 » The Weak Instance Model |
117
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...
138
click to vote
TASE
2009
IEEE
15 years 11 months ago
2009
IEEE
A modelling language can be defined by a metamodel in UML class diagram. This paper defines the semantics of such metamodels through two mappings: a signature mapping from metamod...
130
click to vote
CMSB
2009
Springer
15 years 11 months ago
2009
Springer
Molecular noise, which arises from the randomness of the discrete events in the cell, significantly influences fundamental biological processes. Discrete-state continuous-time st...
115
click to vote
IWSOS
2009
Springer
15 years 11 months ago
2009
Springer
Internet Coordinate Systems (ICS) provide easy and practical latency predictions in the Internet. However, peer dynamics (i.e, churn), which is an inherent property of peer-to-peer...
134
click to vote
SAT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Restart strategies are an important factor in the performance of conflict-driven Davis Putnam style SAT solvers. Selecting a good restart strategy for a problem instance...