5090 search results - page 369 / 1018 » Constructing Strategies for Programming |
175
click to vote
PADL
2007
Springer
16 years 27 days ago
2007
Springer
Abstract The Haskell String type is notoriously inefficient. We introduce a new data type, ByteString, based on lazy lists of byte arrays, combining the speed benefits of strict a...
171
click to vote
CP
2005
Springer
16 years 9 days ago
2005
Springer
This paper describes an efficient, complete approach for solving a complex allocation and scheduling problem for Multi-Processor System-on-Chip (MPSoC). Given a throughput constra...
165
Voted
IFIP
2005
Springer
16 years 8 days ago
2005
Springer
In this paper we analyze the electricity portfolio problem of a big consumer in a multi-stage stochastic programming framework. Stochasticity enters the model via the uncertain spo...
186
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper aims to describe the implementation of TAKAKAW, an efficient parallel application for the simulation of molecular dynamics designed to handle large proteins in biology....
179
click to vote
FLAIRS
2006
15 years 8 months ago
2006
Research indicates that impasse-driven learning can have important benefits for improving student mastery of material. When students recognize gaps in their understanding of a con...