Sciweavers

2007 search results - page 213 / 402
» Using general-purpose programming languages for FPGA design
Sort
View
120
Voted
ACMACE
2006
ACM
15 years 9 months ago
3DCG authoring system using turtle metaphor
A new type of Authoring System for 3DCG animation is developed in which a user can easily manipulate three dimensional objects in three dimensional simulated space on the computer...
Katsuhide Tsushima, Masayuki Ueno, Takeshi Nishiki...
ASPLOS
2012
ACM
13 years 11 months ago
Scalable address spaces using RCU balanced trees
Software developers commonly exploit multicore processors by building multithreaded software in which all threads of an application share a single address space. This shared addre...
Austin T. Clements, M. Frans Kaashoek, Nickolai Ze...
DAC
2002
ACM
16 years 4 months ago
Compiler-directed scratch pad memory hierarchy design and management
One of the primary challenges in embedded system design is designing the memory hierarchy and restructuring the application to take advantage of it. This task is particularly impo...
Mahmut T. Kandemir, Alok N. Choudhary
129
Voted
ICFP
2010
ACM
15 years 4 months ago
The impact of higher-order state and control effects on local relational reasoning
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
Derek Dreyer, Georg Neis, Lars Birkedal
169
Voted
OOPSLA
2004
Springer
15 years 9 months ago
Chianti: a tool for change impact analysis of java programs
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...
Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryd...