655 search results - page 72 / 131 » Coinduction in Concurrent Timed Systems |
104
click to vote
CASCON
1996
15 years 1 months ago
1996
Because changes to the database (DB) and workload occur during a DB system's lifetime, the physical DB design must evolve to sustain good performance. These changes are carri...
122
click to vote
EUROMICRO
1999
IEEE
15 years 4 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
138
click to vote
ISSS
1996
IEEE
15 years 4 months ago
1996
IEEE
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
123
click to vote
EPEW
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...
JCP
2008
14 years 12 months ago
2008
Profiling tools are computer-aided design (CAD) tools that help in determining the computationally intensive portions in software. Embedded systems consist of hardware and software...