Sciweavers

4690 search results - page 276 / 938
» An operational semantics for Scheme
Sort
View
GI
2007
Springer
16 years 26 days ago
Semantic Web Technologies for Power Grid Management
: Utility companies worldwide are facing a multitude of new challenges, which can not be met with the historically grown, monolithic IT systems currently in use. Service oriented a...
Mathias Uslar, Nikolai Dahlem
COMAD
2008
15 years 8 months ago
Exploiting Semantics and Speculation for Improving the Performance of Read-only Transactions
A read-only transaction (ROT) does not modify any data. Efforts are being made in the literature to improve the performance of ROTs without correctness and data currency issues. T...
Thirumalaisamy Ragunathan, P. Krishna Reddy
ICFP
2002
ACM
16 years 6 months ago
Final shift for call/cc: : direct implementation of shift and reset
We present a direct implementation of the shift and reset control operators in the Scheme 48 system. The new implementation improves upon the traditional technique of simulating s...
Martin Gasbichler, Michael Sperber
IROS
2009
IEEE
121views Robotics» more  IROS 2009»
16 years 1 months ago
Understanding of positioning skill based on feedforward / feedback switched dynamical model
— To realize the harmonious cooperation with the operator, the man-machine cooperative system must be designed so as to accommodate with the characteristics of the operator’s s...
Hiroyuki Okuda, Hidenori Takeuchi, Shinkichi Inaga...
ISCAS
2005
IEEE
177views Hardware» more  ISCAS 2005»
16 years 9 days ago
Subthreshold-leakage suppressed switched capacitor circuit based on super cut-off CMOS (SCCMOS)
A subthreshold-leakage suppressed switched capacitor (SC) circuit based on super cut-off CMOS (SCCMOS) scheme is introduced. This scheme realizes low-voltage SC circuits using low...
K. Ishida, K. Kanda, A. Tamtrakarn, H. Kawaguchi, ...