Sciweavers

3736 search results - page 540 / 748
» Hand-Writing Program Generator Generators
Sort
View
LICS
2007
IEEE
16 years 23 days ago
Static Name Control for FreshML
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...
François Pottier
SECON
2007
IEEE
16 years 23 days ago
Minimum Interference Channel Assignment in Multi-Radio Wireless Mesh Networks
—In this paper, we consider multi-hop wireless mesh networks, where each router node is equipped with multiple radio interfaces and multiple channels are available for communicat...
Anand Prabhu Subramanian, Himanshu Gupta, Samir R....
TASE
2007
IEEE
16 years 23 days ago
Automating Language Evolution
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
Markus Pizka, Elmar Jürgens
VR
2007
IEEE
142views Virtual Reality» more  VR 2007»
16 years 23 days ago
A Personal Surround Environment: Projective Display with Correction for Display Surface Geometry and Extreme Lens Distortion
Projectors equipped with wide-angle lenses can have an advantage over traditional projectors in creating immersive display environments since they can be placed very close to the ...
Tyler Johnson, Florian Gyarfas, Rick Skarbez, Herm...
VTS
2007
IEEE
135views Hardware» more  VTS 2007»
16 years 23 days ago
High Level Synthesis of Degradable ASICs Using Virtual Binding
—As the complexity of the integrated circuits increases, they become more susceptible to manufacturing faults, decreasing the total process yield. Thus, it would be desirable to ...
Nima Honarmand, A. Shahabi, Hasan Sohofi, Maghsoud...