Sciweavers

4356 search results - page 7 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
DATE
2009
IEEE
116views Hardware» more  DATE 2009»
14 years 2 months ago
A high-level debug environment for communication-centric debug
—A large part of a modern SOC’s debug complexity resides in the interaction between the main system components. ion-level debug moves the abstraction level of the debug process...
Kees Goossens, Bart Vermeulen, Ashkan Beyranvand N...
POS
1998
Springer
13 years 11 months ago
The Transactional Object Cache: A Foundation for High Performance Persistent System Construction
This paper argues that caching, atomicity and layering are fundamental to persistent systems, and that the transactional object cache architecture, as an embodiment of these conce...
Stephen Blackburn, Robin Stanton
AAIM
2005
Springer
132views Algorithms» more  AAIM 2005»
14 years 28 days ago
Computation of Arbitrage in a Financial Market with Various Types of Frictions
Abstract. In this paper we study the computational problem of arbitrage in a frictional market with a finite number of bonds and finite and discrete times to maturity. Types of f...
Mao-cheng Cai, Xiaotie Deng, Zhongfei Li
FMOODS
2006
13 years 8 months ago
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata
Long-Running transactions consist of tasks which may be executed sequentially and in parallel, may contain sub-tasks, and may require to be completed before a deadline. These trans...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo ...