4609 search results - page 356 / 922 » Automatic Generation of Sigma-Protocols |
169
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
We present a loop property generation method for loops iterating over multi-dimensional arrays. When used on matrices, our method is able to infer their shapes (also called types),...
173
click to vote
MOMPES
2009
IEEE
16 years 1 months ago
2009
IEEE
Hard real-time embedded distributed systems pose huge demands in their implementation which must contain as few faults as possible. Over the past years, model-driven development a...
194
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a novel cycle-approximate performance estimation technique for automatically generated transaction level models (TLMs) for heterogeneous multicore designs. The...
207
click to vote
AADEBUG
2005
Springer
15 years 8 months ago
2005
Springer
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
200
click to vote
ML
2000
ACM
15 years 6 months ago
2000
ACM
A new class of evolutionary computation processes is presented, called Learnable Evolution Model or LEM. In contrast to Darwinian-type evolution that relies on mutation, recombinat...