Sciweavers

2036 search results - page 258 / 408
» A generic type-and-effect system
Sort
View
DATE
2004
IEEE
121views Hardware» more  DATE 2004»
15 years 4 months ago
Experiences during the Experimental Validation of the Time-Triggered Architecture
During last years, the Time-Triggered Architecture (TTA) has been gaining acceptance as a generic architecture for highly dependable real-time systems. It is now being used to imp...
Sara Blanc, Joaquin Gracia, Pedro J. Gil
200
Voted
HOTDEP
2008
168views Hardware» more  HOTDEP 2008»
15 years 3 months ago
A Spin-Up Saved Is Energy Earned: Achieving Power-Efficient, Erasure-Coded Storage
Storage accounts for a significant amount of a data center's ever increasing power budget. As a consequence, energy consumption has joined performance and reliability as a do...
Kevin M. Greenan, Darrell D. E. Long, Ethan L. Mil...
WSC
2008
15 years 3 months ago
Using OMG'S SYSML to support simulation
Currently, system engineering problems are solved using a wide range of domain-specific models and corresponding languages. It is unlikely that a single unified modeling language ...
Christiaan J. J. Paredis, Thomas Johnson
93
Voted
ISSA
2004
15 years 2 months ago
Run-Time Protocol Conformance Verification In Firewalls
Today, business continuity depends significantly on the continuous availability of information systems. It is well-known that such systems must be protected against intrusion and ...
Ulrich Ultes-Nitsche
87
Voted
CIDR
2009
159views Algorithms» more  CIDR 2009»
15 years 1 months ago
RIOT: I/O-Efficient Numerical Computing without SQL
R is a numerical computing environment that is widely popular for statistical data analysis. Like many such environments, R performs poorly for large datasets whose sizes exceed t...
Yi Zhang 0011, Herodotos Herodotou, Jun Yang 0001