2171 search results - page 314 / 435 » Combining Funnels: A Dynamic Approach to Software Combining |
148
click to vote
SEFM
2007
IEEE
16 years 21 days ago
2007
IEEE
It is a common phenomenon for research projects to collect and analyse valuable data using ad-hoc information systems. These costly-to-build systems are often composed of incompat...
137
click to vote
CISSE
2007
Springer
16 years 18 days ago
2007
Springer
Conventional human-computer interfaces for the exploration of volume datasets employ the mouse as an input device. Specifying an oblique orientation for a crosssectional plane thr...
168
click to vote
SEFM
2006
IEEE
16 years 13 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
166
click to vote
APSEC
2005
IEEE
16 years 1 days ago
2005
IEEE
Software-intensive systems are systems of systems that rely on complex interdependencies among themselves as well as with their operational environment to satisfy the required beh...
137
click to vote
CGO
2005
IEEE
16 years 1 days ago
2005
IEEE
In this paper, we describe how to extend the concept of superword-level parallelization (SLP), used for multimedia extension architectures, so that it can be applied in the presen...