Search Sciweavers | Sciweavers

11909 search results - page 261 / 2382

» The Scheme Programming Language

169

click to vote

ASPLOS
2006
ACM

116views Programming Languages» more ASPLOS 2006»

SecCMP: a secure chip-multiprocessor architecture

16 years 18 days ago

Download www.ece.lsu.edu

Security has been considered as an important issue in processor design. Most of the existing mechanisms address security and integrity issues caused by untrusted main memory in si...

Li Yang, Lu Peng

claim paper

Read More »

160

click to vote

ECOOP
2007
Springer

115views Programming Languages» more ECOOP 2007»

AS-GC: An Efficient Generational Garbage Collector for Java Application Servers

15 years 10 months ago

Download cse.unl.edu

Abstract. A generational collection strategy utilizing a single nursery cannot efficiently manage objects in application servers due to variance in their lifespans. In this paper, ...

Feng Xian, Witawas Srisa-an, ChengHuan Jia, Hong J...

claim paper

Read More »

193

click to vote

IJCAI
2007

152views Artificial Intelligence» more IJCAI 2007»

Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning

15 years 8 months ago

Download www.ijcai.org

P-log is a probabilistic logic programming language, which combines both logic programming style knowledge representation and probabilistic reasoning. In earlier papers various ad...

Chitta Baral, Matt Hunsaker

claim paper

Read More »

274

click to vote

ICFP
2009
ACM

106views Programming Languages» more ICFP 2009»

Generic programming with fixed points for mutually recursive datatypes

16 years 7 months ago

Download sneezy.cs.nott.ac.uk

Alexey Rodriguez Yakushev, Andres Löh, Johan ...

claim paper