Sciweavers

2193 search results - page 178 / 439
» A System for Performance Evaluation of Embedded Software
Sort
View
152
Voted
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
15 years 11 months ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
DSN
2003
IEEE
15 years 10 months ago
Evaluation of Fault Handling of the Time-Triggered Architecture with Bus and Star Topology
Arbitrary faults of a single node in a time-triggered architecture (TTA) bus topology system may cause error propagation to correct nodes and may lead to inconsistent system state...
Astrit Ademaj, Håkan Sivencrona, Günthe...
ISPASS
2009
IEEE
15 years 11 months ago
Evaluating GPUs for network packet signature matching
Modern network devices employ deep packet inspection to enable sophisticated services such as intrusion detection, traffic shaping, and load balancing. At the heart of such servi...
Randy Smith, Neelam Goyal, Justin Ormont, Karthike...
ICWE
2003
Springer
15 years 9 months ago
Adaptive Interaction Multi-agent Systems in E-learning/E-teaching on the Web
In this paper we propose to include two up-to-date separate concepts, namely social computing and usability metrics, in intelligent interaction agents to enhance a user-centred, ad...
Antonio Fernández-Caballero, Víctor ...
141
Voted
CIKM
2006
Springer
15 years 8 months ago
Investigating the exhaustivity dimension in content-oriented XML element retrieval evaluation
INEX, the evaluation initiative for content-oriented XML retrieval, has since its establishment defined the relevance of an element according to two graded dimensions, exhaustivit...
Paul Ogilvie, Mounia Lalmas