Sciweavers

2095 search results - page 391 / 419
» Modeling the Effects of Contention on the Performance of Het...
Sort
View
WOTUG
2008
13 years 10 months ago
Process-Oriented Collective Operations
Abstract. Distributing process-oriented programs across a cluster of machines requires careful attention to the effects of network latency. The MPI standard, widely used for cluste...
John Markus Bjørndalen, Adam T. Sampson
ICASSP
2010
IEEE
13 years 8 months ago
Automatic audio tagging using covariate shift adaptation
Automatically annotating or tagging unlabeled audio files has several applications, such as database organization and recommender systems. We are interested in the case where the...
Gordon Wichern, Makoto Yamada, Harvey D. Thornburg...
AUTOMATICA
2008
108views more  AUTOMATICA 2008»
13 years 8 months ago
Closed-loop identification of multivariable systems: With or without excitation of all references?
The accuracy of plant parameters estimated in closed-loop operation is investigated for a class of multivariable systems and for the situation where only some of the reference inp...
Ljubisa Miskovic, Alireza Karimi, Dominique Bonvin...
ENTCS
2008
170views more  ENTCS 2008»
13 years 8 months ago
A Coq Library for Verification of Concurrent Programs
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
Reynald Affeldt, Naoki Kobayashi
TCAD
2002
146views more  TCAD 2002»
13 years 8 months ago
Static scheduling of multidomain circuits for fast functional verification
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
Murali Kudlugi, Russell Tessier