61 search results - page 7 / 13 » RP-aided computer modeling for architectural education |
JCDL
2005
ACM
14 years 28 days ago
2005
ACM
The University of California, Berkeley and the University of Liverpool are developing a Information Retrieval and Digital Library system (Cheshire3) that operates in both singlepr...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
TAICPART
2006
IEEE
14 years 1 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
The paper presents a new stiffness modelling method for overconstrained parallel manipulators, which is applied to 3-d.o.f. translational mechanisms. It is based on a multidimensio...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
Autonomic computing has been proposed recently as a way to address the difficult management of applications whose complexity is constantly increasing. Autonomous applications will ...