7225 search results - page 250 / 1445 » Software is data too |
289
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
148
click to vote
IUI
2009
ACM
16 years 2 months ago
2009
ACM
The results of a machine learning from user behavior can be thought of as a program, and like all programs, it may need to be debugged. Providing ways for the user to debug it mat...
152
click to vote
C3S2E
2009
ACM
16 years 13 days ago
2009
ACM
The integer least squares problem arises from many applications such as communications, cryptography, and GPS. In this paper, we consider the sphere decoding method in communicati...
122
click to vote
CODES
2008
IEEE
16 years 12 days ago
2008
IEEE
Architectures with software-writable parameters, or configurable architectures, enable runtime reconfiguration of computing platforms to the applications they execute. Such dynami...
192
click to vote
IWPC
2008
IEEE
16 years 9 days ago
2008
IEEE
Many program comprehension tools use graphs to visualize and analyze source code. The main issue is that existing approaches create graphs overloaded with too much information. Gr...