Sciweavers

1077 search results - page 84 / 216
» Hardware code generation from dataflow programs
Sort
View
105
Voted
ECMDAFA
2009
Springer
111views Hardware» more  ECMDAFA 2009»
14 years 11 months ago
Experiences of Developing a Network Modeling Tool Using the Eclipse Environment
Domain-specific modeling solutions have been promoted for some time in order to improve the productivity of software developers by providing them with modeling environments that ar...
Andy Evans, Miguel A. Fernández, Parastoo M...
ASAP
2007
IEEE
111views Hardware» more  ASAP 2007»
15 years 8 months ago
Entropy Coding on a Programmable Processor Array for Multimedia SoC
Entropy encoding and decoding is a crucial part of any multimedia system that can be highly demanding in terms of computing power. Hardware implementation of typical compression a...
Roberto R. Osorio, Javier D. Bruguera
KBSE
2003
IEEE
15 years 7 months ago
Unspeculation
Modern architectures, such as the Intel Itanium, support speculation, a hardware mechanism that allows the early execution of expensive operations—possibly even before it is kno...
Noah Snavely, Saumya K. Debray, Gregory R. Andrews
121
Voted
FLAIRS
2008
15 years 4 months ago
Answer Set Programming on Expert Feedback to Populate and Extend Dynamic Ontologies
The next generation of online reference works will require structured representations of their contents in order to support scholarly functions such as semantic search, automated ...
Mathias Niepert, Cameron Buckner, Colin Allen
CAV
2011
Springer
202views Hardware» more  CAV 2011»
14 years 5 months ago
Simplifying Loop Invariant Generation Using Splitter Predicates
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...
Rahul Sharma 0001, Isil Dillig, Thomas Dillig, Ale...