Keyword: computer science

Found 3 papers in total
Program equilibrium–a program reasoning approach
Program equilibrium–a program reasoning approach
2013,
The concept of program equilibrium , introduced by Howard (2004), represents one of...
Lower Bounds for Dynamic Data Structures on Algebraic RAMs
Lower Bounds for Dynamic Data Structures on Algebraic RAMs
2002,
In a seminal paper of 1989, Fredman and Saks proved lower bounds for some important...
The Cost of Cache‐Oblivious Searching
The Cost of Cache‐Oblivious Searching
2011,
This paper gives tight bounds on the cost of cache‐oblivious searching. The...
Papers per page: