Sciweavers

1293 search results - page 228 / 259
» Scalability Study of the KSR-1
Sort
View
IFM
2007
Springer
129views Formal Methods» more  IFM 2007»
15 years 8 months ago
Slotted-Circus
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
Andrew Butterfield, Adnan Sherif, Jim Woodcock
134
Voted
CODES
2005
IEEE
15 years 7 months ago
Spatial division multiplexing: a novel approach for guaranteed throughput on NoCs
To ensure low power consumption while maintaining flexibility and performance, future Systems-on-Chip (SoC) will combine several types of processor cores and data memory units of...
Anthony Leroy, Paul Marchal, Adelina Shickova, Fra...
ICTAC
2010
Springer
15 years 12 days ago
Preference and Non-deterministic Choice
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
Bill Stoddart, Frank Zeyda, Steve Dunne
MJ
2011
288views Multimedia» more  MJ 2011»
14 years 8 months ago
Emulation-based transient thermal modeling of 2D/3D systems-on-chip with active cooling
New tendencies envisage 2D/3D Multi-Processor System-On-Chip (MPSoC) as a promising solution for the consumer electronics market. MPSoCs are complex to design, as they must execute...
Pablo Garcia Del Valle, David Atienza
116
Voted
BMCBI
2005
110views more  BMCBI 2005»
15 years 1 months ago
Discovery of protein-protein interactions using a combination of linguistic, statistical and graphical information
Background: The rapid publication of important research in the biomedical literature makes it increasingly difficult for researchers to keep current with significant work in their...
James W. Cooper, Aaron Kershenbaum