2477 search results - page 339 / 496 » First-Order Interactive Programming |
81
Voted
EUROPAR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Automatic performance analysis of parallel programs can be accomplished by scanning event traces of program execution for patterns representing inefficient behavior. The ...
FORMATS
2006
Springer
15 years 1 months ago
2006
Springer
This paper argues that basing the semantics of concurrent systems on the notions of state and state transitions is neither advisable nor necessary. The tendency to do this is deepl...
113
click to vote
POPL
1991
ACM
15 years 1 months ago
1991
ACM
We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions here are whether two (recursive) types are in the su...
ASPLOS
2008
ACM
15 years 5 days ago
2008
ACM
Increasing demand for power-efficient, high-performance computing requires tuning applications and/or the underlying hardware to improve the mapping between workload heterogeneity...
DFKI
2005
Springer
15 years 3 days ago
2005
Springer
It is widely accepted in Distributed Artificial Intelligence that a crucial property of artificial agents is their autonomy. Whereas agent autonomy enables features of agent-base...