Sciweavers

18924 search results - page 84 / 3785
» Conformance of Distributed Systems
Sort
View
ER
2006
Springer
99views Database» more  ER 2006»
15 years 9 months ago
Choreographies as Federations of Choreographies and Orchestrations
We propose a new conceptual model for choreographies of web-services. Choreographies are seen as virtual workflow models shared among participants. Subsets of these participants mi...
Johann Eder, Marek Lehmann, Amirreza Tahamtan
IMR
2000
Springer
15 years 9 months ago
High Quality Anisotropic Tetrahedral Mesh Generation Via Ellipsoidal Bubble Packing
This paper presents a new computational method for anisotropic tetrahedral meshing that (1) can control shapes of the elements by an arbitrary anisotropy function, and (2) can avo...
Soji Yamakawa, Kenji Shimada
WCET
2008
15 years 7 months ago
A tool for average and worst-case execution time analysis
We have developed a new programming paradigm which, for conforming programs, allows the averagecase execution time (ACET) to be obtained automatically by a static analysis. This i...
David Hickey, Diarmuid Early, Michel P. Schelleken...
COGSCI
2008
84views more  COGSCI 2008»
15 years 6 months ago
A Probabilistic Model of Melody Perception
This study presents a probabilistic model of melody perception, which infers the key of a melody and also judges the probability of the melody itself. (A "melody" is def...
David Temperley
RTAS
2009
IEEE
16 years 27 days ago
Semi-partitioned Fixed-Priority Scheduling on Multiprocessors
This paper presents a new algorithm for fixed-priority scheduling of sporadic task systems on multiprocessors. The algorithm is categorized to such a scheduling class that quali...
Shinpei Kato, Nobuyuki Yamasaki