186 search results - page 35 / 38 » Categorical Views on Computations on Trees (Extended Abstrac... |
HASKELL
2009
ACM
14 years 1 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
COCOON
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. Phylogenetic reconstruction from gene-rearrangement data is attracting increasing attention from biologists and computer scientists. Methods used in reconstruction includ...
INDOCRYPT
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. One approach to secure mobile agent execution is restricting the agent route to trusted environments. A necessary condition for this approach to be practical is that the ...
VLDB
2002
ACM
13 years 7 months ago
2002
ACM
Abstract. The proliferation of mobile and pervasive computing devices has brought energy constraints into the limelight. Energy-conscious design is important at all levels of syste...
GECCO
2000
Springer
13 years 11 months ago
2000
Springer
This paper presents an extension to genetic programming to allow the evolution of programs containing local variables with static scope which obey the invariant that all variables...