1304 search results - page 215 / 261 » Model-Driven Engineering for Requirements Analysis |
171
click to vote
PLDI
2003
ACM
15 years 5 months 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....
137
click to vote
PLDI
2003
ACM
15 years 5 months 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...
ISSRE
2000
IEEE
15 years 4 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...
157
click to vote
COBUILD
1999
Springer
15 years 4 months ago
1999
Springer
This paper discusses our implementation and experience with a camera-based whiteboard scanner. The ZombieBoard system (so called because it brings to electronic life the marks on a...
113
click to vote
EMSOFT
2008
Springer
15 years 1 months ago
2008
Springer
This paper presents an EDF-based algorithm, called Earliest Deadline Deferrable Portion (EDDP), for efficient scheduling of recurrent real-time tasks on multiprocessor systems. Th...