Sciweavers

3330 search results - page 74 / 666
» software 2010
Sort
View
CODES
2010
IEEE
13 years 7 months ago
Exploring programming model-driven QoS support for NoC-based platforms
Jaume Joven, Andrea Marongiu, Federico Angiolini, ...
KBSE
2010
IEEE
13 years 7 months ago
SpecDiff: debugging formal specifications
Zhenchang Xing, Jun Sun 0001, Yang Liu 0003, Jin S...
VLSI
2010
Springer
13 years 7 months ago
Towards reverse engineering the brain: Modeling abstractions and simulation frameworks
Jayram Moorkanikara Nageswaran, Micah Richert, Nik...
ENTCS
2007
67views more  ENTCS 2007»
13 years 9 months ago
An Orchestrator for Dynamic Interconnection of Software Components
Composing and orchestrating software components is a fundamental concern in modern software engineering. This paper addresses the possibility of such orchestration being dynamic, ...
Marco Antonio Barbosa, Luís Soares Barbosa