419 search results - page 69 / 84 » A Thread of HOL Development |
85
Voted
STTT
2008
14 years 9 months ago
2008
Abstract This paper is about tool support for knowledgeintensive engineering tasks. In particular, it introduces software technology to assist the design of complex technical syste...
84
Voted
ARTMED
2004
14 years 9 months ago
2004
Successful secondary structure predictions provide a starting point for direct tertiary structure modelling, and also can significantly improve sequence analysis and sequence-stru...
72
Voted
CSCW
2002
ACM
14 years 9 months ago
2002
ACM
Organizations, families, institutions evolve a shared culture and history. In this work, we describe a system to facilitate conversation and storytelling about this collective pas...
85
Voted
DSE
1998
14 years 9 months ago
1998
The Voltan software library for building distributed applications provides the support for (i) a processpair to act as single Voltan self-checking ‘fail-silent’ process; and (...
JPDC
2010
14 years 8 months ago
2010
Non-uniform memory architectures with cache coherence (ccNUMA) are becoming increasingly common, not just for large-scale high performance platforms but also in the context of mul...