2362 search results - page 255 / 473 » Programming in Standard ML |
140
click to vote
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Applications composed of multiple parallel libraries perform poorly when those libraries interfere with one another by obliviously using the same physical cores, leading to destru...
120
click to vote
AAAI
2008
15 years 6 months ago
2008
We present a novel application of structured classification: identifying function entry points (FEPs, the starting byte of each function) in program binaries. Such identification ...
151
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...
138
click to vote
ATMOS
2007
15 years 6 months ago
2007
The Train Timetabling Problem (TTP) consists in finding a train schedule on a railway network that satisfies some operational constraints and maximizes a profit function which c...
129
click to vote
LREC
2008
15 years 5 months ago
2008
One of the most challenging tasks for uniformed service personnel serving in foreign countries is effective verbal communication with the local population. To remedy this problem,...