4491 search results - page 464 / 899 » Algorithm Engineering |
140
click to vote
B
2007
Springer
15 years 11 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
140
click to vote
ICESS
2007
Springer
15 years 11 months ago
2007
Springer
In an embedded system including a base processor integrated with a tightly coupled accelerator, extracting frequently executed portions of the code (hot portion) and executing thei...
148
click to vote
ASWEC
2006
IEEE
15 years 11 months ago
2006
IEEE
Combining third party software components to customer-individual application systems requires first, standardized specification techniques for describing the technical as well as ...
152
click to vote
CCECE
2006
IEEE
15 years 11 months ago
2006
IEEE
Phylogenetic trees are commonly reconstructed based on hard optimization problems such as Maximum parsimony (MP) and Maximum likelihood (ML). Conventional MP heuristics for produc...
159
click to vote
CCECE
2006
IEEE
15 years 11 months ago
2006
IEEE
Electrical Impedance Tomography (EIT) applies and measures electrical energy on the boundary of a medium to produce an image of its internal impedance distribution. In many medica...