Sciweavers

2255 search results - page 290 / 451
» High Assurance Software Systems
Sort
View
LCTRTS
2005
Springer
15 years 12 months ago
Syncopation: generational real-time garbage collection in the metronome
Real-time garbage collection has been shown to be feasible, but for programs with high allocation rates, the utilization achievable is not sufficient for some systems. Since a hi...
David F. Bacon, Perry Cheng, David Grove, Martin T...
OOPSLA
2010
Springer
15 years 4 months ago
Scalable and systematic detection of buggy inconsistencies in source code
Software developers often duplicate source code to replicate functionality. This practice can hinder the maintenance of a software project: bugs may arise when two identical code ...
Mark Gabel, Junfeng Yang, Yuan Yu, Moisés G...
ISCC
2006
IEEE
166views Communications» more  ISCC 2006»
16 years 15 days ago
Integration of Embedded Devices Through Web Services: Requirements, Challenges and Early Results
Integration of the currently available computing systems and platforms is one of the most envisaged goals achieved by computer scientists, which starts to become a reality nowaday...
Guilherme Bertoni Machado, Frank Siqueira, Robinso...
ASPLOS
2004
ACM
15 years 12 months ago
Devirtualizable virtual machines enabling general, single-node, online maintenance
Maintenance is the dominant source of downtime at high availability sites. Unfortunately, the dominant mechanism for reducing this downtime, cluster rolling upgrade, has two short...
David E. Lowell, Yasushi Saito, Eileen J. Samberg
ANCS
2007
ACM
15 years 10 months ago
Compiling PCRE to FPGA for accelerating SNORT IDS
Deep Payload Inspection systems like SNORT and BRO utilize regular expression for their rules due to their high expressibility and compactness. The SNORT IDS system uses the PCRE ...
Abhishek Mitra, Walid A. Najjar, Laxmi N. Bhuyan