Sciweavers

533 search results - page 14 / 107
» A Very Mathematical Dilemma
Sort
View
TIME
2007
IEEE
14 years 1 months ago
Towards a Science of Temporal Databases
Computer science has long been considered to emphasize three distinct perspectives: mathematics, science, and engineering. While the database field has some very strong mathemati...
Richard T. Snodgrass
GD
2005
Springer
14 years 27 days ago
Stress Majorization with Orthogonal Ordering Constraints
Force-directed placement is a widely used approach to automatically arranging the nodes and edges of a relational diagram or graph in an aesthetically pleasing manner. The adoption...
Tim Dwyer, Yehuda Koren, Kim Marriott
VSTTE
2005
Springer
14 years 25 days ago
Linking the Meaning of Programs to What the Compiler Can Verify
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
Egon Börger
MPC
2004
Springer
161views Mathematics» more  MPC 2004»
14 years 22 days ago
Compiling Exceptions Correctly
Exceptions are an important feature of modern programming languages, but their compilation has traditionally been viewed as an advanced topic. In this article we show that the basi...
Graham Hutton, Joel Wright
PARA
2004
Springer
14 years 21 days ago
A Cache-Aware Algorithm for PDEs on Hierarchical Data Structures
A big challenge in implementing up to date simulation software for various applications is to bring together highly efficient mathematical methods on the one hand side and an ef...
Frank Günther, Miriam Mehl, Markus Pögl,...