2468 search results - page 475 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
123
click to vote
TVCG
2008
15 years 3 months ago
2008
The treemap is one of the most popular methods for visualizing hierarchical data. When a treemap contains a large number of items, inspecting or comparing a few selected items in a...
145
click to vote
ECRTS
2007
IEEE
15 years 9 months ago
2007
IEEE
Uniprocessor schedulability theory made great strides, in part, due to the simplicity of composing the delay of a job from the execution times of higher-priority jobs that preempt...
159
click to vote
CASES
2007
ACM
15 years 7 months ago
2007
ACM
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...
112
click to vote
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
Because the knowledge required for the construction of a complex software system is often widely distributed among its members, programmers routinely engage in collaboration with ...
143
click to vote
PDP
2010
IEEE
15 years 10 months ago
2010
IEEE
—It is clear that Cloud computing is and will be a sea change for the Information Technology by changing the way in which both software and hardware are designed and purchased. I...