684 search results - page 54 / 137 » Requirements for an Elucidative Programming Environment |
145
click to vote
TLDI
2010
ACM
16 years 28 days ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
148
click to vote
SC
2000
ACM
15 years 8 months ago
2000
ACM
The developers of high-performance scientific applications often work in complex computing environments that place heavy demands on program analysis tools. The developers need to...
140
click to vote
WSCG
2001
15 years 5 months ago
2001
Research performed in the field of computer vision has steadily ignored recent advances in programming tools and techniques, relying on well-established traditional methods, such ...
168
click to vote
DEXA
1997
Springer
15 years 7 months ago
1997
Springer
Nowadays, if we want to obtain a sound and correct final software product it is very important to be able to properly join modern OO programming environments, which are built for ...
204
click to vote
ICDCS
2011
IEEE
14 years 3 months ago
2011
IEEE
—Code dissemination in wireless sensor networks refers to the process of disseminating a new code image via wireless links to all sensor nodes after they are deployed. It is desi...