Sciweavers

2154 search results - page 121 / 431
» On the notion of concept I
Sort
View
OOPSLA
1990
Springer
15 years 2 months ago
Type Substitution for Object-Oriented Programming
Genericity allows the substitution of types in a class. This is usually obtained through parameterized classes, although they are inflexible since any class can be inherited but i...
Jens Palsberg, Michael I. Schwartzbach
USENIX
2008
15 years 9 days ago
A Linux Implementation Validation of Track-Aligned Extents and Track-Aligned RAIDs
Through clean-slate implementation of two storage optimizations--track-aligned extents and track-aligned RAIDs--this paper shows the values of independent validations. The experie...
Jin Qian, Christopher R. Meyers, An-I Andy Wang
WSC
2000
14 years 11 months ago
Agent-directed simulation: challenges to meet defense and civilian requirements
The aim of this panel session is to point out the importance of agent-directed simulation, as a scientific concept and technological possibility, to enhance the potential of simul...
Tuncer I. Ören, Susan K. Numrich, Adelinde Uh...
ITA
2007
14 years 10 months ago
Recursive coalgebras of finitary functors
Abstract For finitary set functors preserving inverse images several concepts of coalgebras A are proved to be equivalent: (i) A has a homomorphism into the initial algebra, (ii) ...
Jirí Adámek, Dominik Lücke, Ste...
JCB
2007
104views more  JCB 2007»
14 years 10 months ago
Counting Coalescent Histories
Given a species tree and a gene tree, a valid coalescent history is a list of the branches of the species tree on which coalescences in the gene tree take place. I develop a recur...
Noah A. Rosenberg