1054 search results - page 135 / 211 » Translation Validation of System Abstractions |
183
click to vote
HPDC
2009
IEEE
16 years 1 months ago
2009
IEEE
This article deals with TakTuk, a middleware that deploys efficiently parallel remote executions on large scale grids (thousands of nodes). This tool is mostly intended for intera...
156
click to vote
CODES
2005
IEEE
15 years 12 months ago
2005
IEEE
Design of programmable processors and embedded applications requires instruction-set simulators for early exploration and validation of candidate architectures. Interpretive simul...
168
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Proteins are the primary regulatory agents of transcription even though mRNA expression data alone, from systems like DNA microarrays, are widely used. In addition, th...
197
click to vote
PVLDB
2008
15 years 5 months ago
2008
Supporting graceful schema evolution represents an unsolved problem for traditional information systems that is further exacerbated in web information systems, such as Wikipedia a...
185
click to vote
WEBI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--Search engines have greatly influenced the way people access information on the Internet as such engines provide the preferred entry point to billions of pages on the Web...