16190 search results - page 269 / 3238 » Applicative programming with effects |
157
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
The computational power provided by many-core graphics processing units (GPUs) has been exploited in many applications. The programming techniques currently employed on these GPUs...
164
click to vote
ICNS
2006
IEEE
15 years 10 months ago
2006
IEEE
– Service-Oriented Programming Model is a new methodology for building service-oriented applications. In the Service-Oriented Programming Model, an application is assembled from ...
135
click to vote
FASE
2009
Springer
15 years 7 months ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...
139
click to vote
EUROMICRO
1996
IEEE
15 years 8 months ago
1996
IEEE
A message passing program composition methodology, called Ensemble, applied for Parix is presented. Ensemble overcomes the implementation problems and complexities in developing a...
158
click to vote
PLILP
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...