1559 search results - page 199 / 312 » Fundamentals of Generic Programming |
157
click to vote
Book
"This book is about the fundamentals of data structures and algorithms--the basic elements from which large and complex software artifacts are built. To develop a solid unders...
179
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
BMEI
2008
IEEE
15 years 4 months ago
2008
IEEE
Multiple sequence alignment is the most fundamental task in bioinformatics and computational biology. In this paper, we present a new algorithm to conduct multiple sequences align...
SP
2008
IEEE
15 years 4 months ago
2008
IEEE
The automatic patch-based exploit generation problem is: given a program P and a patched version of the program P′ , automatically generate an exploit for the potentially unknow...
ISORC
2007
IEEE
15 years 4 months ago
2007
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. Today, measurement-based timing analysis tools such as in-ci...