1163 search results - page 189 / 233 » Case Studies of Model Checking for Embedded System Designs |
109
click to vote
ICCAD
2003
IEEE
15 years 11 months ago
2003
IEEE
Recent efforts in adapting computer networks into system-on-chip (SOC), or network-on-chip, present a setback to the traditional computer systems for the lack of effective program...
131
click to vote
CERA
2002
15 years 1 months ago
2002
: Many industries are shifting from mass production to mass customization, which demands quick response to the needs of individual customers with high quality and low costs. The de...
114
click to vote
CHI
2000
ACM
15 years 6 months ago
2000
ACM
We introduce HandSCAPE, an orientation-aware digital tape measure, as an input device for digitizing field measurements, and visualizing the volume of the resulting vectors with c...
118
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
An important aspect of mechanism design in social choice protocols and multiagent systems is to discourage insincere and manipulative behaviour. We examine the computational compl...
109
click to vote
P2P
2009
IEEE
15 years 8 months ago
2009
IEEE
—Characterizing user churn has become an important topic in studying P2P networks, both in theoretical analysis and system design. Recent work [26] has shown that direct sampling...