2830 search results - page 386 / 566 » No Science without Semantics |
152
click to vote
EDBT
2008
ACM
16 years 3 months ago
2008
ACM
Sharing huge, massively distributed databases in P2P systems is inherently difficult. As the amount of stored data increases, data localization techniques become no longer suffici...
137
click to vote
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...
133
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
134
Voted
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
119
click to vote
ICCD
2001
IEEE
16 years 19 days ago
2001
IEEE
Classical floorplanning minimizes a linear combination of area and wirelength. When Simulated Annealing is used, e.g., with the Sequence Pair representation, the typical choice o...