Sciweavers

3166 search results - page 430 / 634
» Translation By Structural Correspondences
Sort
View
SAS
2007
Springer
108views Formal Methods» more  SAS 2007»
16 years 22 days ago
Programming Language Design and Analysis Motivated by Hardware Evolution
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...
Alan Mycroft
NETGAMES
2006
ACM
16 years 18 days ago
Metazoa Ludens
— For better or worse, technological advancement has changed the world to the extent that at a professional level demands from the working executive required more hours either in...
Roger Thomas Kok Chuen Tan, James Keng Soon Teh, A...
VRST
2006
ACM
16 years 17 days ago
Simple user-generated motion cueing can enhance self-motion perception (Vection) in virtual reality
Despite amazing advances in the visual quality of virtual environments, affordable-yet-effective self-motion simulation still poses a major challenge. Using a standard psychophysi...
Bernhard E. Riecke
SSDBM
2005
IEEE
100views Database» more  SSDBM 2005»
16 years 6 days ago
An Information Theoretic Model for Database Alignment
As with many large organizations, the Government's data is split in many different ways and is collected at different times by different people. The resulting massive data he...
Patrick Pantel, Andrew Philpot, Eduard H. Hovy
187
Voted
VEE
2005
ACM
143views Virtualization» more  VEE 2005»
16 years 5 days ago
Virtual machine showdown: stack versus registers
Virtual machines (VMs) are commonly used to distribute programs in an architecture-neutral format, which can easily be interpreted or compiled. A long-running question in the desi...
Yunhe Shi, David Gregg, Andrew Beatty, M. Anton Er...