3281 search results - page 358 / 657 » An Approach to use Executable Models for Testing |
147
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
Soft-core microprocessors mapped onto field-programmable gate arrays (FPGAs) represent an increasingly common embedded software implementation option. Modern FPGA soft-cores are p...
161
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...
132
click to vote
MM
1993
ACM
15 years 8 months ago
1993
ACM
This paper addresses the key issue of providing flexible multimedia presentation with user participation and suggests synchronization models which can specify the user participat...
158
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
Developed using the principles of the Model-View-Controller architectural pattern, FolksEngine is a parametric search engine for folksonomies that allows us to test arbitrary sear...
137
click to vote
BIBM
2010
IEEE
15 years 2 months ago
2010
IEEE
The 1000 Genome project has made available a large number of single nucleotide polymorphisms (SNPs) for genome-wide association studies (GWAS). However, the large number of SNPs ha...