2943 search results - page 190 / 589 » Software Implementation of Synchronous Programs |
176
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
We present a novel dynamic analysis technique that finds real deadlocks in multi-threaded programs. Our technique runs in two stages. In the first stage, we use an imprecise dyn...
128
click to vote
ICSE
1998
IEEE-ACM
15 years 7 months ago
1998
IEEE-ACM
Form-based visual programming languages, which include commercial spreadsheets and various research systems, have had a substantial impact on end-user computing. Research shows, h...
104
click to vote
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
Software engineers need to understand programs in order to effectively maintain them. The call graph, which presents the calling relationships between functions, is a useful repre...
110
click to vote
ICSE
2000
IEEE-ACM
15 years 6 months ago
2000
IEEE-ACM
Explicitly stated program invariants can help programmers by characterizing certain aspects of program execution and identifying program properties that must be preserved when mod...
137
click to vote
ACMSE
2004
ACM
15 years 8 months ago
2004
ACM
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...