1850 search results - page 343 / 370 » Design-for-debugging of application specific designs |
TOG
2008
13 years 7 months ago
2008
We introduce a computational framework for discovering regular or repeated geometric structures in 3D shapes. We describe and classify possible regular structures and present an e...
TVLSI
2008
13 years 7 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
AAMAS
2002
Springer
13 years 7 months ago
2002
Springer
Abstract. Open systems are becoming increasingly important in a variety of distributed, networked computer applications. Their characteristics, such as agent diversity, heterogenei...
CLUSTER
2002
IEEE
13 years 7 months ago
2002
IEEE
High-performance computing faces considerable change as the Internet and the Grid mature. Applications that once were tightly-coupled and monolithic are now decentralized, with co...
MOBISYS
2010
ACM
13 years 9 months ago
2010
ACM
We investigate if WiFi access can be used to augment 3G capacity in mobile environments. We first conduct a detailed study of 3G and WiFi access from moving vehicles, in three dif...