3404 search results - page 237 / 681 » C Programming Tutorial |
152
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
This paper presents a semantic space profiler for parallel functional programs. Building on previous work in sequential profiling, our tools help programmers to relate runtime res...
126
click to vote
KBSE
2006
IEEE
15 years 8 months ago
2006
IEEE
Software systems often undergo many revisions during their lifetime as new features are added, bugs repaired, abstractions simplified and refactored, and performance improved. Wh...
121
click to vote
HASKELL
2006
ACM
15 years 8 months ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
122
click to vote
ML
2006
ACM
15 years 8 months ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...
ICCS
2004
Springer
15 years 7 months ago
2004
Springer
We summarize the Computational Engineering and Science program at the University of Utah. Program requirements as well as related research areas are outlined. To obtain the MS degr...