362 search results - page 57 / 73 » Mechanizing and Improving Dependency Pairs |
OTM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The creation of distributed applications requires sophisticated compositions, as various components — supporting application logic or non-functional requirements — mu...
PDCAT
2007
Springer
14 years 1 months ago
2007
Springer
Any simulation-based evaluation of an interconnection network proposal requires a good characterization of the workload. Synthetic traffic patterns based on independent traffic so...
RTSS
2005
IEEE
14 years 1 months ago
2005
IEEE
nt a new concurrency control abstraction for real-time systems called preemptible atomic regions (PARs). PARs a transactional mechanism that improves upon lock-based mutual exclus...
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
In this work we propose an approach of incorporating learned mutation strategies (LMS) in genetic programming (GP) employed for evolution and adaptation of locomotion gaits of sim...
ISCIS
2005
Springer
14 years 1 months ago
2005
Springer
In 3D face recognition systems, 3D facial shape information plays an important role. 3D face recognizers usually depend on point cloud representation of faces where faces are repre...