17983 search results - page 371 / 3597 » Set Types and Applications |
153
click to vote
ASPDAC
2000
ACM
15 years 11 months ago
2000
ACM
⎯ This paper presents our research results on power-clocked CMOS design. First we provide algebraic expressions and describe properties of clocked signals. Next two types of powe...
159
click to vote
FMICS
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents an experience report on the specification and the validation of a real case study in the context of the industrial CRISTAL project. The case study concerns a pl...
141
Voted
WSC
1998
15 years 8 months ago
1998
This paper focuses on the practical value of using and selecting rail simulation models to find real solutions to real problems in constrained traffic corridors. It discusses issu...
125
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
In this paper simulation studies of the ultrasound computerized tomography (CT) technique employing time of flight data is presented. An enhanced genetic algorithm based reconstru...
184
Voted
JUCS
2008
15 years 6 months ago
2008
: The topological pressure of dynamical systems theory is examined from a computability theoretic point of view. It is shown that for sofic shift dynamical systems, the topological...