1304 search results - page 180 / 261 » Model Checking C Programs Using F-SOFT |
135
click to vote
WSCG
2001
15 years 4 months ago
2001
Research performed in the field of computer vision has steadily ignored recent advances in programming tools and techniques, relying on well-established traditional methods, such ...
179
Voted
CONCURRENCY
2000
15 years 3 months ago
2000
When comparing OpenMP to other parallel programming models, it is easier to choose between OpenMP and MPI than between OpenMP and POSIX Threads (Pthreads). With languages like C a...
158
Voted
HPCA
1998
IEEE
15 years 7 months ago
1998
IEEE
The performance of a concurrent multithreaded architectural model, called superthreading 15 , is studied in this paper. It tries to integrate optimizing compilation techniques and...
146
click to vote
CGO
2008
IEEE
15 years 10 months ago
2008
IEEE
Array inlining expands the concepts of object inlining to arrays. Groups of objects and arrays that reference each other are placed consecutively in memory so that their relative ...
203
Voted
SIAMIS
2010
14 years 10 months ago
2010
Markov random field (MRF) models, including conditional random field models, are popular in computer vision. However, in order to be computationally tractable, they are limited to ...