Sciweavers

10055 search results - page 164 / 2011
» Structured programming using processes
Sort
View
ECOOP
1999
Springer
15 years 4 months ago
Internal Iteration Externalized
Although it is acknowledged that internal iterators are easier and safer to use than conventional external iterators, it is commonly assumed that they are not applicable in languag...
Thomas Kühne
CTCS
1989
Springer
15 years 4 months ago
Temporal Structures
We combine the principles of the Floyd-Warshall-Kleene algorithm, enriched categories, and Birkhoff arithmetic, to yield a useful class of algebras of transitive vertex-labeled s...
Ross Casley, Roger F. Crew, José Meseguer, ...
190
Voted
POPL
2008
ACM
16 years 26 days ago
Lightweight semiformal time complexity analysis for purely functional data structures
Okasaki and others have demonstrated how purely functional data structures that are efficient even in the presence of persistence can be constructed. To achieve good time bounds e...
Nils Anders Danielsson
123
Voted
CSMR
2004
IEEE
15 years 4 months ago
Empirical Investigation of a Non-Intrusive Approach to Study Comprehension Cognitive Models
Usually software is maintained by people different from those who developed it. In this context the maintenance activities are dominated by the comprehension effort. The study of ...
Marco Torchiano
116
Voted
BMCBI
2006
143views more  BMCBI 2006»
15 years 18 days ago
Application of protein structure alignments to iterated hidden Markov model protocols for structure prediction
Background: One of the most powerful methods for the prediction of protein structure from sequence information alone is the iterative construction of profile-type models. Because ...
Eric D. Scheeff, Philip E. Bourne