Sciweavers

7112 search results - page 397 / 1423
» Power in normative systems
Sort
View
EMSOFT
2010
Springer
15 years 4 months ago
Power-aware temporal isolation with variable-bandwidth servers
Variable-bandwidth servers (VBS) control process execution speed by allocating variable CPU bandwidth to processes. VBS enables temporal isolation of EDF-scheduled processes in th...
Silviu S. Craciunas, Christoph M. Kirsch, Ana Soko...
IFIP
2010
Springer
15 years 1 months ago
Rialto 2.0: A Language for Heterogeneous Computations
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...
Johan Lilius, Andreas Dahlin, Lionel Morel
CC
2012
Springer
250views System Software» more  CC 2012»
14 years 2 months ago
Improving Performance of OpenCL on CPUs
Abstract. Data-parallel languages like OpenCL and CUDA are an important means to exploit the computational power of today’s computing devices. In this paper, we deal with two asp...
Ralf Karrenberg, Sebastian Hack
ICCD
2006
IEEE
118views Hardware» more  ICCD 2006»
16 years 3 months ago
A System-level Network-on-Chip Simulation Framework Integrated with Low-level Analytical Models
—This paper presents a system-level Network-on-Chip modeling framework that integrates transaction-level model and analytical wire model for design space exploration. It enables ...
Jinwen Xi, Peixin Zhong
SARA
2007
Springer
16 years 27 days ago
Extensional Reasoning
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...
Timothy L. Hinrichs