16844 search results - page 60 / 3369 » How to Design Programs |
177
Voted
AMAST
2008
Springer
15 years 7 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
149
click to vote
JFP
2010
15 years 3 months ago
2010
Earlier studies have introduced a list of high-level evaluation criteria to assess how well a language supports generic programming. Languages that meet all criteria include Haske...
152
click to vote
ICIP
2001
IEEE
16 years 6 months ago
2001
IEEE
We have designed a series of computer sessions build around ImageJ (a public-domain software for image analysis), as a practical complement to a two-semester course in image proce...
154
click to vote
PARELEC
2006
IEEE
15 years 11 months ago
2006
IEEE
High performance computing in heterogeneous environments is a dynamically developing area. A number of highly efficient heterogeneous parallel algorithms have been designed over l...