Sciweavers

232 search results - page 28 / 47
» concurrency 2000
Sort
View
CSFW
2000
IEEE
15 years 10 months ago
Secure Composition of Untrusted Code: Wrappers and Causality Types
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...
Peter Sewell, Jan Vitek
EUROMICRO
2000
IEEE
15 years 10 months ago
Behavioral Specification of a Circuit Using SyncCharts: A Case Study
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
Charles André, Marie-Agnès Peraldi-F...
IPPS
2000
IEEE
15 years 10 months ago
Online Computation of Critical Paths for Multithreaded Languages
We have developed an instrumentation scheme that enables programs written in multithreaded languages to compute a critical path at run time.Our scheme gives not only the length (ex...
Yoshihiro Oyama, Kenjiro Taura, Akinori Yonezawa
LCN
2000
IEEE
15 years 10 months ago
End-to-End QoS Management for Delay-Sensitive Scalable Multimedia Streams over DiffServ
The migration of the Internet from classic computer communication to a platform for multimedia applications with real-time communication requires end-to-end improvements of the ne...
Markus Albrecht, Michael Köster, Peter Martin...
MICRO
2000
IEEE
98views Hardware» more  MICRO 2000»
15 years 10 months ago
Efficient conditional operations for data-parallel architectures
Many data-parallel applications, including emerging media applications, have regular structures that can easily be expressed as a series of arithmetic kernels operating on data st...
Ujval J. Kapasi, William J. Dally, Scott Rixner, P...