3256 search results - page 581 / 652 » Mixin-Based Programming in C |
128
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. St...
203
Voted
ESOP
2004
Springer
15 years 8 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...
131
Voted
LCTRTS
2004
Springer
15 years 7 months ago
2004
Springer
Application specific instruction-set processors combine an efficient general purpose core with special purpose functionality that is tailored to a particular application domain. ...
115
click to vote
SAB
2004
Springer
15 years 7 months ago
2004
Springer
This paper provides an overview of the SWARM-BOTS project, a robotic project sponsored by the Future and Emerging Technologies program of the European Commission. The paper illustr...
119
click to vote
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...