Sciweavers

8109 search results - page 1065 / 1622
» A Model of Component-Based Programming
Sort
View
TPHOL
2008
IEEE
16 years 1 months ago
Formal Reasoning About Causality Analysis
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...
Jens Brandt, Klaus Schneider
DATE
2007
IEEE
71views Hardware» more  DATE 2007»
16 years 1 months ago
Task scheduling for reliable cache architectures of multiprocessor systems
This paper presents a task scheduling method for reliable cache architectures (RCAs) of multiprocessor systems. The RCAs dynamically switch their operation modes for reducing the ...
Makoto Sugihara, Tohru Ishihara, Kazuaki Murakami
GRC
2007
IEEE
16 years 1 months ago
Structured Writing with Granular Computing Strategies
— Granular computing unifies structured thinking, structured problem solving and structured information processing. In order to see the flexibility and universal applicability ...
Yiyu Yao
185
Voted
ICC
2007
IEEE
16 years 1 months ago
p-Cycle Network Design for Specified Minimum Dual-Failure Restorability
— Dual-failure scenarios are a real possibility in today’s optical networks and it is becoming more and more important for carriers and network operators to consider them when ...
Wei Li, John Doucette, Ming Zuo
PDP
2007
IEEE
16 years 1 months ago
An Annotation-Based Framework for Parallel Computing
This paper presents a programming language for parallel computing based on code annotations. It has similar goals and philosophy as OpenMP but it is more tightly coupled to the ob...
Carlos A. Cunha, João Luís Sobral
« Prev « First page 1065 / 1622 Last » Next »