1969 search results - page 79 / 394 » Incremental Processing and Acceptability |
135
Voted
DAC
2005
ACM
15 years 7 months ago
2005
ACM
This paper presents an eļ¬cient hardware architecture of an on-chip logic minimization coprocessor. The proposed architecture employs TCAM cells to provide fastest and memory eļ¬...
165
click to vote
CONCUR
2008
Springer
15 years 7 months ago
2008
Springer
R-automata are finite state machines extended with counters which can be incremented or reset to zero along the transitions. The universality question asks whether there is a cons...
112
click to vote
AI
2007
Springer
15 years 5 months ago
2007
Springer
The AGM postulates for belief revision, augmented by the DP postulates for iterated belief revision, provide generally accepted criteria for the design of operators by which intel...
152
click to vote
CIE
2009
Springer
15 years 12 months ago
2009
Springer
We investigate the computing power of stateless multicounter machines with reversal-bounded counters. Such a machine has m-counters operating on a one-way input delimited by left a...
142
Voted
STOC
2001
ACM
16 years 5 months ago
2001
ACM
This article introduces and explores the condition-based approach to solve the consensus problem in asynchronous systems. The approach studies conditions that identify sets of inpu...