10274 search results - page 1916 / 2055 » Lean Software Development |
233
Voted
CC
2011
Springer
14 years 5 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...
146
Voted
PEPM
2011
ACM
14 years 5 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...
154
click to vote
PLDI
2011
ACM
14 years 5 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...
144
Voted
EMSOFT
2011
Springer
14 years 1 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...
117
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
In the last decade, instruction-set simulators have become an essential development tool for the design of new programmable architectures. Consequently, the simulator performance ...