17298 search results - page 249 / 3460 » Abstract computing machines |
128
click to vote
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
117
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper addresses the physical hardware requirements necessary for a co-design hardware/software virtual machine to not only exist, but to also provide comparable performance w...
134
click to vote
PRIB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Clustering is a widely used unsupervised data analysis technique in machine learning. However, a common requirement amongst many existing clustering methods is that all p...
150
Voted
ICCSA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Many problems in computer science are related to scheduling problems or embedding problems. Therefore it is an interesting topic to find efficient (approximation) algori...
105
click to vote
SAMOS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents some interesting concepts of static dataflow machines that can be used by reconfigurable computing architectures. We introduce some data-driven reconf...