Recent work has shown that SAT can be theoretically more powerful than heuristic search provided the heuristic used by search is implemented as a set of clauses on which unit propagation simulates the evaluation of the heuristic. The h heuristic has been shown to be implemented trivially by the empty set of clauses. This paper presents an implementation of h, a generalization of h.

The paper investigates the effects of technology scaling on area/delay characteristics of registertransfer level (RTL) designs. Based on experimental modeling of RTL components and interconnect, whose feature sizes have been scaled down from 1.5 m to 0.25 m, we evaluate the critical path delay and area of several data-paths and report on efficiency of layout and RTL optimization techniques at t...

Medical Virtual Patient Simulator (MedVPS) is a cutting-edge eLearning innovation for medical and other health professionals. It consists of a framework that supports various patient cases, tailored by interdisciplinary medical teams. Each virtual patient case follows the critical path to be followed for a specific patient in a hospital. MedVPS takes the student on a journey that enables the st...

Organizational critical activities (OCAs) are activities which must receive constant management attention in order for that organization to be successful in its industry. Some empirical studies have shown that all of these activities may not be well supported by organizations’ websites. This research attempts to develop the evaluation methodology which can be used to assess how well an organiza...

People traditionally have considered the number of counters in the critical path as the met ric for the performance of a multiplier This report presents the view that tree topologies which have the least number of levels do not always give the fastest possible multiplier when constrained to be part of a microprocessor It proposes two new topologies hybrid struc ture and higher order arrays whic...

This paper proposes a new method to solve fuzzy critical path problems for a project network with activity times being normalised trapezoidal fuzzy numbers. is solved successfully to demonstrate the validity of the proposed approach.