3302 search results - page 376 / 661 » Software Is More Than Code |
220
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
155
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
A fundamental part of a Computer Science degree is learning to program. Rather than starting students on a full commercial language, we favour using a dedicated "teaching lan...
197
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
The layered architecture of middleware platforms (such as CORBA, SOAP, J2EE) is a mixed blessing. On the one hand, layers provide services such as demarshaling, session management...
198
click to vote
CASES
2004
ACM
15 years 10 months ago
2004
ACM
With the ever-increasing pervasiveness of the Internet and its stringent performance requirements, network system designers have begun utilizing specialized chips to increase the ...
142
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Developers frequently use inefficient code sequences that could be fixed by simple patches. These inefficient code sequences can cause significant performance degradation and ...