Sciweavers

8109 search results - page 1444 / 1622
» A Model of Component-Based Programming
Sort
View
174
Voted
IEEEAMS
2003
IEEE
15 years 9 months ago
Communication Pattern Based Node Selection for Shared Networks
Selection of the most suitable nodes on a network to execute a parallel application requires matching the network status to the application requirements. We propose and validate a...
Srikanth Goteti, Jaspal Subhlok
93
Voted
IPPS
2003
IEEE
15 years 9 months ago
Performance and Overhead in a Hybrid Reconfigurable Computer
In this paper, we overview general hardware architecture and a programming model of SRC-6ETM reconfigurable computers, and compare the performance of the SRC-6E machine vs. IntelÂ...
Osman Devrim Fidanci, Daniel S. Poznanovic, Kris G...
130
Voted
IRI
2003
IEEE
15 years 9 months ago
A Formal Framework for Design Component Contracts
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
157
Voted
ISCC
2003
IEEE
119views Communications» more  ISCC 2003»
15 years 9 months ago
Optimization of Task Allocation in a Cluster-Based Sensor Network
Sensor networks have recently gained a lot of attention from the research community. Sensors are significantly resource-constrained devices and last till the depletion of their ba...
Mohamed F. Younis, Kemal Akkaya, Anugeetha Kunjith...
126
Voted
ISQED
2003
IEEE
113views Hardware» more  ISQED 2003»
15 years 9 months ago
Using Integer Equations for High Level Formal Verification Property Checking
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
Bijan Alizadeh, Mohammad Reza Kakoee
« Prev « First page 1444 / 1622 Last » Next »