20 search results - page 1 / 4 » Lightweight Techniques for Tracking Unique Program Statement... |
SCAM
2009
IEEE
14 years 5 months ago
2009
IEEE
DCOSS
2005
Springer
14 years 4 months ago
2005
Springer
Tracking is one of the major applications of wireless sensor networks. EnviroSuite, as a programming paradigm, provides a comprehensive solution for programming tracking applicatio...
WCFLP
2005
ACM
14 years 4 months ago
2005
ACM
Program slicing is a well-known technique that extracts from a program those statements which are relevant to a particular criterion. While static slicing does not consider any in...
ENTCS
2007
13 years 11 months ago
2007
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...
ICFP
1999
ACM
14 years 3 months ago
1999
ACM
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...