3404 search results - page 262 / 681 » C Programming Tutorial |
197
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...
186
click to vote
POPL
2002
ACM
16 years 2 months ago
2002
ACM
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...
109
click to vote
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
Prior work has shown dramatic acceleration for various database operations on GPUs, but only using primitives that are not part of conventional database languages such as SQL. Thi...
115
click to vote
COCO
2007
Springer
15 years 8 months ago
2007
Springer
We study semidefinite programming relaxations of Vertex Cover arising from repeated applications of the LS+ “lift-and-project” method of Lovasz and Schrijver starting from th...
111
click to vote
PADL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract The Haskell String type is notoriously inefficient. We introduce a new data type, ByteString, based on lazy lists of byte arrays, combining the speed benefits of strict a...