843 search results - page 128 / 169 » Codes and Projective Multisets |
VLDB
2005
ACM
15 years 3 months ago
2005
ACM
This paper presents the design of a read-optimized relational DBMS that contrasts sharply with most current systems, which are write-optimized. Among the many differences in its d...
SIGITE
2004
ACM
15 years 3 months ago
2004
ACM
In this paper, we establish the need (based on literature and anecdotal evidence) for an infrastructure for CS1 courses to visually support problem solving from the initial proble...
CASSIS
2004
Springer
15 years 3 months ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
ICCS
2004
Springer
15 years 3 months ago
2004
Springer
FCA has been successfully applied to software engineering tasks such as source code analysis and class hierarchy re-organization. Most notably, FCA hematics behind the mechanism of...
IWMM
2004
Springer
15 years 3 months ago
2004
Springer
The goal of the Cyclone project is to investigate type safety for low-level languages such as C. Our hardest challenge has been providing programmers control over memory managemen...