9145 search results - page 1564 / 1829 » Description Logic Systems |
158
click to vote
POPL
2011
ACM
14 years 7 months ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
161
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...
166
Voted
ISSTA
2012
ACM
13 years 6 months ago
2012
ACM
Swarm testing is a novel and inexpensive way to improve the diversity of test cases generated during random testing. Increased diversity leads to improved coverage and fault detec...
149
click to vote
SOSP
2005
ACM
16 years 29 days ago
2005
ACM
Overlay networks are used today in a variety of distributed systems ranging from file-sharing and storage systems to communication infrastructures. However, designing, building a...
123
click to vote
SYSTOR
2009
ACM
15 years 10 months ago
2009
ACM
Virtualization is becoming widely deployed in servers to efficiently provide many logically separate execution environments while reducing the need for physical servers. While th...