4880 search results - page 527 / 976 » Manuals as Structured Programs |
226
click to vote
IEEEINTERACT
2003
IEEE
16 years 9 days ago
2003
IEEE
Recent studies on program execution behavior reveal that a large amount of execution time is spent in small frequently executed regions of code. Whereas adaptive cache management ...
214
click to vote
AC
2003
Springer
16 years 7 days ago
2003
Springer
Generic Haskell is an extension of Haskell that supports the construction of generic programs. These lecture notes discuss three advanced generic programming applications: generic ...
195
click to vote
AISC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The main goal of our work is to formally prove the correctness of the key commands of the SCHUR software, an interactive program for calculating with characters of Lie gr...
178
click to vote
ICCL
1998
IEEE
15 years 11 months ago
1998
IEEE
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
190
click to vote
PADL
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. One important advantage of logic programming is that it allows the implicit exploitation of parallelism. Towards this goal, we suggest that or-parallelism can be efficien...