5415 search results - page 846 / 1083 » The Implementation of Functional Programming Languages |
184
click to vote
VSTTE
2010
Springer
15 years 4 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
157
click to vote
USENIX
1996
15 years 8 months ago
1996
The current trend in operating systems research is to allow applications to dynamically extend the kernel to improve application performance or extend functionality, but the most ...
183
click to vote
MODELS
2010
Springer
15 years 5 months ago
2010
Springer
A feature represents a functional requirement fulfilled by a system. Since many maintenance tasks are expressed in terms of features, it is important to establish the corresponden...
171
click to vote
FSE
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper discusses the state-of-the-art software optimization methodology for symmetric cryptographic primitives on Pentium III and 4 processors. We aim at maximizing s...
152
click to vote
NETGAMES
2004
ACM
16 years 1 days ago
2004
ACM
Today’s Multi-player Online Games (MOGs) are challenged by infrastructure requirements, because of their server-centric nature. Peer-to-peer networks are an interesting alternat...