188 search results - page 34 / 38 » Automatic Generation of Model Checking Scripts Based on Envi... |
PATMOS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Reduction of chip packaging and cooling costs for deep sub-micron SystemOn-Chip (SOC) designs is an emerging issue. We present a simulation-based methodology able to real...
ICST
2010
IEEE
13 years 5 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
SP
2010
IEEE
13 years 11 months ago
2010
IEEE
—To handle the growing flood of malware, security vendors and analysts rely on tools that automatically identify and analyze malicious code. Current systems for automated malwar...
ICRA
2005
IEEE
14 years 28 days ago
2005
IEEE
— Vision is one of the most powerful sensory modalities in robotics, allowing operation in dynamic environments. One of our long-term research interests is mobile manipulation, w...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
The practice of software development can likely be improved if an externalized model of each programmer's knowledge of a particular code base is available. Some tools already...