4930 search results - page 729 / 986 » Testing a Safety-Critical Application |
181
click to vote
CCECE
2006
IEEE
16 years 23 days 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...
195
click to vote
CCGRID
2006
IEEE
16 years 23 days ago
2006
IEEE
—A Web services-based publish/subscribe system has the potential to create an Internet scale interoperable event notification system which is important for Grid computing as it e...
180
click to vote
CCGRID
2006
IEEE
16 years 23 days ago
2006
IEEE
Service Oriented EXtensible Modeling and Simulation Supporting Environment Architecture (SO-XMSSEA) is presented based on XMSF thinking and the new technology development of web s...
184
click to vote
CODES
2006
IEEE
16 years 23 days ago
2006
IEEE
Reliability in embedded processors can be improved by control flow checking and such checking can be conducted using software or hardware. Proposed software-only approaches suffe...
170
click to vote
CVPR
2006
IEEE
16 years 23 days ago
2006
IEEE
In this paper we consider region-based variational segmentation of two- and three-dimensional images by the minimization of functionals whose fidelity term is the quotient of two...