6800 search results - page 478 / 1360 » Testing with Functions as Specifications |
222
click to vote
MEMOCODE
2010
IEEE
15 years 5 months ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
257
click to vote
TRIDENTCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Deploying and controlling experiments running on a distributed set of resources is a challenging task. Software developers often spend a significant amount of time dealing with the...
217
click to vote
COMPSYSTECH
2009
15 years 5 months ago
2009
: Recent advances in Information and Communication Technologies (ICT) and more specifically in wireless networks and mobile computing have driven new directions in the development ...
176
click to vote
JMLR
2010
15 years 2 months ago
2010
The paper considers an interactive search paradigm in which at each round a user is presented with a set of k images and is required to select one that is closest to her target. P...
199
click to vote
NAR
2010
15 years 2 months ago
2010
ALTER is an open web-based tool to transform between different multiple sequence alignment formats. The originality of ALTER lies in the fact that it focuses on the specifications...