1246 search results - page 128 / 250 » Online testing with model programs |
130
Voted
AGENTS
2000
Springer
15 years 5 months ago
2000
Springer
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...
124
click to vote
JMLR
2012
13 years 3 months ago
2012
We introduce the graphlet decomposition of a weighted network, which encodes a notion of social information based on social structure. We develop a scalable algorithm, which combi...
92
Voted
FDL
2005
IEEE
15 years 6 months ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
98
Voted
WWW
2009
ACM
15 years 7 months ago
2009
ACM
In the past, some researches suggested that engineers can use combined software reliability growth models (SRGMs) to obtain more accurate reliability prediction during testing. In...
113
click to vote
LION
2009
Springer
15 years 7 months ago
2009
Springer
We present a new knowledge-based Model Quality Assessment Program (MQAP) at the residue level which evaluates single protein structure models. We use a tree representation of the ...