3408 search results - page 578 / 682 » Logic, language, information and computation |
LICS
2006
IEEE
14 years 3 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
IPPS
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper presents language features for High Performance Fortran HPF to specify non-local access patterns of distributed arrays, called halos, and to control the communication as...
HT
1997
ACM
14 years 1 months ago
1997
ACM
The hypermedia field has long realized the need for firstructural abstractions. However, we have failed to generalize the concept of ubiquitous structure management to problem dom...
DAC
2007
ACM
14 years 1 months ago
2007
ACM
When designers create RTL models from a system-level specification, arrays in the system-level model are often implemented as memories in the RTL. Knowing the correspondence betwe...
CHI
2009
ACM
2009
ACM
Social immersive media: pursuing best practices for multi-user interactive camera/projector exhibits
14 years 9 months ago
Based on ten years' experience developing interactive camera/projector systems for public science and culture exhibits, we define a distinct form of augmented reality focused...