1559 search results - page 199 / 312 » Fundamentals of Generic Programming |
244
Voted
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...
247
Voted
POPL
2007
ACM
16 years 4 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...
133
Voted
BMEI
2008
IEEE
15 years 10 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...
114
Voted
SP
2008
IEEE
15 years 10 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...
117
Voted
ISORC
2007
IEEE
15 years 10 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...