Sciweavers

9842 search results - page 78 / 1969
» Compositional timing analysis
Sort
View
IEEEPACT
2002
IEEE
14 years 1 months ago
Workload Design: Selecting Representative Program-Input Pairs
Having a representative workload of the target domain of a microprocessor is extremely important throughout its design. The composition of a workload involves two issues: (i) whic...
Lieven Eeckhout, Hans Vandierendonck, Koenraad De ...
SOFSEM
2009
Springer
14 years 5 months ago
A Formal Model of Business Application Integration from Web Services (Position Paper)
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...
Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar
PCM
2004
Springer
180views Multimedia» more  PCM 2004»
14 years 2 months ago
An Adaptive Scene Compositor Model in MPEG-4 Player for Mobile Device
Abstract. MPEG-4 supports dynamic scene composition through various interactions such as adding/removing/replacing objects and changing object’s properties. MPEG-4 content can ex...
Hyunju Lee, Sangwook Kim
AIPS
2006
13 years 10 months ago
Scalable Planning for Distributed Stream Processing Systems
Recently the problem of automatic composition of workflows has been receiving increasing interest. Initial investigation has shown that designing a practical and scalable composit...
Anton Riabov, Zhen Liu
ACSD
2006
IEEE
129views Hardware» more  ACSD 2006»
14 years 3 months ago
Extended Timed Automata and Time Petri Nets
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...
Patricia Bouyer, Pierre-Alain Reynier, Serge Hadda...