2210 search results - page 407 / 442 » Applying a Model-based Approach for Embedded System Developm... |
SAT
2009
Springer
14 years 3 months ago
2009
Springer
Recent work has shown the value of using unsatisfiable cores to guide maximum satisfiability algorithms (Max-SAT) running on industrial instances [5,9,10,11]. We take this concep...
CCGRID
2007
IEEE
14 years 3 months ago
2007
IEEE
In the past, efficient parallel algorithms have always been developed specifically for the successive generations of parallel systems (vector machines, shared-memory machines, d...
ISBI
2007
IEEE
14 years 3 months ago
2007
IEEE
We have developed a novel framework for medical image analysis, known as Shells and Spheres. This framework utilizes spherical operators of variable radius centered at each image ...
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
The metamodel techniques and model transformation techniques provide a standard way to represent and transform data, especially the software artifacts in software development. How...
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
Little research has examined the relevance of real options for valuation of information technology (IT) investments for prioritizing a portfolio of projects. When the effect of pr...