9626 search results - page 231 / 1926 » Invariant Based Programming |
175
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
In order to optimize interconnect to avoid signal integrity problems, very fast and accurate 3-D capacitance extraction is essential. Fast algorithms, such as the multipole or prec...
181
click to vote
OOPSLA
1997
Springer
15 years 10 months ago
1997
Springer
Object relationships in modern software systems are becoming increasingly numerous and complex. Programmers who try to find violations of such relationships need new tools that al...
170
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
We present a method for assimilating Lagrangian sensor measurement data into a Shallow Water Equation model. Using our method, the variational data assimilation problem is formulat...
197
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
155
click to vote
TPDS
2008
2008
Linear Programming-Based Affinity Scheduling of Independent Tasks on Heterogeneous Computing Systems
15 years 6 months ago
Abstract-- Resource management systems (RMS) are an important component in heterogeneous computing (HC) systems. One of the jobs of an RMS is the mapping of arriving tasks onto the...