6274 search results - page 247 / 1255 » Proofs, Programs, Processes |
158
click to vote
CC
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Network processors (NPs) typically contain multiple concurrent processing cores. State-of-the-art programming techniques for NPs are invariably low-level, requiring progr...
180
click to vote
PVM
1997
Springer
15 years 10 months ago
1997
Springer
We present Ensemble, a message-passing implementation methodology, applied to PVM. Ensemble overcomes problems and complexities in developing applications in messagepassing enviro...
DAC
2005
ACM
16 years 7 months ago
2005
ACM
We present several improvements to general-purpose sequential redundancy removal. First, we propose using a robust variety of synergistic transformation and verification algorithm...
151
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
We present FixIt(ALC), a novel procedure for deciding knowledge base (KB) satisfiability in the Fuzzy Description Logic (FDL) ALC. FixIt(ALC) does not search for tree-structured m...
179
click to vote
ICTAC
2004
Springer
15 years 12 months ago
2004
Springer
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...