5615 search results - page 1024 / 1123 » On the Computational Capabilities of Several Models |
ICCD
1997
IEEE
15 years 2 months ago
1997
IEEE
Simulated annealing based standard cell placement for VLSI designs has long been acknowledged as a compute-intensive process. All previous work in parallel simulated annealing bas...
POS
1998
Springer
15 years 2 months ago
1998
Springer
In light of advances in processor and networking technology, especially the emergence of network attached disks, the traditional client-server architecture becomes suboptimal for ...
109
click to vote
LICS
1993
IEEE
15 years 2 months ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...
104
click to vote
ACAL
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. We explore a new definition of creativity -- one which emphasizes the statistical capacity of a system to generate previously unseen patterns -- and discuss motivations f...
ACMICEC
2007
ACM
15 years 2 months ago
2007
ACM
Peer production has played an important role in the economics of Web 2.0 related services. User participation and contribution become the main driving dynamics of this new economi...