Sciweavers

1226 search results - page 238 / 246
» Designing systems-on-chip using cores
Sort
View
DATE
2009
IEEE
116views Hardware» more  DATE 2009»
16 years 14 days ago
An MDE methodology for the development of high-integrity real-time systems
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
Silvia Mazzini, Stefano Puri, Tullio Vardanega
RTSS
2009
IEEE
16 years 13 days ago
Coordinated Task Scheduling, Allocation and Synchronization on Multiprocessors
—Chip-multiprocessors represent a dominant new shift in the field of processor design. Better utilization of such technology in the real-time context requires coordinated approa...
Karthik Lakshmanan, Dionisio de Niz, Ragunathan Ra...
OOPSLA
2009
Springer
16 years 8 days ago
Reimagining literate programming
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...
James Dean Palmer, Eddie Hillenbrand
FDG
2009
ACM
16 years 7 days ago
Perspectives, frame rates and resolutions: it's all in the game
Hardware and platform limitations restrict the display settings for most computer games, forcing a tradeoff between frame rate and resolution to achieve acceptable performance. Pr...
Mark Claypool, Kajal T. Claypool
DATE
2008
IEEE
105views Hardware» more  DATE 2008»
16 years 5 days ago
Comparison of Boolean Satisfiability Encodings on FPGA Detailed Routing Problems
We compare 12 new encodings for representing of FPGA detailed routing problems as equivalent Boolean Satisfiability (SAT) problems against the only 2 previously used encodings. We...
Miroslav N. Velev, Ping Gao 0002