1206 search results - page 55 / 242 » Concurrent Abstract Predicates |
ICCS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Camelot is a resource-bounded functional programming language which compiles to Java byte code to run on the Java Virtual Machine. We extend Camelot to include language s...
87
Voted
FUIN
2008
15 years 18 days ago
2008
Abstract. The paper is devoted to characterizing systems with random behaviours. The characterization is based on considering systems in terms of their possible runs, called proces...
ISCA
2006
IEEE
15 years 6 months ago
2006
IEEE
We present Program Demultiplexing (PD), an execution paradigm that creates concurrency in sequential programs by "demultiplexing" methods (functions or subroutines). Cal...
92
Voted
SFP
2003
15 years 1 months ago
2003
Abstract Hume is a domain-specific programming language targeting resourcebounded computations. It is based on generalised concurrent bounded automata, controlled by transitions c...
88
Voted
CC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Network processors (NPs) typically contain multiple concurrent processing cores. State-of-the-art programming techniques for NPs are invariably low-level, requiring progr...