Sciweavers

8132 search results - page 362 / 1627
» Dependability, Abstraction, and Programming
Sort
View
ICPADS
2000
IEEE
15 years 11 months ago
Object-Oriented Real-Time Distributed Programming and Support Middleware
Abstract: The object-oriented (OO) distributed realtime (RT) programming movement started in 1990's and is growing rapidly at this turn of the century. The motivations are rev...
K. H. Kim
CPM
2000
Springer
143views Combinatorics» more  CPM 2000»
15 years 11 months ago
Explaining and Controlling Ambiguity in Dynamic Programming
Abstract. Ambiguity in dynamic programming arises from two independent sources, the non-uniqueness of optimal solutions and the particular recursion scheme by which the search spac...
Robert Giegerich
ERSHOV
1999
Springer
15 years 11 months ago
Extensions: A Technique for Structuring Functional-Logic Programs
Abstract. Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming...
Rafael Caballero, Francisco Javier López-Fr...
171
Voted
ECOOP
1998
Springer
15 years 11 months ago
Classifying Inheritance Mechanisms in Concurrent Object Oriented Programming
Abstract. Inheritance is one of the key concepts in object-oriented programming. However, the usefulness of inheritance in concurrent objectoriented programming is greatly reduced ...
Lobel Crnogorac, Anand S. Rao, Kotagiri Ramamohana...
CAV
2006
Springer
120views Hardware» more  CAV 2006»
15 years 10 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