1064 search results - page 101 / 213 » Tracking a Generator by Persistence |
GM
1999
Springer
15 years 2 months ago
1999
Springer
This paper is concerned with various aspects of the modeling of parallel curves on surfaces with special emphasis on surfaces of revolution. An algorithm for efficient tracking of...
ENTCS
2002
14 years 9 months ago
2002
We describe a linear channel inference system for the TyCO programming language, where channel usage is tracked through method invocations as well as procedure calls. We then appl...
OOPSLA
1999
Springer
15 years 2 months ago
1999
Springer
Modern generational garbage collectors look for garbage among the young objects, because they have high mortality; however, these objects include the very youngest objects, which ...
TSE
2008
14 years 9 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
DCOSS
2010
Springer
15 years 1 months ago
2010
Springer
Traditional deployments of wireless sensor networks (WSNs) rely on static basestations to collect data. For applications with highly spatio-temporal and dynamic data generation, su...