519 search results - page 92 / 104 » Granular Problem Solving and Software Engineering |
60
Voted
UIST
2006
ACM
15 years 3 months ago
2006
ACM
To disentangle and analyze neural pathways estimated from magnetic resonance imaging data, scientists need an interface to select 3D pathways. Broad adoption of such an interface ...
SIGCSE
2005
ACM
15 years 3 months ago
2005
ACM
Information technology projects are growing in complexity and require teams to solve problems and develop solutions. With current undergraduate, computer science and information s...
84
Voted
GPCE
2005
Springer
15 years 3 months ago
2005
Springer
One of the themes in building reusable and maintainable software is identifying similarities and designing generic solutions to unify similarity patterns. In this paper, we analyze...
ICFEM
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
73
Voted
FOSSACS
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...