11089 search results - page 212 / 2218 » Developing software families |
209
click to vote
ICFEM
2004
Springer
16 years 16 days ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
274
click to vote
ARITH
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper deals with the design and implementation of low latency software for binary floating-point division with correct rounding to nearest. The approach we present here targe...
167
click to vote
ISMB
1996
15 years 8 months ago
1996
Whena family of genes from closely related organisms is known,there is a certain chance to extract the corresponding gene from the genomeof another related organism. This can be d...
201
click to vote
CIIA
2009
15 years 8 months ago
2009
This paper describes our experience in processor/threads synchronization using the POSIX API standard for MPSoC virtual applications prototyping. Spin-Lock (Binary Semaphore) imple...
186
click to vote
VL
2006
IEEE
16 years 1 months ago
2006
IEEE
Web development is rapidly becoming a routine activity for informal as well as professional software developers. One variable that distinguished segments of this population was th...