2271 search results - page 185 / 455 » Scalable Software Libraries |
176
click to vote
EUROSYS
2011
ACM
14 years 10 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
180
click to vote
FOSSACS
2012
Springer
14 years 2 months ago
2012
Springer
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...
581
click to vote
ICSE
2012
IEEE-ACM
13 years 8 months ago
2012
IEEE-ACM
—As smartphones become popular, manufacturers such as Samsung Electronics are developing smartphones with rich functionality such as a camera and photo editing quickly, which acc...
178
click to vote
ICCCN
2007
IEEE
16 years 24 days ago
2007
IEEE
— The scalability of Internet addressing and routing has been a serious issue and becomes a more urgent problem today because of driving factors like IPv6. A radical impacting el...
182
click to vote
FPL
2005
Springer
16 years 8 hour ago
2005
Springer
A parallel MPEG-4 Simple Profile encoder for FPGA based multiprocessor System-on-Chip (SOC) is presented. The goal is a computationally scalable framework independent of platform....