3239 search results - page 397 / 648 » A Logical Process Calculus |
126
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
The argument against ASIC SoCs is that they have always taken too long and cost too much to design. As new process technologies come on line, the issue of inflexible, unyielding d...
155
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
We present an area and delay estimator in the context of a compiler that takes in high level signal and image processing applications described in MATLAB and performs automatic de...
154
click to vote
INAP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...
147
Voted
ISMVL
2000
IEEE
15 years 8 months ago
2000
IEEE
Signed conjunctive normal form (signed CNF) is a classical conjunctive clause form using a generalized notion of literal, called signed atom. A signed atom is an expression of the...
131
click to vote
EKAW
1999
Springer
15 years 8 months ago
1999
Springer
: The aim of this paper is to present an approach and automated tools for designing knowledge bases describing the contents of information sources in PICSEL2 knowledgediators. We a...