4615 search results - page 287 / 923 » Virtual Classes and Their Implementation |
151
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
It has recently been discovered that both quantum and classical propositional logics can be modelled by classes of nonorthomodular and thus non-distributive lattices that properly...
159
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
One of the core services provided by OWL reasoners is classification: the discovery of all subclass relationships between class names occurring in an ontology. Discovering these r...
154
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
The nested data-parallel programming model supports the design and implementation of irregular parallel algorithms. This paper describes work in progress to incorporate nested data...
150
click to vote
DATE
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper presents a Java processor, called JOP, designed for time-predictable execution of real-time tasks. JOP is the implementation of the Java virtual machine in hardware. We...
162
click to vote
SKG
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper proposes a novel research direction: to build the Theory Grid as cooperatively shared formal theories within a virtual organization, and then to implement Grid Theorist...