Sciweavers

602 search results - page 74 / 121
» Knowledge Base Compilation and the Language Design Game
Sort
View
CCGRID
2001
IEEE
14 years 15 days ago
Parallel I/O Support for HPF on Clusters
Clusters of workstations are a popular alternative to integrated parallel systems designed and built by a vendor. Besides their huge cumulative processing power, they also provide...
Peter Brezany, Viera Sipková
CDC
2009
IEEE
118views Control Systems» more  CDC 2009»
14 years 1 months ago
Opportunistic scheduling in cellular systems in the presence of non-cooperative mobiles
Abstract— A central scheduling problem in wireless communications is that of allocating resources to one of many mobile stations that have a common radio channel. Much attention ...
Kavitha Veeraruna, Eitan Altman, Rachid El Azouzi,...
ICFP
2010
ACM
13 years 10 months ago
The impact of higher-order state and control effects on local relational reasoning
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
Derek Dreyer, Georg Neis, Lars Birkedal
KESAMSTA
2007
Springer
14 years 3 months ago
Ontology Agent Based Rule Base Fuzzy Cognitive Maps
This work proposes a framework for the design and development of Ontology Agents oriented to manage Rule Base Fuzzy Cognitive Maps (RBFCM). The approach takes into account the foun...
Alejandro Peña Ayala, Humberto Sossa, Franc...
OOPSLA
2005
Springer
14 years 2 months ago
Adding trace matching with free variables to AspectJ
An aspect observes the execution of a base program; when certain actions occur, the aspect runs some extra code of its own. In the AspectJ language, the observations that an aspec...
Chris Allan, Pavel Avgustinov, Aske Simon Christen...