1288 search results - page 83 / 258 » Visual Generalization in Programming by Example |
124
click to vote
CCS
2011
ACM
14 years 2 months ago
2011
ACM
On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have significantly simplified the development of such protocols. On the other hand, ...
145
Voted
JVCA
2002
15 years 2 months ago
2002
Behavioural models offer the ability to simulate autonomous agents like organisms and living beings. Psychological studies have showed that the human behaviour can be described by...
115
click to vote
CC
2010
Springer
15 years 25 days ago
2010
Springer
Abstract. We introduce the concept of future values. Using future values it is possible to represent programs in a new control-flow form such that on any control flow path the data...
132
Voted
WLP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
108
click to vote
ICCAD
1995
IEEE
15 years 6 months ago
1995
IEEE
This paper addresses the problem of speeding up functional (delayindependent)logic simulation for synchronousdigital systems. The problem needs very little new motivation – cycl...