Sciweavers

229 search results - page 25 / 46
» Partial Descriptions and Systemic Grammar
Sort
View
AGP
2003
IEEE
14 years 3 months ago
Ordered Programs as Abductive Systems
In ordered logic programs, i.e. partially ordered sets of clauses where smaller rules carry more preference, inconsistencies, which appear as conflicts between applicable rules, a...
Davy Van Nieuwenborgh, Dirk Vermeir
SAMOS
2005
Springer
14 years 3 months ago
Automatic ADL-Based Assembler Generation for ASIP Programming Support
Abstract. Systems-on-Chip (SoCs) may be built upon general purpose CPUs or application-specific instruction-set processors (ASIPs). On the one hand, ASIPs allow a tradeoff betwee...
Leonardo Taglietti, José O. Carlomagno Filh...
ICDE
2009
IEEE
164views Database» more  ICDE 2009»
14 years 11 months ago
Efficient and Robust Database Support for Data-Intensive Applications in Dynamic Environments
Requirements from new types of applications call for new database system solutions. Computational science applications performing distributed computations on Grid networks with req...
Jon Olav Hauglid, Kjetil Nørvåg, Norv...
GLOBECOM
2009
IEEE
14 years 4 months ago
Downlink Mobile OFDMA Resource Allocation with Minimum User Rate Requests
— The problem of resource allocation (RA) in a downlink OFDMA system with minimum user rate requests is examined under the realistic scenario of partial (imperfect) channel state...
Stelios Stefanatos, Christos Papathanasiou, Nikos ...
FM
2006
Springer
121views Formal Methods» more  FM 2006»
14 years 1 months ago
Properties of Behavioural Model Merging
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...
Greg Brunet, Marsha Chechik, Sebastián Uchi...