1941 search results - page 331 / 389 » Reasoning about Computations Using Two-Levels of Logic |
134
Voted
PRIMA
2007
Springer
15 years 9 months ago
2007
Springer
Multiagent Systems are potential computational systems for various practical applications, tools, and so on. Multiagent simulation is one of the remarkable application to evaluate ...
122
click to vote
ACMMSP
2005
ACM
15 years 9 months ago
2005
ACM
Combining ideas from several previous proposals, such as Active Pages, DIVA, and ULMT, we present the Memory Arithmetic Unit and Interface (MAUI) architecture. Because the “inte...
136
click to vote
DAC
1999
ACM
15 years 7 months ago
1999
ACM
Dual threshold technique has been proposed to reduce leakage power in low voltage and low power circuits by applying a high threshold voltage to some transistors in non-critical p...
117
Voted
CHI
1998
ACM
15 years 7 months ago
1998
ACM
considered simply, but a more complex evaluation of the effects of performing the tasks. For example, an educational activity that learners complete quickly and accurately is of no...
159
click to vote
DAC
2004
ACM
15 years 7 months ago
2004
ACM
This paper presents new technology that accelerates system verification. Traditional methods for verifying functional designs are based on logic simulation, which becomes more tim...