Sciweavers

19 search results - page 2 / 4
» Transitive Dependencies in Transaction Closures
Sort
View
IJCNN
2000
IEEE
13 years 9 months ago
Comparison of Text-Dependent Speaker Identification Methods for Short Distance Telephone Lines Using Artificial Neural Networks
The transition to democracy in South Africa has brought with it certain challenges. The main challenge is to get rid of crime and corruption.This paper presents a technique to com...
Ganesh K. Venayagamoorthy, Narend Sundepersadh
FUIN
2002
99views more  FUIN 2002»
13 years 5 months ago
On Interacting Automata with Limited Nondeterminism
One-way and two-way cellular language acceptors with restricted nondeterminism are investigated. The number of nondeterministic state transitions is regarded as limited resource wh...
Thomas Buchholz, Andreas Klein, Martin Kutrib
CD
2004
Springer
13 years 11 months ago
Eureka - A Resource Discovery Service for Component Deployment
Abstract. Component orientation is a current trend for creating modern applications. The concept of a component is broad and includes plugins and other units of modularization. Typ...
Karl Pauls, Richard S. Hall
ICSM
2008
IEEE
13 years 12 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
CAV
2009
Springer
165views Hardware» more  CAV 2009»
13 years 9 months ago
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. The transformations should preserve the fu...
Sven Verdoolaege, Gerda Janssens, Maurice Bruynoog...