1541 search results - page 272 / 309 » Tools and Techniques for Model Checking Networked Programs |
119
Voted
CIG
2005
IEEE
15 years 6 months ago
2005
IEEE
A newly designed game is introduced, which feels like Backgammon, but has a simplified rule set. Unlike earlier attempts at simplifying the game, Nannon maintains enough features a...
110
Voted
MICRO
2006
IEEE
15 years 6 months ago
2006
IEEE
We introduce virtually-pipelined memory, an architectural technique that efficiently supports high-bandwidth, uniform latency memory accesses, and high-confidence throughput eve...
120
Voted
TPDS
2008
15 years 11 days ago
2008
Recent technological advances have opened up a wide range of distributed real-time applications involving battery-driven embedded devices with local processing and wireless communi...
101
click to vote
CIDM
2009
IEEE
15 years 7 months ago
2009
IEEE
—Some data mining problems require predictive models to be not only accurate but also comprehensible. Comprehensibility enables human inspection and understanding of the model, m...
92
Voted
SIGMETRICS
2008
ACM
15 years 12 days ago
2008
ACM
Although recent advances in theory indicate that burstiness in the service time process can be handled effectively by queueing models (e.g., MAP queueing networks [2]), there is a...