Sciweavers

1236 search results - page 92 / 248
» The Role of Time in Engineering Computer Music Systems
Sort
View
LCTRTS
2004
Springer
15 years 9 months ago
A trace-based binary compilation framework for energy-aware computing
Energy-aware compilers are becoming increasingly important for embedded systems due to the need to meet conflicting constraints on time, code size and power consumption. We intro...
Lian Li 0002, Jingling Xue
EUROMICRO
2000
IEEE
15 years 8 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
SEMCO
2008
IEEE
15 years 10 months ago
Entity Name System: The Back-Bone of an Open and Scalable Web of Data
Recognizing that information from different sources refers to the same (real world) entity is a crucial challenge in instance-level information integration, as it is a pre-requisi...
Paolo Bouquet, Heiko Stoermer, Claudia Nieder&eacu...
EUROMICRO
1999
IEEE
15 years 8 months ago
Design Space Exploration in System Level Synthesis under Memory Constraints
This paper addresses the problem of component selection, task assignment and task scheduling for distributed embedded computer systems. Such systems have a large number of constra...
Radoslaw Szymanek, Krzysztof Kuchcinski
NMR
2004
Springer
15 years 9 months ago
Probabilistic reasoning in dynamic multiagent systems
Probabilistic reasoning with multiply sectioned Bayesian networks (MSBNs) has been successfully applied in static domains under the cooperative multiagent paradigm. Probabilistic ...
Xiangdong An, Yang Xiang, Nick Cercone