11718 search results - page 73 / 2344 » Testing database applications |
122
click to vote
CCGRID
2007
IEEE
15 years 8 months ago
2007
IEEE
The Grid promise is starting to materialize today: largescale multi-site infrastructures have grown to assist the work of scientists from all around the world. This tremendous gro...
136
click to vote
ISOLA
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
143
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
219
click to vote
GIS
2004
ACM
16 years 3 months ago
2004
ACM
Modern database applications including computer-aided design, multimedia information systems, medical imaging, molecular biology, or geographical information systems impose new re...
138
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: The identification of biologically interesting genes in a temporal expression profiling dataset is challenging and complicated by high levels of experimental noise. Mo...