8109 search results - page 1149 / 1622 » A Model of Component-Based Programming |
138
click to vote
SCAM
2007
IEEE
16 years 29 days ago
2007
IEEE
Program dependence graphs are a well-established device to represent possible information flow in a program. Path conditions in dependence graphs have been proposed to express mo...
168
click to vote
TASE
2007
IEEE
16 years 29 days ago
2007
IEEE
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
211
click to vote
ARGMAS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...
177
Voted
CC
2007
Springer
16 years 26 days ago
2007
Springer
This paper presents a compiler technique that reduces the energy consumption of the memory subsystem, for an off-chip partitioned memory architecture having multiple memory banks ...
211
Voted
EUROPAR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Prefetching transfers a data item in advance from its storage location to its usage location so that communication is hidden and does not delay computation. We present a ...