10575 search results - page 1871 / 2115 » Programming Languages |
206
click to vote
CALCO
2005
Springer
16 years 18 days ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
191
Voted
EGH
2005
Springer
16 years 18 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...
193
Voted
EWSA
2005
Springer
16 years 17 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...
164
click to vote
LPAR
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no...
181
click to vote
SOFSEM
2005
Springer
16 years 16 days ago
2005
Springer
The tier aspect model addresses Aspect Oriented Programming (AOP) in the context of database applications. It is a new technique of separation of concerns through tiers implemented...