2777 search results - page 411 / 556 » Example centric programming |
126
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
In a dynamic market, being able to update one’s value based on information available to other bidders currently in the market can be critical to having profitable transactions. ...
125
click to vote
CMMR
2007
Springer
15 years 8 months ago
2007
Springer
This paper describes the design and implementation of a framework designed to aid collaborative development of a digital musical instrument mapping layer1 . The goal was to create ...
119
click to vote
CP
2007
Springer
15 years 8 months ago
2007
Springer
Motivated by the performance improvements made to SAT solvers in recent years, a number of different encodings of constraints into SAT have been proposed. Concrete examples are th...
96
Voted
CP
2007
Springer
15 years 8 months ago
2007
Springer
We present an algorithm for compressing table constraints representing allowed or disallowed tuples. This type of constraint is used for example in configuration problems, where t...
113
click to vote
CTRSA
2007
Springer
15 years 8 months ago
2007
Springer
This paper announces a new software side-channel attack — enabled by the branch prediction capability common to all modern highperformance CPUs. The penalty paid (extra clock cyc...