3516 search results - page 383 / 704 » Programming Languages: Application and Interpretation |
176
click to vote
ESOP
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
196
click to vote
JAVA
2001
Springer
15 years 11 months ago
2001
Springer
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. Jackal implements Java’s memory model and allows multithreaded Java programs...
167
click to vote
JSS
2006
15 years 6 months ago
2006
Current software systems contain increasingly more elements that have not usually been considered in software engineering research and studies. Source artifacts, understood as the...
214
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
192
click to vote
ICAIL
2005
ACM
16 years 9 days ago
2005
ACM
d on Dung’s [4] abstract argumentation system • arguments: trees of chained defeasible inferences • aim: determine the status of a query given a belief base • incorporation...