4263 search results - page 798 / 853 » Learning without Coding |
135
click to vote
DGO
2011
14 years 1 months ago
2011
The rising awareness of the challenges of preserving information over the long term has led to a wealth of initiatives developing economic models, methods, tools, systems, guideli...
133
click to vote
EMSOFT
2011
Springer
14 years 1 months ago
2011
Springer
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
121
click to vote
ASPLOS
2012
ACM
13 years 9 months ago
2012
ACM
Multithreaded programs often suffer from synchronization bugs such as atomicity violations and deadlocks. These bugs arise from complicated locking strategies and ad hoc synchroni...
141
click to vote
POPL
2012
ACM
13 years 9 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...
147
click to vote
ISSTA
2012
ACM
13 years 3 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...