Sciweavers

959 search results - page 108 / 192
» Fundamental Concepts in Programming Languages
Sort
View
DS
1997
97views Database» more  DS 1997»
15 years 5 months ago
A Formalization of ODMG Queries
The ODMG proposal has helped to focus the work on object-oriented databases (OODBs) onto a common object model and query language. Nevertheless there are several shortcomings of t...
Holger Riedel, Marc H. Scholl
AAAI
2006
15 years 5 months ago
Reconciling Situation Calculus and Fluent Calculus
The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is no formal relation between the two calculi that wo...
Stephan Schiffel, Michael Thielscher
126
Voted
PDCAT
2009
Springer
15 years 10 months ago
Supporting Partial Ordering with the Parallel Iterator
With the advent of multi-core processors, desktop application developers must finally face parallel computing and its challenges. A large portion of the computational load in a p...
Nasser Giacaman, Oliver Sinnen
ICPADS
2008
IEEE
15 years 10 months ago
Object-Oriented Parallelisation: Improved and Extended Parallel Iterator
The need to parallelise desktop applications is becoming increasingly essential with the mainstream adoption of multi-cores. In object-oriented languages, sequential iterators han...
Nasser Giacaman, Oliver Sinnen, Lama Akeila
ECOOP
2007
Springer
15 years 8 months ago
Tracking Linear and Affine Resources with Java(X)
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...
Markus Degen, Peter Thiemann, Stefan Wehr