2251 search results - page 62 / 451 » Specification and Implementation Problems for C |
110
click to vote
ESORICS
2006
Springer
15 years 7 months ago
2006
Springer
We study the problem of Secure Multi-party Computation (SMC) in a model where individual processes contain a tamper-proof security module, and introduce the TrustedPals framework, ...
117
click to vote
GECCO
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this work we have implemented and analyzed the performance of a new real coded steady-state genetic algorithm (SSGA) for the flexible ligand-receptor docking problem....
102
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
A real-timehigh-performanceand fault-tolerantFPGA-based hardware architecture for the processing of synthetic apertureradar (SAR) images has been developed for advanced spaceborner...
103
Voted
FPL
2000
Springer
15 years 7 months ago
2000
Springer
Many applications can be modeled as subgraph isomorphism problems. However, this problem is generally NP-complete and difficult to compute. A custom computing circuit is a prospect...
103
click to vote
SIAMJO
2002
15 years 3 months ago
2002
Most local convergence analyses of the sequential quadratic programming (SQP) algorithm for nonlinear programming make strong assumptions about the solution, namely, that the activ...