2035 search results - page 284 / 407 » On the complexity of stratified logics |
118
Voted
ICFP
2008
ACM
16 years 23 days ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...
100
Voted
LCTRTS
2009
Springer
15 years 7 months ago
2009
Springer
The fine-grained parallelism inherent in FPGAs has encouraged their use in packet processing systems. Debugging and performance evaluation of such complex designs can be signifi...
95
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—High computational effort in modern image processing applications like medical imaging or high-resolution video processing often demands for massively parallel special p...
100
click to vote
CCS
2007
ACM
15 years 7 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
125
Voted
CONCUR
2007
Springer
15 years 7 months ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...