Sciweavers

586 search results - page 19 / 118
» Witnessing side effects
Sort
View
ICFCA
2009
Springer
14 years 2 months ago
The Advent of Formal Diagrammatic Reasoning Systems
In knowledge representation and reasoning systems, diagrams have many practical applications and are used in numerous settings. Indeed, it is widely accepted that diagrams are a va...
Frithjof Dau
INFOCOM
2010
IEEE
13 years 5 months ago
Distributed Dynamic Speed Scaling
In recent years we have witnessed a great interest in large distributed computing platforms, also known as clouds. While these systems offer enormous computing power, they are howe...
Rade Stanojevic, Robert Shorten
INFOCOM
2002
IEEE
14 years 10 days ago
Locality in Search Engine Queries and Its Implications for Caching
—Caching is a popular technique for reducing both server load and user response time in distributed systems. In this paper, we consider the question of whether caching might be e...
Yinglian Xie, David R. O'Hallaron
KBSE
2009
IEEE
14 years 2 months ago
Inferring Method Effect Summaries for Nested Heap Regions
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...
Mohsen Vakilian, Danny Dig, Robert L. Bocchino Jr....
CORR
2002
Springer
87views Education» more  CORR 2002»
13 years 7 months ago
Myths and Legends of the Baldwin Effect
This position paper argues that the Baldwin effect is widely misunderstood by the evolutionary computation community. The misunderstandings appear to fall into two general categor...
Peter D. Turney