Sciweavers

689 search results - page 8 / 138
» The multithreaded version of FORM
Sort
View
CN
2007
122views more  CN 2007»
13 years 7 months ago
Impact of mobility on the performance of relaying in ad hoc networks - Extended version
— We consider a mobile ad hoc network consisting of three types of nodes: source, destination, and relay nodes. All the nodes are moving over a bounded region with possibly diffe...
Ahmad Al Hanbali, Arzad Alam Kherani, Robin Groene...
ICSM
2008
IEEE
14 years 2 months ago
Dynamic slicing of multithreaded programs for race detection
Prior work has shown that computing dynamic slices of erroneous program values can greatly assist in locating the root cause of erroneous behavior by identifying faulty statements...
Sriraman Tallam, Chen Tian, Rajiv Gupta
WORDS
2002
IEEE
14 years 19 days ago
Auction System Design Using Open Multithreaded Transactions
Open Multithreaded Transactions form an advanced transaction model that provides features for controlling and structuring not only accesses to objects, as usual in transaction sys...
Jörg Kienzle, Alfred Strohmeier, Alexander B....
IPPS
2000
IEEE
14 years 3 days ago
Parallel Parsing of MPEG Video in a Multi-threaded Multiprocessor Environment
Video parsing refers to the detection of scene changes and special e ects in the video stream and is used to extract key frames from a video stream. In this paper, we propose paral...
Suchendra M. Bhandarkar, Shankar R. Chandrasekaran
CAV
2006
Springer
120views Hardware» more  CAV 2006»
13 years 11 months ago
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
Koushik Sen, Mahesh Viswanathan