6274 search results - page 883 / 1255 » Proofs, Programs, Processes |
144
click to vote
ML
2007
ACM
15 years 3 months ago
2007
ACM
The need for flexible forms of serialisation arises under many circumstances, e.g. for doing high-level inter-process communication or to achieve persistence. Many languages, inc...
135
Voted
AMC
2008
15 years 2 months ago
2008
ct 8 Harmony search (HS) is a new meta-heuristic optimization method imitating the music improvisation process where 9 musicians improvise their instruments' pitches searching...
130
Voted
POPL
2010
ACM
15 years 2 months ago
2010
ACM
S-NET is a declarative coordination language and component technology aimed at modern multi-core/many-core architectures and systems-on-chip. It builds on the concept of stream pr...
125
Voted
EMSOFT
2010
Springer
15 years 1 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
153
Voted
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...