1163 search results - page 210 / 233 » Case Studies of Model Checking for Embedded System Designs |
94
Voted
MSWIM
2005
ACM
15 years 7 months ago
2005
ACM
Developing network protocols for mobile wireless systems is a complex task, and most of the existing simulator frameworks are not well suited for experimental development. The YAE...
127
Voted
IV
2005
IEEE
15 years 7 months ago
2005
IEEE
Visualising large graphs faces the challenges of both data complexity and visual complexity. This paper presents a framework for visualising large graphs that reduces data complex...
102
Voted
ISWC
2000
IEEE
15 years 6 months ago
2000
IEEE
If a wearable device can register what the wearer is currently doing, it can anticipate and adjust its behavior to avoid redundant interaction with the user. However, the relevanc...
107
Voted
OSDI
2008
ACM
16 years 2 months ago
2008
ACM
: ? Delivering Energy Proportionality with Non Energy-Proportional Systems-Optimizing the Ensemble Niraj Tolia, Zhikui Wang, Manish Marwah, Cullen Bash, Parthasarathy Ranganathan, ...
122
click to vote
CDC
2010
IEEE
14 years 8 months ago
2010
IEEE
Subspace identification has proven useful when identifying identifying multi-input multi-output systems. It is, however, important in many applications to take a priori structural ...