Sciweavers

1404 search results - page 89 / 281
» Increasing Concurrency in Databases Using Program Analysis
Sort
View
111
Voted
VLDB
2002
ACM
156views Database» more  VLDB 2002»
15 years 7 days ago
A Logical Framework for Scheduling Workflows under Resource Allocation Constraints
A workflow consists of a collection of coordinated tasks designed to carry out a welldefined complex process, such as catalog ordering, trip planning, or a business process in an ...
Pinar Senkul, Michael Kifer, Ismail Hakki Toroslu
114
Voted
JCP
2008
104views more  JCP 2008»
15 years 18 days ago
Analysis and Improved Recognition of Protein Names Using Transductive SVM
We first analyzed protein names using various dictionaries and databases and found five problems with protein names; i.e., the treatment of special characters, the treatment of hom...
Masaki Murata, Tomohiro Mitsumori, Kouichi Doi
TACAS
2012
Springer
263views Algorithms» more  TACAS 2012»
13 years 8 months ago
Reachability under Contextual Locking
Abstract. The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of...
Rohit Chadha, P. Madhusudan, Mahesh Viswanathan
EDBT
2009
ACM
90views Database» more  EDBT 2009»
15 years 5 months ago
Parallelization of XPath queries using multi-core processors: challenges and experiences
In this study, we present experiences of parallelizing XPath queries using the Xalan XPath engine on shared-address space multi-core systems. For our evaluation, we consider a sce...
Rajesh Bordawekar, Lipyeow Lim, Oded Shmueli
IFIP
2010
Springer
14 years 7 months ago
Reasoning about Probabilistic Security Using Task-PIOAs
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
Aaron D. Jaggard, Catherine Meadows, Michael Mislo...