6978 search results - page 1166 / 1396 » Reframing Requirements Analysis |
297
click to vote
PLDI
2003
ACM
16 years 14 days ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
265
click to vote
PLDI
2003
ACM
16 years 14 days ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
183
click to vote
ICMI
2003
Springer
16 years 13 days ago
2003
Springer
Multimodal interfaces are designed with a focus on flexibility, although very few currently are capable of adapting to major sources of user, task, or environmental variation. The...
192
click to vote
ECCV
2010
Springer
16 years 11 days ago
2010
Springer
This paper presents algorithms for efficiently computing the covariance matrix for features that form sub-windows in a large multidimensional image. For example, several image proc...
224
click to vote
ICPPW
2002
IEEE
16 years 5 days ago
2002
IEEE
This paper reports our experiences on the Scalable Network Of Workstation (SNOW) project, which implements a novel methodology to support user-level process migration for traditio...