4520 search results - page 363 / 904 » Algebraic Techniques for Timed Systems |
226
click to vote
LCPC
1994
Springer
15 years 11 months ago
1994
Springer
Data parallel programs are sensitive to the distribution of data across processor nodes. We formulate the reduction of inter-node communication as an optimization on a colored gra...
207
click to vote
CASCON
2008
15 years 9 months ago
2008
Today's database management systems (DBMSs) are required to handle diverse, mixed workloads and to provide differentiated levels of service to ensure that critical work takes...
197
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...
190
click to vote
ICTAI
2003
IEEE
16 years 25 days ago
2003
IEEE
Initial deployment and subsequent dynamic reconfiguration of a software system is difficult because of the interplay of many interdependent factors, including cost, time, applicat...
207
click to vote
USS
2008
15 years 10 months ago
2008
Commercial electronic voting systems have experienced many high-profile software, hardware, and usability failures in real elections. While it is tempting to abandon electronic vo...