4743 search results - page 186 / 949 » The PlusCal Algorithm Language |
132
click to vote
AGTIVE
2003
Springer
15 years 8 months ago
2003
Springer
Many polygon mesh algorithms operate in a local manner, yet are formally specified using global indexing schemes. This obscures the essence of these algorithms and makes their spe...
145
click to vote
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
This paper presents the design and implementation of a compiler algorithm that effectively optimizes programs for energy usage using dynamic voltage scaling (DVS). The algorithm ...
140
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
Developed using the principles of the Model-View-Controller architectural pattern, FolksEngine is a parametric search engine for folksonomies that allows us to test arbitrary sear...
214
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
A concurrent data-structure implementation is considered nonblocking if it meets one of three following liveness criteria: waitfreedom, lock-freedom, or obstruction-freedom. Devel...
127
click to vote
IFL
2003
Springer
15 years 8 months ago
2003
Springer
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...