1760 search results - page 114 / 352 » Program Analysis Using Weighted Pushdown Systems |
103
click to vote
PPDP
2001
Springer
15 years 5 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
106
Voted
ASPLOS
2010
ACM
15 years 5 months ago
2010
ACM
Heterogeneous systems, systems with multiple processors tailored for specialized tasks, are challenging programming environments. While it may be possible for domain experts to op...
BMCBI
2010
15 years 22 days ago
2010
Background: Most software packages for whole genome association studies are non-graphical, purely text based programs originally designed to run with UNIX-like operating systems. ...
SAS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...
102
click to vote
ICALP
2001
Springer
15 years 5 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...