659 search results - page 29 / 132 » Binding as sets of scopes |
94
Voted
EUROCRYPT
2005
Springer
15 years 6 months ago
2005
Springer
We introduce a new flavor of commitment schemes, which we call mercurial commitments. Informally, mercurial commitments are standard commitments that have been extended to allow ...
135
Voted
CORR
2010
Springer
15 years 17 days ago
2010
Springer
We propose a method for inferring parameterized regular types for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint s...
90
Voted
ICCAD
2004
IEEE
15 years 9 months ago
2004
IEEE
Instruction set simulators are indispensable tools for the architectural exploration and verification of embedded systems. Different techniques have recently been proposed to spe...
98
Voted
SASP
2009
IEEE
15 years 7 months ago
2009
IEEE
—Multi-cycle Instruction set extensions (ISE) can be pipelined in order to increase their throughput; however, typical program traces seldom contain consecutive calls to the same...
CHI
1994
ACM
15 years 4 months ago
1994
ACM
When working with large data sets, users perform three primary types of activities: data manipulation, data analysis, and data visualization. The data manipulation process involve...