3889 search results - page 339 / 778 » The Use of Program Dependence Graphs in Software Engineering |
177
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 8 months ago
2006
Springer
It is difficult to write programs that behave correctly in the presence of exceptions. We describe a dataflow analysis for finding a certain class of mistakes made while programs h...
143
click to vote
COMPSAC
2005
IEEE
15 years 7 months ago
2005
IEEE
Fault-tolerant mobile computing systems have different requirements and restrictions, not taken into account by conventional distributed systems. This paper presents a coordinate...
145
click to vote
LCTRTS
2005
Springer
15 years 10 months ago
2005
Springer
Mobile computing based upon wireless technology as the interconnect and PDAs, Web-enabled cell phones etc. as the end devices provide a rich infrastructure for anywhere, anytime i...
122
click to vote
FSTTCS
2008
Springer
15 years 6 months ago
2008
Springer
Regular games provide a very useful model for the synthesis of controllers in reactive systems. The complexity of these games depends on the representation of the winning condition...
240
Voted
ASPLOS
2009
ACM
16 years 5 months ago
2009
ACM
Even though graphics processors (GPUs) are becoming increasingly popular for general purpose computing, current (and likely near future) generations of GPUs do not provide hardwar...