20 search results - page 1 / 4 » Lightweight Techniques for Tracking Unique Program Statement... |
SCAM
2009
IEEE
15 years 5 months ago
2009
IEEE
90
Voted
DCOSS
2005
Springer
15 years 3 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...
129
Voted
WCFLP
2005
ACM
15 years 3 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...
91
Voted
ENTCS
2007
14 years 10 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...
83
Voted
ICFP
1999
ACM
15 years 2 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...