2493 search results - page 465 / 499 » Tool Support for Design by Contract |
ISCA
2012
IEEE
12 years 6 days ago
2012
IEEE
Efï¬cient execution of well-parallelized applications is central to performance in the multicore era. Program analysis tools support the hardware and software sides of this effor...
BMCBI
2011
13 years 4 months ago
2011
Background: Genomic position (GP) files currently used in next-generation sequencing (NGS) studies are always difficult to manipulate due to their huge size and the lack of approp...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
EducaNext is an educational mediator created within the UNIVERSAL IST Project which supports both, the exchange of reusable educational materials based on open standards, as well ...
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
2. Support for User Interaction Source Viewer 3D is a software visualization framework that uses a 3D metaphor to represent software system and analysis data. The 3D representation...
EUROSYS
2010
ACM
14 years 6 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â€...