Sciweavers

4690 search results - page 10 / 938
» An operational semantics for Scheme
Sort
View
ICLP
1995
Springer
15 years 5 months ago
Operational Semantics of Constraint Logic Programs with Coroutining
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
Andreas Podelski, Gert Smolka
VLSID
2007
IEEE
107views VLSI» more  VLSID 2007»
16 years 2 months ago
Ultra Low Voltage Operation with Bootstrap Scheme for Single Power Supply SOI-SRAM
Masaaki Iijima, Masayuki Kitamura, Masahiro Numa, ...
84
Voted
DCC
2010
IEEE
15 years 7 months ago
Arbitrary Directional Edge Encoding Schemes for the Operational Rate-Distortion Optimal Shape Coding Framework
Zhongyuan Lai, Junhuan Zhu, Zhou Ren, Wenyu Liu, B...
71
Voted
SCALESPACE
2001
Springer
15 years 6 months ago
An Accurate Operator Splitting Scheme for Nonlinear Diffusion Filtering
Danny Barash, Moshe Israeli, Ron Kimmel