Sciweavers

6740 search results - page 468 / 1348
» Using Classification as a Programming Language
Sort
View
COMPSAC
2003
IEEE
15 years 9 months ago
An Object-Passing Model for Parallel Programming
This paper introduces an object-passing model for parallel and distributed application development. Object passing provides the object-oriented application developer with powerful...
Jameela Al-Jaroodi, Nader Mohamed
ATVA
2005
Springer
130views Hardware» more  ATVA 2005»
15 years 10 months ago
Approximate Reachability for Dead Code Elimination in Esterel
Esterel is an imperative synchronous programming language for the design of reactive systems. Esterel extends Esterel with a noninstantaneous jump instruction (compatible with conc...
Olivier Tardieu, Stephen A. Edwards
INAP
2005
Springer
15 years 10 months ago
TURTLE++ - A CIP-Library for C++
This article introduces the turtle++ library which combines constraint-based and imperative paradigms and enables in this way constraint imperative programming (CIP) with c++. Inte...
Petra Hofstedt, Olaf Krzikalla
ECOOPWEXCEPTION
2006
Springer
15 years 8 months ago
Handling Multiple Concurrent Exceptions in C++ Using Futures
Abstract. Exception handling is a well-established mechanism in sequential programming. Concurrency and asynchronous calls introduce the possibility for multiple simultaneous excep...
Matti Rintala
RULEML
2004
Springer
15 years 9 months ago
Semantic Web Reasoning with Conceptual Logic Programs
Abstract. We extend Answer Set Programming with, possibly infinite, open domains. Since this leads, in general, to undecidable reasoning, we restrict the syntax of programs, while...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir