3889 search results - page 555 / 778 » The Use of Program Dependence Graphs in Software Engineering |
145
Voted
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
The Real-Time Specification for Java (RTSJ) allows a program to create real-time threads with hard real-time constraints. Real-time threads use region-based memory management to ...
141
Voted
APCCM
2009
15 years 5 months ago
2009
Application domain description precedes requirements engineering, and is the basis for the development of a software or information system that satisfies all expectations of its u...
125
Voted
SENSYS
2006
ACM
15 years 10 months ago
2006
ACM
Small-form-factor, low-power wireless sensors—motes—are convenient to deploy, but lack the bandwidth to capture and transmit raw high-frequency data, such as human voices or n...
139
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
122
click to vote
ICSE
2009
IEEE-ACM
16 years 5 months ago
2009
IEEE-ACM
Designers of concurrent programs are faced with many choices of synchronization mechanisms, among which clear functional trade-offs exist. Making synchronization customizable is h...