8766 search results - page 1384 / 1754 » Functional logic programming |
131
click to vote
ISMIS
2003
Springer
15 years 9 months ago
2003
Springer
T his paper outlines a formal theory for de fining action concepts in taxonomical knowledge representation languages, in a form closely related to description logics. The central p...
236
click to vote
ISCA
2010
IEEE
15 years 9 months ago
2010
IEEE
As CMOS scales beyond the 45nm technology node, leakage concerns are starting to limit microprocessor performance growth. To keep dynamic power constant across process generations...
145
click to vote
COOPIS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper makes two main contributions towards establishing support for application-specific factors in middleware security mechanisms. First, it develops a simple classification...
139
click to vote
ICPADS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents the study and results of running several core multimedia applications on a simultaneous multithreading (SMT) architecture, including some detailed analysis ran...
140
click to vote
VTS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents a procedure for modifying a given set of scan vectors so that the peak power during scan testing is kept below a specified limit without reducing fault coverag...