Sciweavers

3330 search results - page 74 / 666
» software 2010
Sort
View
CODES
2010
IEEE
15 years 14 days ago
Exploring programming model-driven QoS support for NoC-based platforms
Jaume Joven, Andrea Marongiu, Federico Angiolini, ...
KBSE
2010
IEEE
15 years 11 days ago
SpecDiff: debugging formal specifications
Zhenchang Xing, Jun Sun 0001, Yang Liu 0003, Jin S...
VLSI
2010
Springer
15 years 10 days ago
Towards reverse engineering the brain: Modeling abstractions and simulation frameworks
Jayram Moorkanikara Nageswaran, Micah Richert, Nik...
ENTCS
2007
67views more  ENTCS 2007»
15 years 2 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