4520 search results - page 381 / 904 » Algebraic Techniques for Timed Systems |
202
Voted
GI
2001
Springer
16 years 2 days ago
2001
Springer
In wireless communication systems, the capacity of a cell (the amount of correctly delivered traffic in unit time) is a precious resource that can not be arbitrarily increased. T...
170
click to vote
ICPP
1999
IEEE
15 years 12 months ago
1999
IEEE
This paper describes a technique called producer-push that enhances the performance of a page-based software distributed shared memory system. Shared data, in software DSM systems...
219
Voted
VLSID
1999
IEEE
15 years 12 months ago
1999
IEEE
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...
213
click to vote
ASPDAC
2004
ACM
15 years 11 months ago
2004
ACM
Abstract-- Despite the limited power available in a batteryoperated hand-held device, a display system must still have an enough resolution and sufficient color depth to deliver th...
195
click to vote
IICAI
2003
15 years 9 months ago
2003
Computational Musicology is a new and emerging field which draws heavily from Computer Science, particularly Artificial Intelligence. Western Music has been under the gaze of thi...