2621 search results - page 219 / 525 » Near orders and codes |
141
click to vote
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a first order analog-to-digital converter with time-variant window. If a DC input is applied, the converter outputs a binary sequence until the internal state enters i...
194
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Overlapping genes (OGs) are defined as adjacent genes whose coding sequences overlap partially or entirely. In fact, they are ubiquitous in microbial genomes and more ...
200
click to vote
WCET
2010
15 years 4 months ago
2010
Hybrid measurement-based approaches to worst-case execution time (WCET) analysis combine measured execution times of small program segments using static analysis of the larger sof...
152
click to vote
SIGADA
2005
Springer
16 years 2 days ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
135
click to vote
FOSSACS
2003
Springer
15 years 11 months ago
2003
Springer
We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spirit of monadic metalanguages) and the staging of computations (as in languages for multi-l...