Sciweavers

4666 search results - page 767 / 934
» Equations on Timed Languages
Sort
View
DSD
2007
IEEE
116views Hardware» more  DSD 2007»
15 years 10 months ago
Evaluating the Model Accuracy in Automated Design Space Exploration
Design space exploration is used to shorten the design time of System-on-Chips (SoCs). The models used in the exploration need to be both accurate and fast to simulate. This paper...
Kalle Holma, Mikko Setälä, Erno Salminen...
ISCAS
2007
IEEE
125views Hardware» more  ISCAS 2007»
15 years 10 months ago
XML-driven Exploitation of Combined Scalability in Scalable H.264/AVC Bitstreams
— The heterogeneity in the contemporary multimedia environments requires a format-agnostic adaptation framework for the consumption of digital video content. Scalable bitstreams ...
Davy De Schrijver, Wesley De Neve, Koen De Wolf, P...
RTSS
2007
IEEE
15 years 10 months ago
Adapting Futures: Scalability for Real-World Computing
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...
Johannes Helander, Risto Serg, Margus Veanes, Prit...
SEUS
2007
IEEE
15 years 10 months ago
Mission Modes for Safety Critical Java
Java is now considered as a language for the domain of safety critical applications. A restricted version of the Real-Time Specification for Java (RTSJ) is currently under develop...
Martin Schoeberl
AGTIVE
2007
Springer
15 years 10 months ago
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
Gregor Engels, Baris Güldali, Christian Solte...