285 search results - page 51 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
ICRA
2006
IEEE
15 years 5 months ago
2006
IEEE
— A new Estimation of Distribution Algorithm (EDA) with spline kernel function (EDA_S) is proposed to optimize biped gait for a nine-link humanoid robot. Gait synthesis of the bi...
103
Voted
ECOOPW
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Software security has become more important than ever. Unfortunately, still now, the security of a software system is almost always retrofitted to an afterthought. When s...
143
click to vote
HPCA
2006
IEEE
16 years 16 hour ago
2006
IEEE
An integrated, hardware / software co-designed CISC processor is proposed and analyzed. The objectives are high performance and reduced complexity. Although the x86 ISA is targete...
EUROPAR
2001
Springer
15 years 4 months ago
2001
Springer
Distributed-system observation tools require an efficient data structure to store and query the partial-order of execution. Such data structures typically use vector timestamps to...
124
Voted
ISCAPDCS
2003
15 years 1 months ago
2003
Grid technologies and infrastructures facilitate distributed resource sharing and coordination in dynamic, heterogeneous, multi-institutional environments. A replica catalog is a ...