923 search results - page 103 / 185 » Factorizing Languages |
ERLANG
2004
ACM
15 years 3 months ago
2004
ACM
This paper introduces a new platform designed for mobile gambling services. The special characteristics of these services lead us to developed a multiservice platform that easily ...
109
click to vote
CONCUR
2006
Springer
15 years 3 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
ESORICS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. While processor based systems often enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reconfigurable har...
IFIP
2000
Springer
15 years 3 months ago
2000
Springer
This paper presents results from a survey of Vancouver secondary school students on their interests and perceived abilities in a range of subjects, the factors they felt would inf...
107
click to vote
PLDI
1995
ACM
15 years 3 months ago
1995
ACM
The control dependence relation is used extensively in restructuring compilers. This relation is usually represented using the control dependence graph; unfortunately, the size of...