1356 search results - page 133 / 272 » The ideal of verified software |
156
click to vote
APSEC
2005
IEEE
16 years 19 hour ago
2005
IEEE
Distributed infrastructures are becoming more and more diverse in nature. An application may often need to be redeployed in various scenarios. Ideally, given an application design...
154
click to vote
PDC
2004
ACM
15 years 11 months ago
2004
ACM
This paper describes and analyses the early developmental stages of a community learning network based in an urban community and social service agency. With government funding, th...
184
click to vote
PARA
2004
Springer
15 years 11 months ago
2004
Springer
During the last half-decade, a number of research efforts have centered around developing software for generating automatically tuned matrix multiplication kernels. These include ...
157
click to vote
DANCE
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the design, implementation and performance of an open, high performance, dynamically extensible router under development at Washington University in St. Louis...
155
click to vote
FPL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Visual data
ow environments are ideally suited for modeling digital signal processing (DSP) systems, as many DSP algorithms are most naturally speci ed by signal
ow gra...