2957 search results - page 562 / 592 » Code analysis and CS-XML |
ESOP
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Variant parametric types (VPT) represent the successful result of combining subtype polymorphism with parametric polymorphism to support a more flexible subtyping for Ja...
ICS
2009
Tsinghua U.
14 years 3 months ago
2009
Tsinghua U.
“Is transactional memory useful?” is the question that cannot be answered until we provide substantial applications that can evaluate its capabilities. While existing TM appli...
IISWC
2009
IEEE
14 years 3 months ago
2009
IEEE
— Programming to exploit the resources in a multicore system remains a major obstacle for both computer and software engineers. Transactional memory offers an attractive alternat...
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Recently, distributed data storage has gained increasing popularity for efficient and robust data management in wireless sensor networks (WSNs). But the distributed arc...
ICCS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. A framework for a fully implicit solution method is implemented into (1) the High Order Methods Modeling Environment (HOMME), which is a spectral element dynamical core o...