4421 search results - page 585 / 885 » Libraries |
125
click to vote
PDP
2008
IEEE
15 years 9 months ago
2008
IEEE
Matrix computation algorithms often exhibit dependencies between neighboring elements inside loop nests such that the frontier between computed elements and those to be computed w...
116
click to vote
SASP
2008
IEEE
15 years 9 months ago
2008
IEEE
— With the increasing popularity of MP3 audio, there is a need to develop cost and power efficient architectures for the MP3 encoder and decoder. This paper describes dedicated ...
128
click to vote
SCAM
2008
IEEE
15 years 9 months ago
2008
IEEE
The usefulness and usability of programming tools (for example, languages, libraries, and frameworks) may greatly impact programmer productivity and software quality. Ideally, the...
128
click to vote
TPHOL
2008
IEEE
15 years 9 months ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
240
click to vote
VL
2008
IEEE
15 years 9 months ago
2008
IEEE
An important part of many programming tasks is the use of libraries and other forms of Application Programming Interfaces (APIs). Programming via web services using a Service-Orie...