Sciweavers

3911 search results - page 668 / 783
» Using Operational Architecture to Model Embedded Software
Sort
View
ESOP
2010
Springer
16 years 2 months ago
Faulty Logic: Reasoning about Fault Tolerant Programs
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
Matthew L. Meola and David Walker
125
Voted
MSWIM
2006
ACM
15 years 11 months ago
Sampling time-dependent parameters in high-speed network monitoring
Nowadays network bandwidth is increasing continuously for endusers and network providers. Network monitoring tools have to be able to support these high-speed networks, processing...
Edurne Izkue, Eduardo Magaña
C3S2E
2009
ACM
15 years 9 months ago
The promise of solid state disks: increasing efficiency and reducing cost of DBMS processing
Most database systems (DBMSs) today are operating on servers equipped with magnetic disks. In our contribution, we want to motivate the use of two emerging and striking technologi...
Karsten Schmidt 0002, Yi Ou, Theo Härder
SOPR
1998
117views more  SOPR 1998»
15 years 4 months ago
Towards mature IT services
Many organizations provide information technology services, either to external or internal customers. They maintain software, operate information systems, manage and maintain work...
Frank Niessink, Hans van Vliet
142
Voted
ISPASS
2005
IEEE
15 years 10 months ago
BioBench: A Benchmark Suite of Bioinformatics Applications
Recent advances in bioinformatics and the significant increase in computational power available to researchers have made it possible to make better use of the vast amounts of gene...
Kursad Albayraktaroglu, Aamer Jaleel, Xue Wu, Mano...