Sciweavers

2226 search results - page 58 / 446
» Pdk: The System and Its Language
Sort
View
AICCSA
2006
IEEE
95views Hardware» more  AICCSA 2006»
16 years 5 days ago
DEPICT: A High-Level Formal Language For Modeling Constraint Satisfaction Problems
: The past decade witnessed rapid development of constraint satisfaction technologies, where algorithms are now able to cope with larger and harder problems. However, owing to the ...
Abdulwahed M. Abbas, Edward P. K. Tsang, Ahmad H. ...
LCPC
2005
Springer
15 years 11 months ago
Testing Speculative Work in a Lazy/Eager Parallel Functional Language
Eden is a parallel extension of the functional language Haskell. Eden inherits from Haskell its laziness, which allows it to avoid unnecessary computations. However, in order to en...
Alberto de la Encina, Ismael Rodríguez, Fer...
IV
2002
IEEE
129views Visualization» more  IV 2002»
15 years 11 months ago
Design and Implementation of a Visual Query Language for Large Spatial Databases
In this paper a visual approach to querying in large spatial databases is presented. A diagrammatic technique utilising a data flow metaphor is used to express different kinds of...
Andrew J. Morris, Alia I. Abdelmoty, Douglas Tudho...
PROCEDIA
2010
148views more  PROCEDIA 2010»
15 years 26 days ago
SysCellC: a data-flow programming model on multi-GPU
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
Dominique Houzet, Sylvain Huet, Anis Rahman
GSEM
2007
Springer
16 years 8 days ago
A Policy Language for Integrating Heterogeneous Authorization Policies
In order to manage and enforce multiple heterogeneous authorization policies in distributed authorization environment, we defined the root policy specification language and its cor...
Wei Zhou, Christoph Meinel