Rafael rambling : Weblog

« Previous day (Dec 4, 2007) | Main | Next day (Dec 5, 2007) »

Wednesday December 05, 2007

links for 2007-12-06

Quantifying the Performance of Garbage Collection vs. Explicit Memory Management | Lambda the Ultimate

Another great work analyzing memory allocation performance by the same guys that proposed the Virtual Memory / Garbage Collection integration.

(tags: paper GC memory allocation management automatic manual DynamicAnalysis code analysis GarbageCollection VM VirtualMemory runtime via:ltu)
Logic for Philosophy

"This will be a textbook for a "logic literacy" course(...) It emphasizes breadth rather than depth. For example, it discusses modal logic and counterfactuals, but does not contain completeness proofs for predicate logic."

(tags: book online free logic philosophy TheodoreSider NYU)

Posted by rafaeldff [Sun] ( December 05, 2007 10:32 PM ) Permalink | Comments[0]