Sciweavers

366 search results - page 15 / 74
» Machine Function Based Control Code Algebras
Sort
View
CODES
2000
IEEE
15 years 4 months ago
Heterogeneous modeling and simulation of embedded systems in El Greco
This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled si...
Joseph Buck, Radha Vaidyanathan
97
Voted
HICSS
2005
IEEE
132views Biometrics» more  HICSS 2005»
15 years 5 months ago
Web Browser Control Using EMG Based Sub Vocal Speech Recognition
—Subvocal electromyogram (EMG) signal classification is used to control a modified web browser interface. Recorded surface signals from the larynx and sublingual areas below the ...
Chuck Jorgensen, Kim Binsted
APAQS
2001
IEEE
15 years 3 months ago
Object-Oriented Program Behavior Analysis Based on Control Patterns
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...
C.-C. Hwang, S.-K. Huang, D.-J. Chen, D. Chen
81
Voted
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 4 months ago
Verifying Emulation of Legacy Mission Computer Systems
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
Colin J. Fidge
91
Voted
SP
2006
IEEE
148views Security Privacy» more  SP 2006»
15 years 5 months ago
SubVirt: Implementing malware with virtual machines
Attackers and defenders of computer systems both strive to gain complete control over the system. To maximize their control, both attackers and defenders have migrated to low-leve...
Samuel T. King, Peter M. Chen, Yi-Min Wang, Chad V...