257 search results - page 51 / 52 » Destructors, finalizers, and synchronization |
JUCS
2008
13 years 5 months ago
2008
: Currently, many models are used to capture functional software requirements. However, the Software Engineering community has faded interaction requirements into the background, d...
TASE
2008
IEEE
13 years 5 months ago
2008
IEEE
This paper considers a matrix-based discrete event control approach for a warehouse. The control system is organized in two modules: a dynamic model and a controller. The model pro...
TCS
2008
13 years 5 months ago
2008
Intersection types are well-known to type theorists mainly for two reasons. Firstly, they type all and only the strongly normalizable lambda terms. Secondly, the intersection type...
BMCBI
2005
13 years 5 months ago
2005
Background: The cellular signaling pathway (network) is one of the main topics of organismic investigations. The intracellular interactions between genes in a signaling pathway ar...
SIAMCOMP
1998
13 years 5 months ago
1998
This paper introduces the queue-read, queue-write (qrqw) parallel random access machine (pram) model, which permits concurrent reading and writing to shared memory locations, but ...