Sciweavers

15253 search results - page 406 / 3051
» Integer-Programming Software Systems
Sort
View
SIGSOFT
2010
ACM
15 years 4 months ago
Separation of concerns for dependable software design
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...
Daniel Jackson, Eunsuk Kang
ICSEA
2009
IEEE
15 years 4 months ago
Software Process Improvement in Multimodel Environments
-- Software is increasing in size and complexity. As a direct implication, organizations nd it more difficult to achieve the desired product quality. Process improvement models are...
André Ferreira, Ricardo Jorge Machado
INFOCOM
2012
IEEE
13 years 9 months ago
Transparent acceleration of software packet forwarding using netmap
—Software packet forwarding has been used for a long time in general purpose operating systems. While interesting for prototyping or on slow links, it is not considered a viable ...
Luigi Rizzo, Marta Carbone, Gaetano Catalli
CSE
2009
IEEE
16 years 1 months ago
Architectural Support for Automated Software Attack Detection, Recovery, and Prevention
—Attacks on software systems are an increasingly serious problem from an economic and security standpoint. Many techniques have been proposed ranging from simple compiler modifi...
Jesse Sathre, Alex Baumgarten, Joseph Zambreno
FCCM
2006
IEEE
100views VLSI» more  FCCM 2006»
16 years 28 days ago
Enabling a Uniform Programming Model Across the Software/Hardware Boundary
In this paper, we present hthreads, a unifying programming model for specifying application threads running within a hybrid CPU/FPGA system. Threads are specified from a single p...
Erik Anderson, Jason Agron, Wesley Peck, Jim Steve...