Sciweavers

17298 search results - page 129 / 3460
» Abstract computing machines
Sort
View
124
Voted
PDPTA
2010
15 years 1 months ago
Raising the Level of Abstraction of GPU-programming
Ferosh Jacob, Ritu Arora, Purushotham Bangalore, M...
EUC
2004
Springer
15 years 7 months ago
Hardware Mediators: A Portability Artifact for Component-Based Systems
Abstract. In this article we elaborate on portability in componentbased operating systems, focusing in the hardware mediator construct proposed by Frhlich in the Application-Orient...
Fauze Valério Polpeta, Antônio August...
101
Voted
DAC
2004
ACM
16 years 4 months ago
Automatic abstraction and verification of verilog models
Zaher S. Andraus, Karem A. Sakallah
80
Voted
RTSS
2009
IEEE
15 years 10 months ago
Component-Based Abstraction Refinement for Timed Controller Synthesis
Hans-Jörg Peter, Robert Mattmüller
WOLLIC
2009
Springer
15 years 10 months ago
Observational Completeness on Abstract Interpretation
Gianluca Amato, Francesca Scozzari