Search Sciweavers | Sciweavers

4690 search results - page 10 / 938

» An operational semantics for Scheme

click to vote

ICLP
1995
Springer

151views Automated Reasoning» more ICLP 1995»

Operational Semantics of Constraint Logic Programs with Coroutining

13 years 11 months ago

Download www.ps.uni-saarland.de

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

claim paper

Read More »

click to vote

VLSID
2007
IEEE

107views VLSI» more VLSID 2007»

Ultra Low Voltage Operation with Bootstrap Scheme for Single Power Supply SOI-SRAM

14 years 8 months ago

Download cas.eedept.kobe-u.ac.jp

Masaaki Iijima, Masayuki Kitamura, Masahiro Numa, ...

claim paper

Read More »

click to vote

DCC
2010
IEEE

111views Computer Graphics» more DCC 2010»

Arbitrary Directional Edge Encoding Schemes for the Operational Rate-Distortion Optimal Shape Coding Framework

14 years 23 days ago

Download mc.eistar.net

Zhongyuan Lai, Junhuan Zhu, Zhou Ren, Wenyu Liu, B...

claim paper

Read More »

click to vote

SCALESPACE
2001
Springer

104views Computer Vision» more SCALESPACE 2001»

An Accurate Operator Splitting Scheme for Nonlinear Diffusion Filtering

14 years 2 days ago

Download www.hpl.hp.com

Danny Barash, Moshe Israeli, Ron Kimmel

claim paper

Read More »

click to vote

JSS
2010

105views more JSS 2010»

Comprehensive evaluation of aperiodic checkpointing and rejuvenation schemes in operational software system

13 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers