1401 search results - page 221 / 281 » Tool Integration for Reasoned Programming |
GPCE
2007
Springer
14 years 4 months ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
SEKE
2007
Springer
14 years 4 months ago
2007
Springer
High performance computing (HPC) is gaining popularity in solving scientific applications. Using the current programming standards, however, it takes an HPC expert to efficiently ...
IEEEPACT
2006
IEEE
14 years 4 months ago
2006
IEEE
On machines with high-performance processors, the memory system continues to be a performance bottleneck. Compilers insert prefetch operations and reorder data accesses to improve...
ECOOP
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Integrated development environments have been designed and engineered to display structural information about the source code of large systems. When a development task li...
ESOP
2005
Springer
14 years 3 months ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...