Sciweavers

358 search results - page 52 / 72
» Parallel Evaluation Strategies for Functional Logic Language...
Sort
View
PPOPP
2010
ACM
15 years 9 months ago
Using data structure knowledge for efficient lock generation and strong atomicity
To achieve high-performance on multicore systems, sharedmemory parallel languages must efficiently implement atomic operations. The commonly used and studied paradigms for atomici...
Gautam Upadhyaya, Samuel P. Midkiff, Vijay S. Pai
EDOC
2004
IEEE
15 years 3 months ago
Formalizing ODP Computational Viewpoint Specifications in Maude
The ODP computational viewpoint describes the functionality of a system and its environment, in terms of a configuration of objects which interact at interfaces. Computational obj...
José Raúl Romero, Antonio Vallecillo
RSCTC
2000
Springer
126views Fuzzy Logic» more  RSCTC 2000»
15 years 3 months ago
Evolutionary Parsing for a Probabilistic Context Free Grammar
Abstract. Classic parsing methods are based on complete search techniques to find the different interpretations of a sentence. However, the size of the search space increases expon...
Lourdes Araujo
EDOC
2005
IEEE
15 years 5 months ago
Improving IT Management at the BMW Group by Integrating Existing IT Management Processes
The management of IT landscapes consisting of thousands of business applications, different middleware systems, and supporting various business processes is a challenge for modern...
Florian Fischer, Florian Matthes, André Wit...
EDOC
2009
IEEE
15 years 3 months ago
Process SEER: A Tool for Semantic Effect Annotation of Business Process Models
A key challenge in devising solutions to a range of problems associated with business process management: process life cycle management, compliance management, enterprise process ...
Kerry Hinge, Aditya K. Ghose, George Koliadis