Sciweavers

2007 search results - page 239 / 402
» Using general-purpose programming languages for FPGA design
Sort
View
129
Voted
JCIT
2010
139views more  JCIT 2010»
14 years 10 months ago
Constructing Product Knowledge-Sharing System for Internet Transaction-Matching Model
This study explores the construction of an intermediary as a product knowledge-sharing system for design industry with the advanced features of the Extensible Markup Language (XML...
Yu-Cheng Chen, Hsin-Hsi Lai, Heng-Chang Lin
125
Voted
SAS
2009
Springer
172views Formal Methods» more  SAS 2009»
16 years 3 months ago
Type Analysis for JavaScript
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
Anders Møller, Peter Thiemann, Simon Holm J...
139
Voted
PLDI
2006
ACM
15 years 9 months ago
A global progressive register allocator
This paper describes a global progressive register allocator, a register allocator that uses an expressive model of the register allocation problem to quickly find a good allocat...
David Ryan Koes, Seth Copen Goldstein
ML
2006
ACM
15 years 9 months ago
Seminal: searching for ML type-error messages
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
Benjamin S. Lerner, Dan Grossman, Craig Chambers
POPL
2005
ACM
16 years 3 months ago
Region-based shape analysis with tracked locations
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
Brian Hackett, Radu Rugina