4343 search results - page 412 / 869 » Replication Techniques for Availability |
139
click to vote
VL
2003
IEEE
16 years 6 days ago
2003
IEEE
Interpreting general purpose programming constructs can be difficult because it requires context, such as knowledge of language syntax or idioms, which users may not have readily ...
149
click to vote
ASIAN
2003
Springer
16 years 5 days ago
2003
Springer
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...
183
click to vote
CMSB
2003
Springer
16 years 5 days ago
2003
Springer
Metabolic flux estimation—the problem of finding out the rates of reactions in metabolic pathways—is an important problem area in the study of metabolism. The most accurate t...
163
click to vote
DSVIS
2003
Springer
16 years 5 days ago
2003
Springer
rs to become familiar with abstract modeling concepts or difficult language syntax. This is a departure from traditional visual interface development tools, in which developers sel...
179
click to vote
DATE
2002
IEEE
15 years 12 months ago
2002
IEEE
: A new technique is presented in this paper to improve the efficiency of data scheduling for multi-context reconfigurable architectures targeting multimedia and DSP applications. ...