243 search results - page 23 / 49 » Towards a Type System for Analyzing JavaScript Programs |
CSREAESA
2006
13 years 9 months ago
2006
Hybrid spacecraft processing platforms that combine radiation-hardened components with commercialgrade COTS components have the potential to dramatically improve performance while ...
BMCBI
2008
13 years 7 months ago
2008
Background: During the past decade, many software packages have been developed for analysis and visualization of various types of microarrays. We have developed and maintained the...
BMCBI
2005
13 years 7 months ago
2005
Background: Development of robust and efficient methods for analyzing and interpreting high dimension gene expression profiles continues to be a focus in computational biology. Th...
ICS
2005
Tsinghua U.
14 years 1 months ago
2005
Tsinghua U.
We present compiler techniques for translating OpenMP shared-memory parallel applications into MPI messagepassing programs for execution on distributed memory systems. This transl...
FM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...