4067 search results - page 482 / 814 » Programs for Applying Symmetries |
151
click to vote
SP
2003
IEEE
15 years 12 months ago
2003
IEEE
A challenging unsolved security problem is how to specify and enforce system-wide security policies; this problem is even more acute in distributed systems with mutual distrust. T...
144
click to vote
FOSSACS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...
136
click to vote
FOSSACS
2003
Springer
15 years 12 months ago
2003
Springer
We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spirit of monadic metalanguages) and the staging of computations (as in languages for multi-l...
188
click to vote
GRID
2003
Springer
15 years 12 months ago
2003
Springer
With the advent of web services standards and a serviceoriented Grid architecture, it is foreseeable that competing as well as complimenting computational services will proliferat...
164
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Single thread performance remains an important consideration even for multicore, multiprocessor systems. As a result, techniques for improving single thread performance using mult...