5451 search results - page 982 / 1091 » Typed Operational Semantics |
116
Voted
RECOMB
2002
Springer
16 years 3 months ago
2002
Springer
Biological data, such as gene expression profiles or protein sequences, is often organized in a hierarchy of classes, where the instances assigned to "nearby" classes in...
259
click to vote
OSDI
2008
ACM
16 years 3 months ago
2008
ACM
Efficiently managing storage is important for virtualized computing environments. Its importance is magnified by developments such as cloud computing which consolidate many thousa...
222
Voted
SIGMOD
2007
ACM
16 years 3 months ago
2007
ACM
Declarative data quality has been an active research topic. The fundamental principle behind a declarative approach to data quality is the use of declarative statements to realize...
118
Voted
SOSP
2009
ACM
16 years 10 days ago
2009
ACM
Bug reproduction is critically important for diagnosing a production-run failure. Unfortunately, reproducing a concurrency bug on multi-processors (e.g., multi-core) is challengin...
167
Voted
VEE
2010
ACM
15 years 10 months ago
2010
ACM
Asymmetric multicore processors (AMP) consist of cores exposing the same instruction-set architecture (ISA) but varying in size, frequency, power consumption and performance. AMPs...