16844 search results - page 60 / 3369 » How to Design Programs |
149
click to vote
AMAST
2008
Springer
15 years 4 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...
117
click to vote
JFP
2010
15 years 29 days 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...
128
Voted
ICIP
2001
IEEE
16 years 4 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...
129
Voted
PARELEC
2006
IEEE
15 years 8 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...