9595 search results - page 1516 / 1919 » Functional programming in C |
175
click to vote
VMCAI
2004
Springer
16 years 6 days ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
179
click to vote
ASPLOS
2010
ACM
16 years 5 days ago
2010
ACM
Symbiotic job scheduling boosts simultaneous multithreading (SMT) processor performance by co-scheduling jobs that have ‘compatible’ demands on the processor’s shared resour...
167
click to vote
CODES
2003
IEEE
16 years 5 days ago
2003
IEEE
We describe our first efforts to develop a set of off-the-shelf hardware components that ordinary people could connect to build a simple but useful class of embedded systems. The ...
174
click to vote
CSB
2003
IEEE
16 years 5 days ago
2003
IEEE
Peptide-based vaccines, in which small peptides derived from target proteins (epitopes) are used to provoke an immune reaction, have attracted considerable attention recently as a...
178
click to vote
NSPW
2003
ACM
16 years 4 days ago
2003
ACM
The ability to analyze and modify binaries is often very useful from a security viewpoint. Security operations one would like to perform on binaries include the ability to extract...