6740 search results - page 924 / 1348 » Using Classification as a Programming Language |
241
click to vote
GPCE
2007
Springer
16 years 1 months ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
205
click to vote
PLDI
2005
ACM
16 years 13 days ago
2005
ACM
Software pipelining of a multi-dimensional loop is an important optimization that overlaps the execution of successive outermost loop iterations to explore instruction-level paral...
188
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Proving that particular methods within a code base are functionally pure--deterministic and side-effect free--would aid verification of security properties including function inve...
296
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
A lens is a bidirectional program. When read from left to right, it denotes an ordinary function that maps inputs to outputs. When read from right to left, it denotes an "upd...
184
click to vote
ASPLOS
2006
ACM
16 years 26 days ago
2006
ACM
Control-Flow Integrity (CFI) is a property that guarantees program control flow cannot be subverted by a malicious adversary, even if the adversary has complete control of data m...