419 search results - page 51 / 84 » A Thread of HOL Development |
113
click to vote
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
While graphics processing units (GPUs) provide low-cost and efficient platforms for accelerating high performance computations, the tedious process of performance tuning required...
MTSR
2007
Springer
15 years 6 months ago
2007
Springer
This paper describes the Markup Analysis Project, a research initiative of the Information Policy and Practice Research Group at the University of Sydney to investigate frameworks ...
CHI
2002
ACM
16 years 5 days ago
2002
ACM
This two-day workshop examines the ways that on-line communities create and refine their shared resources, including both the formal and observable artifacts (documents, chats, th...
106
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: Considering energy function to detect a correct protein fold from incorrect ones is very important for protein structure prediction and protein folding. Knowledge-base...
120
click to vote
CBSE
2008
Springer
15 years 1 months ago
2008
Springer
: This paper proposes a technology for the development of distributed real-time component-based applications, which takes advantage of the features that Ada offers for the developm...