7430 search results - page 783 / 1486 » Programming Applications in CIFF |
207
click to vote
CPAIOR
2009
Springer
16 years 2 months ago
2009
Springer
Context-free grammar constraints enforce that a sequence of variables forms a word in a language defined by a context-free grammar. The constraint has received a lot of attention ...
196
click to vote
FM
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
209
click to vote
FSTTCS
2009
Springer
16 years 2 months ago
2009
Springer
Motivated by the Hadamard product of matrices we define the Hadamard product of multivariate polynomials and study its arithmetic circuit and branching program complexity. We also...
200
click to vote
GECCO
2009
Springer
16 years 2 months ago
2009
Springer
The critical functionality of many software applications relies on code that performs mathematically complex computations. However, such code is often difficult to test owing to t...
196
click to vote
PDCAT
2009
Springer
16 years 2 months ago
2009
Springer
With the advent of multi-core processors, desktop application developers must finally face parallel computing and its challenges. A large portion of the computational load in a p...