10379 search results - page 1934 / 2076 » The Chaos of Software Development |
315
click to vote
CC
2011
Springer
14 years 9 months ago
2011
Springer
For decades, the design and implementation of arrays in programming languages has reflected a natural tension between productivity and performance. Recently introduced HPCS langua...
194
click to vote
PEPM
2011
ACM
14 years 8 months ago
2011
ACM
Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language t...
208
click to vote
PLDI
2011
ACM
14 years 8 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
189
click to vote
EMSOFT
2011
Springer
14 years 5 months ago
2011
Springer
As system integration becomes an increasingly important challenge for complex real-time systems, there has been a significant demand for supporting real-time systems in virtualiz...
205
click to vote
AOSD
2012
ACM
14 years 1 months ago
2012
ACM
Aspect-Oriented Programming (AOP) started fifteen years ago with the remark that modularization of so-called crosscutting functionalities is a fundamental problem for the enginee...