Sciweavers

1628 search results - page 81 / 326
» Compiler Construction Using Scheme
Sort
View
POPL
1998
ACM
15 years 4 months ago
A Functional Representation of Data Structures with a Hole
Data structures with a hole, in other words data structures with an uninitialized field, are useful to write efficient programs: they enable us to construct functional data stru...
Yasuhiko Minamide
DLS
2010
277views Languages» more  DLS 2010»
14 years 10 months ago
Factor: a dynamic stack-based programming language
Factor is a new dynamic object-oriented programming language. It began as an embedded scripting language and evolved to a mature application development language. The language has...
Sviatoslav Pestov, Daniel Ehrenberg, Joe Groff
CPAIOR
2011
Springer
14 years 3 months ago
Manipulating MDD Relaxations for Combinatorial Optimization
Abstract. We study the application of limited-width MDDs (multivalued decision diagrams) as discrete relaxations for combinatorial optimization problems. These relaxations are used...
David Bergman, Willem Jan van Hoeve, John N. Hooke...
SIAMMA
2010
43views more  SIAMMA 2010»
14 years 6 months ago
Nonlinear Stability of Semidiscrete Shocks for Two-Sided Schemes
The nonlinear stability of travelling Lax shocks in semidiscrete conservation laws involving general spatial forward-backward discretization schemes is considered. It is shown tha...
Margaret Beck, Hermen Jan Hupkes, Björn Sands...
IEEEARES
2007
IEEE
15 years 6 months ago
Pseudo-Voter Identity (PVID) Scheme for e-Voting Protocols
Voter anonymity, also known as unlinkability, is the primary requirement to satisfy privacy in e-voting protocols. Up until now, e-voting protocols have tried to make communicatio...
Orhan Cetinkaya, Ali Doganaksoy