814 search results - page 54 / 163 » Analysis of Modular Arithmetic |
109
Voted
BIOSYSTEMS
2008
15 years 2 months ago
2008
Despite several decades of intense study, protein folding problem remains elusive. In this paper, we review current knowledge and the prevailing thinking in the field, and summari...
138
Voted
TASLP
2010
15 years 29 days ago
2010
—This paper presents a set of novel physical models for sound synthesis of membrane percussion instruments. First, a model for tension modulation in a struck circular membrane is...
109
click to vote
CONCUR
2005
Springer
15 years 8 months ago
2005
Springer
Usually, ranking function synthesis and invariant generation oop with integer variables involves abstracting the loop to have real variables. Integer division and modulo arithmetic...
101
click to vote
DATE
2000
IEEE
15 years 7 months ago
2000
IEEE
c Abstraction for Worst-Case Analysis of Discrete Systems Felice Balarin Cadence Berkeley Laboratories Recently, a methodology for worst-case analysis of discrete systems has been...
134
Voted
ISSS
1998
IEEE
15 years 6 months ago
1998
IEEE
False path analysis is an activity with applications in a variety of computer science and engineering domains like for instance high-level synthesis, worst case execution time est...