419 search results - page 51 / 84 » A Thread of HOL Development |
151
Voted
PLDI
2012
ACM
13 years 5 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...
101
click to vote
MTSR
2007
Springer
15 years 8 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 ...
104
Voted
CHI
2002
ACM
16 years 2 months 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...
131
Voted
BMCBI
2010
15 years 2 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...
146
Voted
CBSE
2008
Springer
15 years 4 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...