1941 search results - page 331 / 389 » Reasoning about Computations Using Two-Levels of Logic |
167
click to vote
PRIMA
2007
Springer
16 years 8 days 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 ...
150
click to vote
ACMMSP
2005
ACM
15 years 11 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...
176
click to vote
DAC
1999
ACM
15 years 10 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...
146
click to vote
CHI
1998
ACM
15 years 10 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...
204
click to vote
DAC
2004
ACM
15 years 10 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...