1262 search results - page 135 / 253 » Generating instruction sets and microarchitectures from appl... |
155
click to vote
CORR
1999
Springer
15 years 6 months ago
1999
Springer
ABSTRACT. We explore the combinatorial properties of the branching areas of execution paths in higher dimensional automata. Mathematically, this means that we investigate the combi...
124
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Abstract. Non-rigid registration of landmarked datasets is an important problem that finds many applications in medical image analysis. In this paper, we present a method for inter...
179
click to vote
GI
2007
Springer
16 years 17 days ago
2007
Springer
: A strategy for automatic test case selection based on the use of a similarity function is presented. Test case selection is a crucial activity to model-based testing since the nu...
156
click to vote
ECBS
2009
IEEE
16 years 1 months ago
2009
IEEE
Model Driven Engineering has shown the feasibility to generate tools (editors, analyzers …) from models and for a domain. Unfortunately these generated tools are much focused wh...
165
click to vote
EHCI
2004
15 years 7 months ago
2004
Most of the current WWW is made up of dynamic pages. The development of dynamic pages is a difficult and costly endeavour, out-of-reach for most users, experts, and content produce...