1760 search results - page 107 / 352 » Program Analysis Using Weighted Pushdown Systems |
89
Voted
ICALP
2000
Springer
15 years 4 months ago
2000
Springer
We introduce a generic type system (based on Milner's sort system) for the synchronous polyadic -calculus, allowing us to mechanise the analysis of input/output capabilities o...
115
Voted
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...
126
click to vote
FMICS
2009
Springer
15 years 7 months ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
122
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...
ICDAR
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper presents a multi-expert system for dynamic signature verification. The system uses a stroke-oriented description of signatures well-suited for multi-expert approach. Ea...