Sciweavers

9698 search results - page 1606 / 1940
» models 2010
Sort
View
DAS
2010
Springer
15 years 11 months ago
Associating figures with descriptions for patent documents
Patent document images maintained by the U.S. patent database have a specific format, in which figures and text descriptions are separated into different sections. This makes it...
Linlin Li, Chew Lim Tan
ECOOP
2010
Springer
15 years 11 months ago
Capabilities for Uniqueness and Borrowing
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
Philipp Haller, Martin Odersky
201
Voted
ECOOP
2010
Springer
15 years 11 months ago
Correct Refactoring of Concurrent Java Code
Automated refactorings as implemented in modern IDEs for Java usually make no special provisions for concurrent code. Thus, refactored programs may exhibit unexpected new concurren...
Max Schäfer, Julian Dolby, Manu Sridharan, Em...
ECOOP
2010
Springer
15 years 11 months ago
Recency Types for Analyzing Scripting Languages
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
Phillip Heidegger, Peter Thiemann
FUN
2010
Springer
254views Algorithms» more  FUN 2010»
15 years 11 months ago
Christmas Gift Exchange Games
The Christmas gift exchange is a popular party game played around Christmas. Each participant brings a Christmas present to the party, and a random ordering of the participants, ac...
Arpita Ghosh, Mohammad Mahdian
« Prev « First page 1606 / 1940 Last » Next »