2607 search results - page 174 / 522 » Complete Functional Synthesis |
132
click to vote
SCN
2008
Springer
15 years 3 months ago
2008
Springer
In this work we study linear secret sharing schemes for s-t connectivity in directed graphs. In such schemes the parties are edges of a complete directed graph, and a set of partie...
366
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
Code instrumentation is a mechanism that allows modules of programs to be completely rewritten at runtime. With the advent of virtual machines, this type of functionality is becom...
135
Voted
LOPSTR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Deforestation is a well-known program transformation technique which eliminates intermediate data structures that are passed between functions. One of its weaknesses is t...
167
click to vote
ASWSD
2006
Springer
15 years 7 months ago
2006
Springer
Automotive software has become an important factor in the development of modern and innovative high-end vehicles. More and more functions can only be realized by the cooperation of...