444 search results - page 46 / 89 » More Colourful Simplices |
TACAS
2009
Springer
15 years 6 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
IWOMP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. OpenMP has evolved recently towards expressing unstructured parallelism, targeting the parallelization of a broader range of applications in the current multicore era. Ho...
MKM
2009
Springer
15 years 6 months ago
2009
Springer
Many approaches have been proposed over the years for the recognition of mathematical formulae from scanned documents. More recently a need has arisen to recognise formulae from PD...
ISLPED
2009
ACM
15 years 6 months ago
2009
ACM
This paper presents an evaluation to determine the importance of the accurate thermal characterization for several elements of a semiconductor device. Specifically, it evaluates ...
GLOBECOM
2008
IEEE
15 years 6 months ago
2008
IEEE
—Unlike terrestrial wireless communication which uses radio waves, underwater communication relies on acoustic waves. The long latency and limited bandwidth pose great challenges...