1304 search results - page 221 / 261 » Model Checking C Programs Using F-SOFT |
183
Voted
BIOINFORMATICS
2007
15 years 6 months ago
2007
Motivation: High-throughput expression profiling allows researchers to study gene activities globally. Genes with similar expression profiles are likely to encode proteins that ma...
159
click to vote
SERP
2004
15 years 7 months ago
2004
Game and simulation development is a difficult process because there are many low level infrastructure concerns that need to be addressed. This is a barrier to development for ine...
181
Voted
IFM
2007
Springer
16 years 18 days ago
2007
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
277
click to vote
ICTAC
2010
Springer
15 years 5 months ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
159
click to vote
KBSE
2005
IEEE
16 years 23 hour ago
2005
IEEE
The use of web applications has become increasingly popular in our routine activities, such as reading the news, paying bills, and shopping on-line. As the availability of these s...