Sciweavers

2379 search results - page 151 / 476
» Modeling, scheduling, and simulation of switched processing ...
Sort
View
IEEEPACT
2006
IEEE
15 years 10 months ago
Compiling for stream processing
This paper describes a compiler for stream programs that efficiently schedules computational kernels and stream memory operations, and allocates on-chip storage. Our compiler uses...
Abhishek Das, William J. Dally, Peter R. Mattson
JLP
2007
99views more  JLP 2007»
15 years 4 months ago
Resources in process algebra
The algebra of communicating shared resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
Insup Lee, Anna Philippou, Oleg Sokolsky
WSC
1998
15 years 5 months ago
Simulation Modeling at Multiple Levels of Abstraction
ON MODELING AT MULTIPLE LEVELS OF ABSTRACTION Perakath Benjamin Madhav Erraguntla Dursun Delen Richard Mayer Knowledge Based Systems, Inc. 1408 University Drive College Station, Te...
Perakath C. Benjamin, Madhav Erraguntla, Dursun De...
ENTCS
2006
151views more  ENTCS 2006»
15 years 4 months ago
Stochastic Simulation Methods Applied to a Secure Electronic Voting Model
We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the...
Jeremy T. Bradley, Stephen T. Gilmore
ICPP
2002
IEEE
15 years 9 months ago
Integrating Trust into Grid Resource Management Systems
Grid computing systems that have been the focus of much research activities in recent years provide a virtual framework for controlled sharing of resources across institutional bo...
Farag Azzedin, Muthucumaru Maheswaran