2482 search results - page 7 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
ICS
2000
Tsinghua U.
13 years 11 months ago
2000
Tsinghua U.
Complete system simulation to understand the influence of architecture and operating systems on application execution has been identified to be crucial for systems design. While t...
FOSSACS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
IJCAI
2001
13 years 9 months ago
2001
We are interested in semantical underpinnings for existing approaches to preference handling in extended logic programming (within the framework of answer set programming). As a s...
SOCO
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The ability to debug programs composed using aspect-oriented programming (AOP) techniques is critical to the adoption of AOP. Nevertheless, many AOP systems lack adequate...
EUROPAR
1998
Springer
14 years 3 days ago
1998
Springer
Instruction Balanced Time Slicing IBTS allows multiple parallel jobs to be scheduled in a manner akin to the well-known gang scheduling scheme in parallel computers. IBTS however a...