1485 search results - page 152 / 297 » Whole Program Paths |
DEDS
2010
13 years 9 months ago
2010
In discrete event systems, a given task can start executing when all the required input data are available. The required input data for a given task may change along the evolution...
IJWIN
2006
13 years 9 months ago
2006
Abstract-- We consider a wireless sensor network consisting of a set of sensors deployed randomly. A point in the monitored area is covered if it is within the sensing range of a s...
ENTCS
2007
13 years 9 months ago
2007
This paper is part of a comprehensive approach to debugging for functional logic languages. The basic idea of the whole project is to trace the execution of functional logic progr...
LISP
2007
13 years 9 months ago
2007
: The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure λ-terms. While its original description has remained unpublished, ...
SAC
2002
ACM
13 years 8 months ago
2002
ACM
This paper describes ongoing work on a project to simulate the behaviour of epidermal growth factor receptors. These are structures which can be found on the surface of cells in th...