7557 search results - page 104 / 1512 » Modeling Timed Concurrent Systems |
130
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Counter Abstraction for Concurrent Software G?erard Basler1 , Michele Mazzucchi1 , Thomas Wahl1,2 , Daniel Kroening1,2 1 Computer Systems Institute, ETH Zurich, Switzerland 2 Compu...
113
click to vote
CONCURRENCY
2008
15 years 4 months ago
2008
Abstract. Database systems have been vital for all forms of data processing for a long time. In recent years, the amount of processed data has been growing dramatically, even in sm...
168
click to vote
RTSS
2007
IEEE
15 years 10 months ago
2007
IEEE
It is challenging to process transactions in a timely fashion using fresh data, e.g., current stock prices, since database workloads may considerably vary due to dynamic data/reso...
131
click to vote
ICSEA
2006
IEEE
15 years 10 months ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
119
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
Exploring a large portion of the microprocessor design space requires the rapid development of efficient simulators. While some systems support rapid model development through the...