1276 search results - page 232 / 256 » Complexity of Fractran and Productivity |
ECAI
2004
Springer
14 years 24 days ago
2004
Springer
CRIKEY is a planner that separates out the scheduling from the classical parts of temporal planning. This can be seen as a relaxation of the temporal information during the classic...
EMSOFT
2004
Springer
14 years 24 days ago
2004
Springer
Until recently, in the automotive industry, reuse of software has entirely been a typical activity of suppliers. They try to reduce the increasing software development costs that ...
HIPC
2004
Springer
14 years 23 days ago
2004
Springer
Parasitic extraction techniques are used to estimate signal delay in VLSI chips. Inductance extraction is a critical component of the parasitic extraction process in which on-chip ...
ISOLA
2004
Springer
14 years 23 days ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
COMPSAC
2003
IEEE
14 years 21 days ago
2003
IEEE
In this paper, we propose an algorithm to construct the Ordered Binary Decision Diagram (OBDD) representing the cut function of a terminal-pair network. The algorithm recognizes i...