Sciweavers

5439 search results - page 224 / 1088
» Patterns: from system design to software testing
Sort
View
VEE
2012
ACM
252views Virtualization» more  VEE 2012»
13 years 11 months ago
libdft: practical dynamic data flow tracking for commodity systems
Dynamic data flow tracking (DFT) deals with tagging and tracking data of interest as they propagate during program execution. DFT has been repeatedly implemented by a variety of ...
Vasileios P. Kemerlis, Georgios Portokalidis, Kang...
TC
2010
14 years 10 months ago
Generating Reliable Code from Hybrid-Systems Models
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
Madhukar Anand, Sebastian Fischmeister, Yerang Hur...
GECCO
2004
Springer
145views Optimization» more  GECCO 2004»
15 years 9 months ago
Search Based Automatic Test-Data Generation at an Architectural Level
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
Yuan Zhan, John A. Clark
PG
2000
IEEE
15 years 8 months ago
Simulation of FLIR and LADAR Data Using Graphics Animation Software
This paper presents an implementation of Forward Looking Infrared (FLIR) and Laser Radar (LADAR) data simulation for use in developing a multi-sensor datafusion automated target r...
Gavin Powell, Ralph R. Martin, A. David Marshall, ...
IUI
2005
ACM
15 years 9 months ago
Multimodal new vocabulary recognition through speech and handwriting in a whiteboard scheduling application
Our goal is to automatically recognize and enroll new vocabulary in a multimodal interface. To accomplish this our technique aims to leverage the mutually disambiguating aspects o...
Edward C. Kaiser