Sciweavers

9186 search results - page 274 / 1838
» A Module System for Scheme
Sort
View
ISSAC
2004
Springer
91views Mathematics» more  ISSAC 2004»
16 years 15 hour ago
Hyperexponential solutions of finite-rank ideals in orthogonal ore rings
An orthogonal Ore ring is an abstraction of common properties of linear partial differential, shift and q-shift operators. Using orthogonal Ore rings, we present an algorithm for...
George Labahn, Ziming Li
179
Voted
SIGMOD
2010
ACM
277views Database» more  SIGMOD 2010»
15 years 11 months ago
Glacier: a query-to-hardware compiler
Field-programmable gate arrays (FPGAs) are a promising technology that can be used in database systems. In this demonstration we show Glacier, a library and a compiler that can be...
René Müller, Jens Teubner, Gustavo Alo...
DATE
2000
IEEE
100views Hardware» more  DATE 2000»
15 years 11 months ago
A New Approach for Computation of Timing Jitter in Phase Locked Loops
A new method for computation of timing jitter in a PLL is proposed. The computational method is based on the representation of the circuit as a linear time-varying system with mod...
Mark M. Gourary, Sergey G. Rusakov, Sergey L. Ulya...
PLSA
1994
15 years 10 months ago
Technological Steps toward a Software Component Industry
A machine_independent abstract program representation is presented that is twice as compact as machine code for a CISC processor. It forms the basis of an implementation, in which ...
Michael Franz
PROFES
2000
Springer
15 years 10 months ago
Modeling and Analysis of Software Aging Process
This paper proposes a model of successful maintenance that can represent how maintainability of each software module changes as it ages. We found that some of the metrics, measured...
Akito Monden, Shin-ichi Sato, Ken-ichi Matsumoto, ...