10666 search results - page 1813 / 2134 » Quantum programming languages |
171
click to vote
EGH
2005
Springer
16 years 4 days ago
2005
Springer
The growing application of user-defined programs within graphics processing units (GPUs) has transformed the fixed-function display pipeline into a largely programmable pipeline...
180
click to vote
EWSA
2005
Springer
16 years 3 days ago
2005
Springer
We propose a meta-framework called ‘Plastik’ which i) supports the specification and creation of runtime component-framework-based software systems and ii) facilitates and mana...
165
click to vote
FCA
2005
Springer
16 years 3 days ago
2005
Springer
Formal Concept Analysis (FCA) has typically been applied in the field of software engineering to support software maintenance and object-oriented class identification tasks. This...
142
click to vote
ICALP
2005
Springer
16 years 3 days ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
150
click to vote
ICALP
2005
Springer
16 years 3 days ago
2005
Springer
We define an algorithmic paradigm, the stack model, that captures many primal-dual and local-ratio algorithms for approximating covering and packing problems. The stack model is ...