Sciweavers

8689 search results - page 419 / 1738
» Software: hard data
Sort
View
SIGSOFT
2003
ACM
16 years 7 months ago
Consistency techniques for interprocedural test data generation
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...
Nguyen Tran Sy, Yves Deville
DCC
2007
IEEE
16 years 6 months ago
Algorithms and Hardware Structures for Unobtrusive Real-Time Compression of Instruction and Data Address Traces
Instruction and data address traces are widely used by computer designers for quantitative evaluations of new architectures and workload characterization, as well as by software de...
Milena Milenkovic, Aleksandar Milenkovic, Martin B...
MOBILERESPONSE
2007
Springer
16 years 1 months ago
Towards the Integration of Real-Time Real-World Data in Urban Search and Rescue Simulation
Abstract. The coordinated reaction to a large-scale disaster is a challenging research problem. The Robocup rescue simulation league addresses this research problem but is currentl...
Holger Kenn, Alexander Kleiner
TRIDENTCOM
2006
IEEE
16 years 26 days ago
Measurements of data streaming QoS During handover process in mobile IPv6 testbed
This paper presents methodology for measurements of QoS parameters, which was used to perform practical evaluation of continuous media streaming in mobile IPv6 environment. It des...
Radoslaw Ruchala, Krzysztof Zielinski
CODES
2005
IEEE
16 years 14 days ago
Enhancing security through hardware-assisted run-time validation of program data properties
The growing number of information security breaches in electronic and computing systems calls for new design paradigms that consider security as a primary design objective. This i...
Divya Arora, Anand Raghunathan, Srivaths Ravi, Nir...