785 search results - page 113 / 157 » Static Analysis of Android Programs |
100
click to vote
CC
2001
Springer
15 years 6 months ago
2001
Springer
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....
120
click to vote
COORDINATION
2009
Springer
16 years 2 months ago
2009
Springer
A future is a well-known programming construct used to introduce concurrency to sequential programs. Computations annotated as futures are executed asynchronously and run concurren...
129
click to vote
SECON
2007
IEEE
15 years 8 months ago
2007
IEEE
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
113
click to vote
ECOOP
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose signi...
121
click to vote
IPPS
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract--NABBIT is a work-stealing library for execution of task graphs with arbitrary dependencies which is implemented as a library for the multithreaded programming language Ci...