Sciweavers

2154 search results - page 121 / 431
» On the notion of concept I
Sort
View
OOPSLA
1990
Springer
15 years 5 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 3 months 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
15 years 2 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
15 years 1 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»
15 years 1 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