1860 search results - page 166 / 372 » tools 2009 |
193
click to vote
IPPS
2009
IEEE
16 years 22 days ago
2009
IEEE
—We present an application programming interface (API) for the C programming language that facilitates the development of dense linear algebra algorithms on graphics processors a...
145
Voted
IROS
2009
IEEE
16 years 22 days ago
2009
IEEE
—Software development for industrial robots is still strongly limited by the use of old-style robot programming languages. These languages are tailored to meet a special requirem...
152
click to vote
ISPW
2009
IEEE
16 years 22 days ago
2009
IEEE
: Software qualities are in many cases tacit and hard to measure. Thus, there is a potential risk that they get lower priority than deadlines, cost and functionality. This paper pr...
180
click to vote
IV
2009
IEEE
16 years 22 days ago
2009
IEEE
In this paper, we present an algorithm to lay out a particular class of graphs coming from real case studies: the quasi-tree graph class. Protein and internet mappings projects ha...
134
click to vote
TPHOL
2009
IEEE
16 years 22 days ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...