3239 search results - page 318 / 648 » A Logical Process Calculus |
150
click to vote
KES
2004
Springer
15 years 10 months ago
2004
Springer
Artificial Intelligence algorithms can be divided into two groups according to the type of problems they solve. Knowledge-intensive domains contain explicit knowledge, whereas know...
131
click to vote
SIGMOD
1999
ACM
15 years 8 months ago
1999
ACM
Recovery can be extended to new domains at reduced logging cost by exploiting "logical" log operations. During recovery, a logical log operation may read data values fro...
158
click to vote
ITC
1994
IEEE
15 years 8 months ago
1994
IEEE
Previous approaches to designing random pattern testable circuits use post-synthesis test point insertion to eliminate random pattern resistant (r.p.r.) faults. The approach taken...
157
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
136
click to vote
ICCAD
1991
IEEE
15 years 8 months ago
1991
IEEE
As feature sizes decrease and chip sizes increase, the area and performance of chips become dominated by the interconnect. In spite of this trend, most existing synthesis systems ...