2695 search results - page 407 / 539 » A Visual Approach to Validating System Level Designs |
123
click to vote
SPAA
2005
ACM
15 years 9 months ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
132
click to vote
SAC
2011
ACM
14 years 6 months ago
2011
ACM
Quadrotor helicopters are micro air vehicles with vertical take-off and landing capabilities controlled by varying the rotation speed of four fixed pitch propellers. Due to their...
127
Voted
TVCG
2010
15 years 1 months ago
2010
—This paper presents the first practical method for “origamizing” or obtaining the folding pattern that folds a single sheet of material into a given polyhedral surface with...
112
click to vote
MHCI
2009
Springer
15 years 10 months ago
2009
Springer
In this article we describe the Sweep-Shake system, a novel, low interaction cost approach to supporting the spontaneous discovery of geo-located information. By sweeping a mobile...
116
click to vote
TASE
2007
IEEE
15 years 9 months ago
2007
IEEE
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...