Sciweavers

4604 search results - page 357 / 921
» Concurrency in Synchronous Systems
Sort
View
TCAD
2002
146views more  TCAD 2002»
15 years 6 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
SIGOPSE
2004
ACM
16 years 9 days ago
Transactional file systems can be fast
Transactions ensure simple and correct handling of concurrency and failures but are often considered too expensive for use in file systems. This paper argues that performance is ...
Barbara Liskov, Rodrigo Rodrigues
IADIS
2004
15 years 8 months ago
Towards efficient locking of repository objects in OMG MOF repository systems
In this paper we focus on the issue of repository transactions. Similar to database objects repository objects can be accessed form multiple clients simultaneously. The organizati...
Ilia Petrov, Stefan Jablonski, Marc Holze
ANOR
2005
81views more  ANOR 2005»
15 years 6 months ago
Managing Stochastic, Finite Capacity, Multi-Project Systems through the Cross-Entropy Methodology
This paper addresses the problem of loading a finite capacity, stochastic (random) and dynamic multi-project system. The system is controlled by keeping a constant number of projec...
Izack Cohen, Boaz Golany, Avraham Shtub
FDL
2005
IEEE
16 years 15 days ago
Hardware Synthesis of Parallel Machines from SystemC
Heterogeneous system specifications implicitly assume parallel execution of their components that rely on supporting platform architectures and operating systems. Unfortunately, c...
Antoni Portero, Lluis Ribas, Jordi Carrabina