3796 search results - page 218 / 760 » Presentations by Programmers for Programmers |
114
click to vote
ARC
2010
Springer
15 years 10 months ago
2010
Springer
Dot-products are one of the essential and recurrent building blocks in scientific computing, and often take-up a large proportion of the scientific acceleration circuitry. The ac...
137
click to vote
FLOPS
2010
Springer
15 years 10 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
116
click to vote
BSN
2009
IEEE
15 years 10 months ago
2009
IEEE
—There is a need for wearable sensors to assess physiological signals and body kinematics during exercise. Such sensors need to be straightforward to use, and ideally the complet...
136
click to vote
SC
2009
ACM
15 years 10 months ago
2009
ACM
Energy minimization is an important step in molecular modeling, with applications in molecular docking and in mapping binding sites. Minimization involves repeated evaluation of v...
216
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...