Sciweavers

2663 search results - page 121 / 533
» How to Choose a Timing Model
Sort
View
DAC
2010
ACM
15 years 10 months ago
Cost-aware three-dimensional (3D) many-core multiprocessor design
The emerging three-dimensional integrated circuit (3D IC) is beneficial for various applications from both area and performance perspectives. While the general trend in processor...
Jishen Zhao, Xiangyu Dong, Yuan Xie
INFOCOM
2010
IEEE
15 years 4 months ago
Distributed Algorithms for Approximating Wireless Network Capacity
—In this paper we consider the problem of maximizing wireless network capacity (a.k.a. one-shot scheduling) in both the protocol and physical models. We give the first distribut...
Michael Dinitz
SUM
2010
Springer
15 years 3 months ago
A Formal Analysis of Logic-Based Argumentation Systems
Dung's abstract argumentation model consists of a set of arguments and a binary relation encoding attacks among arguments. Different acceptability semantics have been defined ...
Leila Amgoud, Philippe Besnard
SAC
2004
ACM
15 years 11 months ago
Using semi-lagrangian formulations with automatic code generation for environmental modeling
An import issue for numerical weather prediction modes (NWP) is the time it takes to produce a valid forecast. One factor, which greatly influences this simulation time is the si...
Paul van der Mark, Lex Wolters, Gerard Cats
DATE
1999
IEEE
100views Hardware» more  DATE 1999»
15 years 10 months ago
The Rugby Model: A Conceptual Frame for the Study of Modelling, Analysis and Synthesis Concepts of Electronic Systems
We propose a conceptual framework, called the Rugby Model, in which designs, design processes and design tools can be studied. It is an extension of the Y chart and adds two dimen...
Axel Jantsch, Shashi Kumar, Ahmed Hemani