Sciweavers

2035 search results - page 327 / 407
» On the complexity of stratified logics
Sort
View
ETFA
2008
IEEE
15 years 5 months ago
Towards migrating legacy real-time systems to multi-core platforms
Power consumption and thermal problems limit the single-core processors to be faster. Processor architects are therefore moving toward multi-core processors. Developers of embedde...
Farhang Nemati, Johan Kraft, Thomas Nolte
HICSS
2008
IEEE
175views Biometrics» more  HICSS 2008»
15 years 5 months ago
Service-Oriented Resource Management
Service Management controls how business services are developed and delivered to customers. Business services must be flexible negotiable between customer and provider. Temporal a...
Jürgen Dorn, Hannes Werthner
110
Voted
ICIW
2008
IEEE
15 years 5 months ago
DBOWL: Towards a Scalable and Persistent OWL Reasoner
—With the increasing development of real applications using Semantic Web Technologies, it is necessary to provide scalable and efficient ontology querying and reasoning systems....
María del Mar Roldán García, ...
RTSS
2008
IEEE
15 years 5 months ago
Synthesis of Optimal Interfaces for Hierarchical Scheduling with Resources
This paper presents algorithms that (1) facilitate systemindependent synthesis of timing-interfaces for subsystems and (2) system-level selection of interfaces to minimize CPU loa...
Insik Shin, Moris Behnam, Thomas Nolte, Mikael Nol...
DATE
2007
IEEE
80views Hardware» more  DATE 2007»
15 years 5 months ago
Engineering trust with semantic guardians
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
Ilya Wagner, Valeria Bertacco