64 search results - page 11 / 13 » Automated Model-Based Generation of Ravenscar-Compliant Sour... |
SEMWEB
2004
Springer
13 years 12 months ago
2004
Springer
Web services are in the midst of making the transition from being a promising technology to being widely used in the industry. However, most efforts to use Web services have been m...
TACAS
2012
Springer
12 years 2 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-speciļ¬ed code coverage criteria. The pillars of FShell are the decl...
ICCD
2006
IEEE
14 years 3 months ago
2006
IEEE
By integrating one or more (hard or soft) CPU core on the chip, new generation platform FPGAs have become configurable systems on a chip (CSoC) that support a combined software an...
EUROSYS
2010
ACM
14 years 3 months ago
2010
ACM
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverā...
DAC
2006
ACM
14 years 7 months ago
2006
ACM
This article outlines several projects aimed at generating electrical energy by passively tapping a variety of human body sources and activities. After summarizing different energ...