1175 search results - page 179 / 235 » Abstract computability and algebraic specification |
PERVASIVE
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We report a qualitative study of the use of physical space and wireless laptops by ten United States households. Although wireless laptops purportedly offer the opportuni...
ICCAD
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
ICCSA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Multi-user virtual environment (MUVE) systems enable virtual participation in many applications. A MUVE usually is a complex system requiring technologies from 3D graphic...
EGC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Grid software often unfortunately requires significant changes in existing infrastructure, both in terms of policy and mechanism, instead of accommodating and leveraging ...
ISSS
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper describes a mechanism for automatic design and synthesis of very long instruction word (VLIW), and its generalization, explicitly parallel instruction computing rocesso...