4072 search results - page 146 / 815 » Becoming Increasingly Reactive |
174
click to vote
DAC
2004
ACM
15 years 8 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...
159
click to vote
GRID
2000
Springer
15 years 8 months ago
2000
Springer
: The concept of coupling geographically distributed (high-end) resources for solving large-scale problems is becoming increasingly popular, forming what is popularly called grid c...
139
click to vote
PACS
2000
Springer
15 years 8 months ago
2000
Springer
Reducing power, on both a per cycle basis and as the total energy used over the lifetime of an application, has become more important as small and embedded devices become increasi...
176
click to vote
CONCUR
1991
Springer
15 years 8 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...
130
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
As computerized agents are becoming more and more common, e-commerce becomes a major candidate for incorporation of automated agents. Thus, it is vital to understand how people de...