Sciweavers

7 search results - page 1 / 2
» Case Studies in Planar Part Feeding and Assembly Based on De...
Sort
View
IJRR
2008
78views more  IJRR 2008»
13 years 4 months ago
Case Studies in Planar Part Feeding and Assembly Based on Design of Limit Sets
jr.sagepub.com/cgi/content/abstract/27/6/693 The online version of this article can be found at: Published by: http://www.sagepublications.com On behalf of: Multimedia Archives can...
Todd D. Murphey, Kevin M. Lynch
ICFP
2003
ACM
14 years 4 months ago
Compiler implementation in a formal logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
Jason Hickey, Aleksey Nogin, Adam Granicz
LISP
2006
160views more  LISP 2006»
13 years 4 months ago
Formal compiler construction in a logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
Jason Hickey, Aleksey Nogin
IADIS
2003
13 years 6 months ago
Automatic Gui Generation in Web Based Information Systems
The HCI subsystem is an essential component of an Information System, whose success inside an organization strongly depend on user acceptance. A good UI design considering usabili...
Nicola Aloia, Cesare Concordia, Maria Teresa Parat...
HPCA
2011
IEEE
12 years 8 months ago
Essential roles of exploiting internal parallelism of flash memory based solid state drives in high-speed data processing
Flash memory based solid state drives (SSDs) have shown a great potential to change storage infrastructure fundamentally through their high performance and low power. Most recent ...
Feng Chen, Rubao Lee, Xiaodong Zhang