4917 search results - page 194 / 984 » Software Engineering is Not Computer Science |
100
click to vote
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
124
click to vote
CGO
2009
IEEE
15 years 9 months ago
2009
IEEE
The development of high-performance libraries has become extraordinarily difficult due to multiple processor cores, vector instruction sets, and deep memory hierarchies. Often, t...
124
click to vote
SEAA
2008
IEEE
15 years 9 months ago
2008
IEEE
Mobile devices are considered to be very useful in adhoc and team collaborations, for example in disaster responses, where dedicated infrastructures are not available. Such collab...
120
click to vote
SEFM
2008
IEEE
15 years 9 months ago
2008
IEEE
We present an approach to find upper bounds of heap space for Java Card applets. Our method first transforms an input bytecode stream into a control flow graph (CFG), and then ...
118
click to vote
SEFM
2007
IEEE
15 years 9 months ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...