7580 search results - page 1260 / 1516 » Prometheus design tool |
153
click to vote
IV
2006
IEEE
16 years 15 days ago
2006
IEEE
Analysis of the spacial structure of proteins including folding processes is a challenge for modern bioinformatics. Due to limited experimental access to folding processes, comput...
189
click to vote
JVA
2006
IEEE
16 years 15 days ago
2006
IEEE
History repeats itself. Since the invention of the programmable computer, numerous computer scientists keep dedicating their professional lives to the design of “the single, bes...
197
click to vote
RSP
2006
IEEE
16 years 15 days ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
166
click to vote
SUTC
2006
IEEE
16 years 15 days ago
2006
IEEE
Recent advances in computer power, network bandwidth, information storage, and multimedia/signal processing techniques have led to a proliferation of multimedia data. As a result,...
176
click to vote
WCRE
2006
IEEE
16 years 15 days ago
2006
IEEE
We describe the design and implementation of FFE/x86 (File-Format Extractor for x86), an analysis tool that works on stripped executables (i.e., neither source code nor debugging ...